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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 52047872, getVmSize() = 52047872, SCIPgetMemUsed() = 25715232, SCIPgetMemTotal() = 29315416, SCIPgetMemExternEstim() = 16862795
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.23 c ** Estimated virtualMemUsedAtSolver = 65750484, getVmSize() = 106594304, SCIPgetMemUsed() = 58614747, SCIPgetMemTotal() = 81762931, SCIPgetMemExternEstim() = 16862795
0.20/0.23 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.20/0.23 c Original Problem :
0.20/0.23 c Problem name : instance-4450240-1721410586
0.20/0.23 c Variables : 5421 (5421 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.23 c Constraints : 12679
0.20/0.23 c Objective sense : minimize
0.20/0.23 c Presolved Problem :
0.20/0.23 c Variables : 5398 (5398 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.23 c Constraints : 7803
0.20/0.23 c Constraints : Number
0.20/0.23 c setppc : 7802
0.20/0.23 c orbitope : 1
0.20/0.23 c ** Instance transfer method used: 0
0.20/0.24 c ** ParaScipInstance copy increased the number of variables. **
0.20/0.26 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.26 c Nodes Active
0.20/0.26 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
7.08/7.16 c 7 2 1 1 - 0.0000 -
12.36/12.40 c 12 42 41 1 - 0.0000 -
17.54/17.62 c 18 264 156 1 - 0.0000 -
22.82/22.95 c 23 502 284 1 - 0.0000 -
28.11/28.22 c 28 730 426 1 - 0.0000 -
33.50/33.64 c 34 894 504 1 - 0.0000 -
38.99/39.18 c 39 1091 552 1 - 0.0000 -
45.07/45.28 c 45 1259 574 1 - 0.0000 -
50.35/50.51 c 51 1468 601 1 - 0.0000 -
55.64/55.83 c 56 1640 648 1 - 0.0000 -
60.93/61.19 c 61 1868 718 1 - 0.0000 -
66.21/66.47 c 66 2058 771 1 - 0.0000 -
71.30/71.57 c 72 2270 838 1 - 0.0000 -
76.38/76.63 c 77 2579 948 1 - 0.0000 -
81.47/81.79 c 82 2828 1016 1 - 0.0000 -
86.56/86.90 c 87 3110 1083 1 - 0.0000 -
91.85/92.11 c 92 3354 1119 1 - 0.0000 -
97.12/97.40 c 97 3542 1173 1 - 0.0000 -
102.42/102.77 c 103 3712 1212 1 - 0.0000 -
107.70/108.00 c 108 3960 1304 1 - 0.0000 -
112.99/113.37 c 113 4190 1345 1 - 0.0000 -
118.07/118.43 c 118 4515 1379 1 - 0.0000 -
123.15/123.59 c 124 4750 1414 1 - 0.0000 -
128.54/128.96 c 129 5075 1500 1 - 0.0000 -
134.02/134.47 c 134 5330 1547 1 - 0.0000 -
139.41/139.87 c 140 5569 1593 1 - 0.0000 -
144.70/145.13 c 145 5776 1649 1 - 0.0000 -
149.78/150.22 c 150 6100 1719 1 - 0.0000 -
154.87/155.38 c 155 6329 1792 1 - 0.0000 -
160.25/160.73 c 161 6664 1842 1 - 0.0000 -
165.33/165.86 c 166 6941 1913 1 - 0.0000 -
170.41/170.94 c 171 7300 1949 1 - 0.0000 -
175.69/176.27 c 176 7516 1977 1 - 0.0000 -
180.98/181.52 c 182 7808 2052 1 - 0.0000 -
186.15/186.70 c 187 8154 2101 1 - 0.0000 -
191.14/191.77 c 192 8460 2145 1 - 0.0000 -
196.23/196.83 c 197 8832 2190 1 - 0.0000 -
201.21/201.89 c 202 9210 2250 1 - 0.0000 -
206.29/206.97 c 207 9483 2343 1 - 0.0000 -
211.67/212.38 c 212 9762 2393 1 - 0.0000 -
217.25/217.97 c 218 9981 2445 1 - 0.0000 -
222.53/223.20 c 223 10294 2517 1 - 0.0000 -
227.61/228.33 c 228 10668 2624 1 - 0.0000 -
232.70/233.47 c 233 11120 2664 1 - 0.0000 -
237.88/238.67 c 239 11478 2755 1 - 0.0000 -
243.06/243.83 c 244 11806 2811 1 - 0.0000 -
248.55/249.33 c 249 12225 2811 1 - 0.0000 -
253.73/254.55 c 255 12638 2899 1 - 0.0000 -
258.81/259.67 c 260 13046 2962 1 - 0.0000 -
264.20/265.02 c 265 13488 3018 1 - 0.0000 -
269.28/270.15 c 270 13837 3116 1 - 0.0000 -
274.35/275.22 c 275 14180 3158 1 - 0.0000 -
279.53/280.45 c 280 14544 3182 1 - 0.0000 -
284.63/285.53 c 286 15009 3326 1 - 0.0000 -
289.81/290.77 c 291 15516 3394 1 - 0.0000 -
294.90/295.88 c 296 15945 3472 1 - 0.0000 -
300.58/301.51 c 302 16405 3526 1 - 0.0000 -
305.57/306.59 c 307 16866 3636 1 - 0.0000 -
310.65/311.65 c 312 17351 3675 1 - 0.0000 -
315.83/316.82 c 317 17847 3754 1 - 0.0000 -
321.32/322.31 c 322 18314 3817 1 - 0.0000 -
326.41/327.40 c 327 18746 3921 1 - 0.0000 -
331.39/332.47 c 332 19297 4020 1 - 0.0000 -
336.48/337.55 c 338 19806 4111 1 - 0.0000 -
341.56/342.68 c 343 20238 4173 1 - 0.0000 -
346.85/347.99 c 348 20544 4224 1 - 0.0000 -
351.94/353.07 c 353 21038 4331 1 - 0.0000 -
357.12/358.21 c 358 21432 4414 1 - 0.0000 -
362.21/363.30 c 363 21883 4526 1 - 0.0000 -
367.29/368.40 c 368 22413 4606 1 - 0.0000 -
372.27/373.47 c 373 22873 4649 1 - 0.0000 -
377.46/378.60 c 379 23443 4712 1 - 0.0000 -
382.64/383.80 c 384 23913 4788 1 - 0.0000 -
387.74/388.93 c 389 24325 4872 1 - 0.0000 -
392.92/394.12 c 394 24770 5011 1 - 0.0000 -
397.91/399.19 c 399 25209 5109 1 - 0.0000 -
403.09/404.36 c 404 25611 5199 1 - 0.0000 -
408.37/409.62 c 410 26010 5281 1 - 0.0000 -
413.46/414.75 c 415 26533 5415 1 - 0.0000 -
418.54/419.82 c 420 26973 5525 1 - 0.0000 -
423.52/424.89 c 425 27491 5582 1 - 0.0000 -
428.71/430.10 c 430 27935 5685 1 - 0.0000 -
433.90/435.28 c 435 28413 5761 1 - 0.0000 -
439.08/440.45 c 440 28855 5813 1 - 0.0000 -
444.17/445.53 c 446 29337 5890 1 - 0.0000 -
449.35/450.73 c 451 29760 5950 1 - 0.0000 -
454.65/456.03 c 456 30182 6027 1 - 0.0000 -
459.74/461.13 c 461 30662 6115 1 - 0.0000 -
464.92/466.39 c 466 31119 6177 1 - 0.0000 -
470.10/471.56 c 472 31591 6267 1 - 0.0000 -
475.30/476.78 c 477 32201 6377 1 - 0.0000 -
480.48/481.98 c 482 32690 6484 1 - 0.0000 -
485.67/487.19 c 487 33115 6590 1 - 0.0000 -
490.85/492.39 c 492 33550 6692 1 - 0.0000 -
496.14/497.63 c 498 34104 6734 1 - 0.0000 -
501.12/502.68 c 503 34600 6801 1 - 0.0000 -
506.52/508.10 c 508 35032 6849 1 - 0.0000 -
511.90/513.49 c 514 35444 6925 1 - 0.0000 -
516.99/518.56 c 519 35885 6998 1 - 0.0000 -
522.27/523.80 c 524 36349 7045 1 - 0.0000 -
527.36/528.93 c 529 36754 7138 1 - 0.0000 -
532.45/534.01 c 534 37239 7201 1 - 0.0000 -
537.53/539.17 c 539 37811 7274 1 - 0.0000 -
542.72/544.30 c 544 38267 7359 1 - 0.0000 -
547.70/549.37 c 549 38758 7452 1 - 0.0000 -
553.00/554.60 c 555 39290 7534 1 - 0.0000 -
558.08/559.70 c 560 39777 7642 1 - 0.0000 -
563.37/565.07 c 565 40072 7749 1 - 0.0000 -
568.55/570.22 c 570 40413 7816 1 - 0.0000 -
573.74/575.45 c 575 40872 7905 1 - 0.0000 -
578.92/580.64 c 581 41433 7988 1 - 0.0000 -
584.02/585.79 c 586 41886 8073 1 - 0.0000 -
589.10/590.87 c 591 42445 8132 1 - 0.0000 -
594.29/596.01 c 596 42781 8180 1 - 0.0000 -
599.47/601.23 c 601 43026 8222 1 - 0.0000 -
604.56/606.31 c 606 43523 8295 1 - 0.0000 -
609.55/611.37 c 611 44033 8335 1 - 0.0000 -
614.64/616.43 c 616 44557 8411 1 - 0.0000 -
619.72/621.56 c 622 45096 8483 1 - 0.0000 -
624.92/626.70 c 627 45596 8590 1 - 0.0000 -
630.00/631.85 c 632 46116 8662 1 - 0.0000 -
635.28/637.14 c 637 46517 8710 1 - 0.0000 -
640.47/642.35 c 642 47023 8818 1 - 0.0000 -
645.56/647.48 c 647 47430 8880 1 - 0.0000 -
650.64/652.54 c 653 47885 8947 1 - 0.0000 -
655.73/657.67 c 658 48461 9005 1 - 0.0000 -
661.02/662.91 c 663 48922 9108 1 - 0.0000 -
666.21/668.15 c 668 49396 9171 1 - 0.0000 -
671.49/673.40 c 673 49915 9262 1 - 0.0000 -
676.58/678.50 c 679 50452 9373 1 - 0.0000 -
681.57/683.58 c 684 50942 9434 1 - 0.0000 -
686.75/688.76 c 689 51315 9476 1 - 0.0000 -
692.05/694.09 c 694 51787 9584 1 - 0.0000 -
697.13/699.19 c 699 52374 9627 1 - 0.0000 -
702.21/704.28 c 704 52821 9716 1 - 0.0000 -
707.30/709.35 c 709 53242 9787 1 - 0.0000 -
712.38/714.40 c 714 53744 9859 1 - 0.0000 -
717.57/719.62 c 720 54175 9946 1 - 0.0000 -
722.76/724.85 c 725 54720 10010 1 - 0.0000 -
728.05/730.18 c 730 55204 10091 1 - 0.0000 -
733.13/735.27 c 735 55780 10180 1 - 0.0000 -
738.32/740.44 c 740 56291 10305 1 - 0.0000 -
743.50/745.64 c 746 56767 10352 1 - 0.0000 -
748.69/750.87 c 751 57221 10407 1 - 0.0000 -
753.88/756.09 c 756 57744 10458 1 - 0.0000 -
759.06/761.26 c 761 58244 10511 1 - 0.0000 -
764.15/766.31 c 766 58746 10548 1 - 0.0000 -
769.33/771.55 c 772 59312 10612 1 - 0.0000 -
774.43/776.63 c 777 59722 10680 1 - 0.0000 -
779.51/781.73 c 782 60168 10773 1 - 0.0000 -
784.60/786.87 c 787 60600 10812 1 - 0.0000 -
790.38/792.64 c 793 61109 10865 1 - 0.0000 -
795.67/797.90 c 798 61460 10890 1 - 0.0000 -
801.05/803.36 c 803 61926 10974 1 - 0.0000 -
806.23/808.54 c 809 62324 11034 1 - 0.0000 -
811.22/813.59 c 814 62822 11136 1 - 0.0000 -
816.42/818.78 c 819 63389 11225 1 - 0.0000 -
821.60/823.97 c 824 63876 11315 1 - 0.0000 -
826.69/829.02 c 829 64344 11436 1 - 0.0000 -
831.87/834.22 c 834 64993 11523 1 - 0.0000 -
836.86/839.29 c 839 65597 11658 1 - 0.0000 -
842.25/844.69 c 845 66192 11731 1 - 0.0000 -
847.33/849.76 c 850 66615 11862 1 - 0.0000 -
852.81/855.22 c 855 67023 11926 1 - 0.0000 -
857.90/860.37 c 860 67582 12034 1 - 0.0000 -
863.09/865.55 c 866 68091 12086 1 - 0.0000 -
868.28/870.74 c 871 68640 12141 1 - 0.0000 -
873.27/875.79 c 876 69157 12202 1 - 0.0000 -
878.35/880.85 c 881 69633 12244 1 - 0.0000 -
883.64/886.10 c 886 69957 12328 1 - 0.0000 -
888.62/891.15 c 891 70333 12372 1 - 0.0000 -
893.71/896.27 c 896 70812 12463 1 - 0.0000 -
899.09/901.63 c 902 71294 12580 1 - 0.0000 -
904.18/906.72 c 907 71765 12618 1 - 0.0000 -
909.27/911.80 c 912 72271 12685 1 - 0.0000 -
914.46/917.05 c 917 72799 12745 1 - 0.0000 -
919.54/922.18 c 922 73243 12820 1 - 0.0000 -
924.82/927.41 c 927 73761 12922 1 - 0.0000 -
930.01/932.62 c 933 74211 12991 1 - 0.0000 -
935.30/937.99 c 938 74697 13038 1 - 0.0000 -
940.58/943.20 c 943 75093 13121 1 - 0.0000 -
945.87/948.55 c 949 75378 13177 1 - 0.0000 -
950.96/953.61 c 954 75697 13312 1 - 0.0000 -
956.14/958.88 c 959 76030 13419 1 - 0.0000 -
961.43/964.14 c 964 76493 13502 1 - 0.0000 -
966.62/969.38 c 969 76857 13609 1 - 0.0000 -
972.00/974.76 c 975 77244 13689 1 - 0.0000 -
977.09/979.88 c 980 77565 13779 1 - 0.0000 -
982.17/984.97 c 985 77980 13851 1 - 0.0000 -
987.27/990.03 c 990 78435 13911 1 - 0.0000 -
992.25/995.09 c 995 78927 14034 1 - 0.0000 -
997.43/1000.20 c 1000 79302 14093 1 - 0.0000 -
1003.12/1005.93 c 1006 79610 14156 1 - 0.0000 -
1008.21/1011.01 c 1011 80008 14166 1 - 0.0000 -
1013.29/1016.11 c 1016 80503 14235 1 - 0.0000 -
1018.48/1021.37 c 1021 80982 14261 1 - 0.0000 -
1023.56/1026.45 c 1026 81415 14360 1 - 0.0000 -
1028.75/1031.64 c 1032 81816 14416 1 - 0.0000 -
1033.93/1036.89 c 1037 82157 14514 1 - 0.0000 -
1039.32/1042.23 c 1042 82570 14580 1 - 0.0000 -
1044.61/1047.52 c 1048 83008 14633 1 - 0.0000 -
1049.69/1052.61 c 1053 83529 14723 1 - 0.0000 -
1054.98/1057.93 c 1058 84007 14767 1 - 0.0000 -
1060.17/1063.17 c 1063 84364 14810 1 - 0.0000 -
1065.45/1068.41 c 1068 84854 14879 1 - 0.0000 -
1070.44/1073.46 c 1073 85288 14933 1 - 0.0000 -
1075.63/1078.64 c 1079 85782 14988 1 - 0.0000 -
1080.71/1083.73 c 1084 86286 15072 1 - 0.0000 -
1085.80/1088.86 c 1089 86830 15118 1 - 0.0000 -
1090.98/1094.07 c 1094 87239 15174 1 - 0.0000 -
1096.06/1099.18 c 1099 87670 15270 1 - 0.0000 -
1101.24/1104.38 c 1104 88130 15333 1 - 0.0000 -
1106.43/1109.50 c 1110 88586 15405 1 - 0.0000 -
1111.51/1114.69 c 1115 88970 15455 1 - 0.0000 -
1116.59/1119.78 c 1120 89440 15534 1 - 0.0000 -
1121.67/1124.86 c 1125 89909 15598 1 - 0.0000 -
1126.87/1130.06 c 1130 90320 15669 1 - 0.0000 -
1132.14/1135.32 c 1135 90792 15769 1 - 0.0000 -
1137.22/1140.47 c 1140 91329 15879 1 - 0.0000 -
1142.41/1145.65 c 1146 91646 15924 1 - 0.0000 -
1147.59/1150.80 c 1151 92107 15985 1 - 0.0000 -
1152.97/1156.22 c 1156 92563 16073 1 - 0.0000 -
1157.95/1161.29 c 1161 93059 16170 1 - 0.0000 -
1163.24/1166.52 c 1167 93589 16229 1 - 0.0000 -
1168.32/1171.63 c 1172 94066 16327 1 - 0.0000 -
1173.40/1176.75 c 1177 94503 16399 1 - 0.0000 -
1178.69/1182.06 c 1182 94860 16534 1 - 0.0000 -
1183.78/1187.16 c 1187 95289 16624 1 - 0.0000 -
1188.96/1192.33 c 1192 95668 16721 1 - 0.0000 -
1194.14/1197.51 c 1198 96105 16815 1 - 0.0000 -
1199.52/1202.98 c 1203 96387 16838 1 - 0.0000 -
1204.80/1208.23 c 1208 96768 16868 1 - 0.0000 -
1209.88/1213.34 c 1213 97242 16977 1 - 0.0000 -
1215.47/1218.97 c 1219 97763 17020 1 - 0.0000 -
1220.66/1224.18 c 1224 98177 17050 1 - 0.0000 -
1225.75/1229.25 c 1229 98725 17109 1 - 0.0000 -
1230.93/1234.40 c 1234 99167 17185 1 - 0.0000 -
1236.02/1239.59 c 1240 99560 17267 1 - 0.0000 -
1241.21/1244.74 c 1245 100011 17363 1 - 0.0000 -
1246.50/1250.10 c 1250 100484 17469 1 - 0.0000 -
1251.68/1255.25 c 1255 100930 17517 1 - 0.0000 -
1256.86/1260.46 c 1260 101432 17592 1 - 0.0000 -
1261.95/1265.51 c 1266 101883 17652 1 - 0.0000 -
1266.93/1270.58 c 1271 102424 17705 1 - 0.0000 -
1272.23/1275.84 c 1276 102886 17766 1 - 0.0000 -
1277.31/1280.90 c 1281 103407 17817 1 - 0.0000 -
1282.41/1286.07 c 1286 103892 17916 1 - 0.0000 -
1288.18/1291.83 c 1292 104347 17996 1 - 0.0000 -
1293.48/1297.18 c 1297 104756 18056 1 - 0.0000 -
1298.55/1302.23 c 1302 105292 18126 1 - 0.0000 -
1303.64/1307.39 c 1307 105821 18189 1 - 0.0000 -
1309.03/1312.71 c 1313 106277 18237 1 - 0.0000 -
1314.12/1317.82 c 1318 106657 18313 1 - 0.0000 -
1319.20/1322.99 c 1323 106970 18406 1 - 0.0000 -
1324.39/1328.12 c 1328 107565 18492 1 - 0.0000 -
1329.37/1333.18 c 1333 108215 18513 1 - 0.0000 -
1334.46/1338.22 c 1338 108724 18557 1 - 0.0000 -
1339.55/1343.37 c 1343 109158 18633 1 - 0.0000 -
1344.63/1348.42 c 1348 109597 18695 1 - 0.0000 -
1349.72/1353.57 c 1354 109970 18725 1 - 0.0000 -
1354.91/1358.74 c 1359 110398 18775 1 - 0.0000 -
1360.00/1363.84 c 1364 110859 18828 1 - 0.0000 -
1365.19/1369.02 c 1369 111344 18890 1 - 0.0000 -
1370.47/1374.39 c 1374 111779 18944 1 - 0.0000 -
1375.95/1379.83 c 1380 112220 18969 1 - 0.0000 -
1381.04/1384.98 c 1385 112669 19010 1 - 0.0000 -
1386.33/1390.25 c 1390 113180 19049 1 - 0.0000 -
1391.61/1395.57 c 1396 113610 19116 1 - 0.0000 -
1396.79/1400.76 c 1401 114007 19165 1 - 0.0000 -
1401.99/1405.94 c 1406 114290 19292 1 - 0.0000 -
1407.07/1411.08 c 1411 114718 19407 1 - 0.0000 -
1412.25/1416.28 c 1416 115061 19538 1 - 0.0000 -
1417.45/1421.49 c 1422 115467 19617 1 - 0.0000 -
1422.63/1426.69 c 1427 115865 19710 1 - 0.0000 -
1427.82/1431.87 c 1432 116242 19769 1 - 0.0000 -
1432.90/1436.95 c 1437 116715 19813 1 - 0.0000 -
1438.29/1442.33 c 1442 117219 19865 1 - 0.0000 -
1443.47/1447.57 c 1448 117547 19965 1 - 0.0000 -
1448.76/1452.82 c 1453 117982 20053 1 - 0.0000 -
1453.75/1457.88 c 1458 118500 20116 1 - 0.0000 -
1458.84/1462.99 c 1463 118841 20179 1 - 0.0000 -
1463.92/1468.05 c 1468 119306 20216 1 - 0.0000 -
1469.01/1473.14 c 1473 119858 20243 1 - 0.0000 -
1474.09/1478.25 c 1478 120384 20296 1 - 0.0000 -
1479.18/1483.39 c 1483 120884 20352 1 - 0.0000 -
1484.36/1488.55 c 1489 121340 20396 1 - 0.0000 -
1489.55/1493.75 c 1494 121683 20467 1 - 0.0000 -
1494.63/1498.87 c 1499 122142 20512 1 - 0.0000 -
1499.92/1504.19 c 1504 122583 20588 1 - 0.0000 -
1505.00/1509.28 c 1509 123081 20628 1 - 0.0000 -
1510.28/1514.50 c 1515 123561 20666 1 - 0.0000 -
1515.47/1519.74 c 1520 124032 20716 1 - 0.0000 -
1520.64/1524.91 c 1525 124570 20812 1 - 0.0000 -
1525.62/1529.98 c 1530 125049 20867 1 - 0.0000 -
1530.91/1535.24 c 1535 125558 20916 1 - 0.0000 -
1535.99/1540.34 c 1540 125975 20967 1 - 0.0000 -
1541.18/1545.52 c 1546 126391 20996 1 - 0.0000 -
1546.26/1550.63 c 1551 126889 21069 1 - 0.0000 -
1551.35/1555.75 c 1556 127246 21162 1 - 0.0000 -
1556.73/1561.17 c 1561 127770 21244 1 - 0.0000 -
1561.91/1566.35 c 1566 128179 21387 1 - 0.0000 -
1566.99/1571.42 c 1571 128582 21447 1 - 0.0000 -
1572.07/1576.57 c 1577 129172 21521 1 - 0.0000 -
1577.25/1581.72 c 1582 129621 21640 1 - 0.0000 -
1582.34/1586.87 c 1587 130143 21662 1 - 0.0000 -
1587.42/1591.99 c 1592 130599 21701 1 - 0.0000 -
1592.61/1597.14 c 1597 131126 21716 1 - 0.0000 -
1597.69/1602.20 c 1602 131614 21754 1 - 0.0000 -
1602.87/1607.40 c 1607 132105 21812 1 - 0.0000 -
1607.95/1612.50 c 1613 132616 21880 1 - 0.0000 -
1613.04/1617.66 c 1618 132869 21913 1 - 0.0000 -
1618.32/1622.92 c 1623 133342 21952 1 - 0.0000 -
1623.70/1628.30 c 1628 133857 22018 1 - 0.0000 -
1628.98/1633.63 c 1634 134180 22063 1 - 0.0000 -
1634.17/1638.85 c 1639 134623 22156 1 - 0.0000 -
1639.25/1643.98 c 1644 134947 22251 1 - 0.0000 -
1644.73/1649.40 c 1649 135425 22312 1 - 0.0000 -
1649.82/1654.52 c 1655 135855 22374 1 - 0.0000 -
1654.90/1659.64 c 1660 136260 22420 1 - 0.0000 -
1659.98/1664.75 c 1665 136711 22462 1 - 0.0000 -
1665.06/1669.85 c 1670 137107 22497 1 - 0.0000 -
1670.15/1674.98 c 1675 137654 22542 1 - 0.0000 -
1675.24/1680.04 c 1680 138086 22590 1 - 0.0000 -
1680.32/1685.11 c 1685 138557 22624 1 - 0.0000 -
1685.40/1690.22 c 1690 139010 22703 1 - 0.0000 -
1690.48/1695.36 c 1695 139423 22790 1 - 0.0000 -
1695.66/1700.51 c 1701 139965 22856 1 - 0.0000 -
1700.94/1705.81 c 1706 140385 22909 1 - 0.0000 -
1706.03/1710.91 c 1711 140960 22949 1 - 0.0000 -
1711.21/1716.13 c 1716 141357 22995 1 - 0.0000 -
1716.30/1721.25 c 1721 141815 23057 1 - 0.0000 -
1721.48/1726.40 c 1726 142208 23114 1 - 0.0000 -
1726.47/1731.46 c 1731 142728 23174 1 - 0.0000 -
1731.76/1736.74 c 1737 143164 23216 1 - 0.0000 -
1736.85/1741.83 c 1742 143572 23290 1 - 0.0000 -
1742.13/1747.11 c 1747 143980 23359 1 - 0.0000 -
1747.22/1752.27 c 1752 144447 23424 1 - 0.0000 -
1752.50/1757.51 c 1758 144927 23471 1 - 0.0000 -
1757.59/1762.60 c 1763 145325 23528 1 - 0.0000 -
1762.67/1767.71 c 1768 145876 23605 1 - 0.0000 -
1767.77/1772.83 c 1773 146362 23666 1 - 0.0000 -
1772.85/1777.90 c 1778 146871 23704 1 - 0.0000 -
1777.94/1783.08 c 1783 147293 23760 1 - 0.0000 -
1783.22/1788.33 c 1788 147755 23806 1 - 0.0000 -
1788.31/1793.44 c 1793 148266 23860 1 - 0.0000 -
1793.59/1798.72 c 1799 148726 23933 1 - 0.0000 -
1798.68/1803.86 c 1804 149201 23962 1 - 0.0000 -
1803.76/1808.94 c 1809 149585 24031 1 - 0.0000 -
1809.06/1814.24 c 1814 149992 24033 1 - 0.0000 -
1814.24/1819.42 c 1819 150432 24050 1 - 0.0000 -
1819.22/1824.47 c 1824 150911 24142 1 - 0.0000 -
1824.42/1829.64 c 1830 151398 24153 1 - 0.0000 -
1829.81/1835.02 c 1835 151755 24180 1 - 0.0000 -
1834.98/1840.29 c 1840 152200 24205 1 - 0.0000 -
1840.17/1845.45 c 1845 152780 24266 1 - 0.0000 -
1845.45/1850.70 c 1851 153145 24291 1 - 0.0000 -
1850.55/1855.80 c 1856 153632 24347 1 - 0.0000 -
1856.02/1861.36 c 1861 154070 24441 1 - 0.0000 -
1861.41/1866.74 c 1867 154605 24470 1 - 0.0000 -
1866.50/1871.86 c 1872 155072 24502 1 - 0.0000 -
1871.59/1876.92 c 1877 155522 24582 1 - 0.0000 -
1876.58/1881.97 c 1882 155956 24625 1 - 0.0000 -
1881.67/1887.05 c 1887 156358 24698 1 - 0.0000 -
1886.75/1892.18 c 1892 156784 24916 1 - 0.0000 -
1891.93/1897.38 c 1897 157120 24960 1 - 0.0000 -
1897.12/1902.56 c 1903 157484 24994 1 - 0.0000 -
1902.21/1907.64 c 1908 157878 25076 1 - 0.0000 -
1907.49/1912.93 c 1913 158391 25115 1 - 0.0000 -
1912.58/1918.06 c 1918 158787 25177 1 - 0.0000 -
1917.68/1923.16 c 1923 159219 25250 1 - 0.0000 -
1922.85/1928.32 c 1928 159698 25334 1 - 0.0000 -
1928.04/1933.52 c 1934 160082 25402 1 - 0.0000 -
1933.12/1938.67 c 1939 160519 25473 1 - 0.0000 -
1938.31/1943.84 c 1944 160888 25524 1 - 0.0000 -
1943.39/1948.99 c 1949 161380 25589 1 - 0.0000 -
1948.68/1954.27 c 1954 161782 25621 1 - 0.0000 -
1953.77/1959.32 c 1959 162305 25674 1 - 0.0000 -
1958.76/1964.38 c 1964 162836 25744 1 - 0.0000 -
1964.34/1969.93 c 1970 163267 25767 1 - 0.0000 -
1969.43/1975.03 c 1975 163798 25819 1 - 0.0000 -
1974.52/1980.19 c 1980 164206 25871 1 - 0.0000 -
1979.90/1985.50 c 1986 164672 25884 1 - 0.0000 -
1984.98/1990.61 c 1991 165098 25923 1 - 0.0000 -
1990.08/1995.78 c 1996 165489 26010 1 - 0.0000 -
1995.16/2000.89 c 2001 165986 26009 1 - 0.0000 -
2000.35/2006.07 c 2006 166413 26053 1 - 0.0000 -
2005.74/2011.41 c 2011 166820 26119 1 - 0.0000 -
2010.82/2016.54 c 2017 167327 26171 1 - 0.0000 -
2016.00/2021.71 c 2022 167820 26243 1 - 0.0000 -
2021.20/2026.90 c 2027 168345 26284 1 - 0.0000 -
2026.29/2032.00 c 2032 168778 26364 1 - 0.0000 -
2031.47/2037.22 c 2037 169252 26433 1 - 0.0000 -
2036.55/2042.31 c 2042 169655 26533 1 - 0.0000 -
2041.73/2047.58 c 2048 170085 26592 1 - 0.0000 -
2046.82/2052.62 c 2053 170552 26627 1 - 0.0000 -
2051.81/2057.68 c 2058 171034 26682 1 - 0.0000 -
2057.09/2062.91 c 2063 171544 26747 1 - 0.0000 -
2062.09/2067.98 c 2068 172002 26792 1 - 0.0000 -
2067.18/2073.08 c 2073 172412 26830 1 - 0.0000 -
2072.26/2078.13 c 2078 172814 26875 1 - 0.0000 -
2077.34/2083.24 c 2083 173280 26933 1 - 0.0000 -
2082.43/2088.33 c 2088 173659 26942 1 - 0.0000 -
2087.61/2093.55 c 2094 174110 27012 1 - 0.0000 -
2092.80/2098.79 c 2099 174575 27087 1 - 0.0000 -
2098.19/2104.16 c 2104 175000 27115 1 - 0.0000 -
2103.37/2109.39 c 2109 175461 27145 1 - 0.0000 -
2108.46/2114.46 c 2114 175953 27197 1 - 0.0000 -
2113.84/2119.81 c 2120 176404 27256 1 - 0.0000 -
2119.03/2125.09 c 2125 176829 27317 1 - 0.0000 -
2124.32/2130.39 c 2130 177251 27367 1 - 0.0000 -
2129.40/2135.44 c 2135 177647 27414 1 - 0.0000 -
2134.79/2140.81 c 2141 177986 27479 1 - 0.0000 -
2139.88/2145.92 c 2146 178365 27517 1 - 0.0000 -
2144.86/2150.97 c 2151 178771 27572 1 - 0.0000 -
2149.95/2156.02 c 2156 179323 27584 1 - 0.0000 -
2155.13/2161.22 c 2161 179811 27637 1 - 0.0000 -
2160.11/2166.29 c 2166 180309 27701 1 - 0.0000 -
2165.60/2171.70 c 2172 180734 27751 1 - 0.0000 -
2170.69/2176.80 c 2177 181177 27786 1 - 0.0000 -
2175.88/2182.04 c 2182 181714 27844 1 - 0.0000 -
2180.96/2187.14 c 2187 182141 27853 1 - 0.0000 -
2186.04/2192.23 c 2192 182590 27901 1 - 0.0000 -
2191.03/2197.28 c 2197 182993 27929 1 - 0.0000 -
2196.42/2202.61 c 2203 183414 27968 1 - 0.0000 -
2201.81/2208.01 c 2208 183798 28012 1 - 0.0000 -
2206.80/2213.10 c 2213 184217 28066 1 - 0.0000 -
2212.28/2218.55 c 2219 184637 28118 1 - 0.0000 -
2217.36/2223.69 c 2224 185029 28162 1 - 0.0000 -
2222.45/2228.78 c 2229 185506 28229 1 - 0.0000 -
2227.63/2233.97 c 2234 185869 28290 1 - 0.0000 -
2233.12/2239.44 c 2239 186253 28311 1 - 0.0000 -
2238.21/2244.50 c 2245 186781 28346 1 - 0.0000 -
2243.30/2249.69 c 2250 187200 28457 1 - 0.0000 -
2248.58/2254.90 c 2255 187655 28503 1 - 0.0000 -
2253.67/2260.06 c 2260 188107 28535 1 - 0.0000 -
2258.85/2265.27 c 2265 188555 28563 1 - 0.0000 -
2264.24/2270.61 c 2271 188998 28606 1 - 0.0000 -
2269.42/2275.84 c 2276 189443 28599 1 - 0.0000 -
2274.62/2281.01 c 2281 189874 28687 1 - 0.0000 -
2279.70/2286.13 c 2286 190299 28745 1 - 0.0000 -
2284.98/2291.44 c 2291 190781 28790 1 - 0.0000 -
2290.27/2296.78 c 2297 191211 28825 1 - 0.0000 -
2295.35/2301.89 c 2302 191610 28842 1 - 0.0000 -
2300.55/2307.08 c 2307 192070 28882 1 - 0.0000 -
2305.73/2312.27 c 2312 192454 28921 1 - 0.0000 -
2311.11/2317.61 c 2318 192924 29018 1 - 0.0000 -
2316.20/2322.71 c 2323 193356 29067 1 - 0.0000 -
2321.59/2328.11 c 2328 193716 29128 1 - 0.0000 -
2326.78/2333.36 c 2333 194055 29140 1 - 0.0000 -
2332.35/2338.93 c 2339 194347 29191 1 - 0.0000 -
2337.65/2344.28 c 2344 194666 29293 1 - 0.0000 -
2342.93/2349.56 c 2350 194889 29338 1 - 0.0000 -
2348.12/2354.74 c 2355 195155 29401 1 - 0.0000 -
2353.31/2359.99 c 2360 195527 29421 1 - 0.0000 -
2358.79/2365.43 c 2365 195857 29498 1 - 0.0000 -
2363.88/2370.55 c 2371 196162 29547 1 - 0.0000 -
2368.96/2375.60 c 2376 196543 29612 1 - 0.0000 -
2374.15/2380.85 c 2381 196904 29646 1 - 0.0000 -
2379.34/2386.00 c 2386 197248 29697 1 - 0.0000 -
2384.61/2391.32 c 2391 197566 29739 1 - 0.0000 -
2389.80/2396.53 c 2397 197901 29833 1 - 0.0000 -
2394.80/2401.59 c 2402 198362 29874 1 - 0.0000 -
2399.98/2406.79 c 2407 198740 29895 1 - 0.0000 -
2405.06/2411.89 c 2412 199060 29943 1 - 0.0000 -
2410.26/2417.06 c 2417 199471 30006 1 - 0.0000 -
2415.44/2422.20 c 2422 199949 30046 1 - 0.0000 -
2420.53/2427.33 c 2427 200424 30080 1 - 0.0000 -
2425.81/2432.60 c 2433 200830 30131 1 - 0.0000 -
2430.80/2437.66 c 2438 201181 30180 1 - 0.0000 -
2435.98/2442.83 c 2443 201575 30210 1 - 0.0000 -
2441.07/2447.91 c 2448 202103 30272 1 - 0.0000 -
2446.35/2453.22 c 2453 202422 30312 1 - 0.0000 -
2451.54/2458.49 c 2458 202861 30346 1 - 0.0000 -
2456.72/2463.61 c 2464 203252 30400 1 - 0.0000 -
2461.81/2468.74 c 2469 203772 30441 1 - 0.0000 -
2467.00/2473.99 c 2474 204132 30494 1 - 0.0000 -
2472.19/2479.11 c 2479 204552 30505 1 - 0.0000 -
2477.47/2484.44 c 2484 205024 30535 1 - 0.0000 -
2482.46/2489.50 c 2490 205415 30582 1 - 0.0000 -
2487.74/2494.75 c 2495 205839 30648 1 - 0.0000 -
2492.93/2499.93 c 2500 206184 30701 1 - 0.0000 -
2498.22/2505.23 c 2505 206513 30767 1 - 0.0000 -
2503.40/2510.45 c 2510 206816 30818 1 - 0.0000 -
2508.59/2515.69 c 2516 207128 30827 1 - 0.0000 -
2513.78/2520.83 c 2521 207602 30881 1 - 0.0000 -
2519.76/2526.83 c 2527 207962 30965 1 - 0.0000 -
2524.95/2532.02 c 2532 208364 31018 1 - 0.0000 -
2529.93/2537.09 c 2537 208796 31059 1 - 0.0000 -
2535.12/2542.24 c 2542 209325 31089 1 - 0.0000 -
2540.21/2547.39 c 2547 209775 31128 1 - 0.0000 -
2545.49/2552.64 c 2553 210319 31219 1 - 0.0000 -
2550.58/2557.74 c 2558 210704 31249 1 - 0.0000 -
2555.67/2562.87 c 2563 211125 31282 1 - 0.0000 -
2560.85/2568.01 c 2568 211543 31330 1 - 0.0000 -
2565.95/2573.15 c 2573 211954 31387 1 - 0.0000 -
2571.02/2578.21 c 2578 212405 31438 1 - 0.0000 -
2576.21/2583.44 c 2583 212867 31490 1 - 0.0000 -
2581.59/2588.80 c 2589 213279 31550 1 - 0.0000 -
2586.59/2593.85 c 2594 213736 31607 1 - 0.0000 -
2591.67/2598.99 c 2599 214072 31647 1 - 0.0000 -
2596.95/2604.22 c 2604 214435 31679 1 - 0.0000 -
2602.03/2609.35 c 2609 214912 31763 1 - 0.0000 -
2607.12/2614.41 c 2614 215479 31827 1 - 0.0000 -
2612.31/2619.66 c 2620 215864 31897 1 - 0.0000 -
2617.60/2624.91 c 2625 216208 31966 1 - 0.0000 -
2622.68/2630.05 c 2630 216626 31997 1 - 0.0000 -
2627.97/2635.34 c 2635 217084 32052 1 - 0.0000 -
2633.15/2640.58 c 2641 217532 32113 1 - 0.0000 -
2638.44/2645.81 c 2646 217958 32190 1 - 0.0000 -
2643.52/2650.98 c 2651 218344 32261 1 - 0.0000 -
2648.90/2656.37 c 2656 218649 32326 1 - 0.0000 -
2653.99/2661.45 c 2661 219065 32356 1 - 0.0000 -
2659.08/2666.53 c 2667 219487 32392 1 - 0.0000 -
2664.26/2671.71 c 2672 219947 32490 1 - 0.0000 -
2669.26/2676.78 c 2677 220415 32562 1 - 0.0000 -
2674.73/2682.22 c 2682 220767 32593 1 - 0.0000 -
2679.93/2687.41 c 2687 221169 32632 1 - 0.0000 -
2684.91/2692.46 c 2692 221616 32701 1 - 0.0000 -
2689.99/2697.54 c 2698 222050 32750 1 - 0.0000 -
2695.07/2702.67 c 2703 222396 32795 1 - 0.0000 -
2700.26/2707.86 c 2708 222812 32852 1 - 0.0000 -
2705.46/2713.02 c 2713 223250 32885 1 - 0.0000 -
2710.54/2718.19 c 2718 223648 32907 1 - 0.0000 -
2715.72/2723.39 c 2723 224071 32954 1 - 0.0000 -
2721.11/2728.74 c 2729 224548 32989 1 - 0.0000 -
2726.29/2733.96 c 2734 224951 33031 1 - 0.0000 -
2731.39/2739.09 c 2739 225307 33081 1 - 0.0000 -
2736.57/2744.22 c 2744 225756 33125 1 - 0.0000 -
2741.66/2749.31 c 2749 226197 33147 1 - 0.0000 -
2746.84/2754.56 c 2755 226687 33196 1 - 0.0000 -
2752.03/2759.74 c 2760 227042 33251 1 - 0.0000 -
2757.12/2764.80 c 2765 227441 33291 1 - 0.0000 -
2762.10/2769.82 c 2770 227694 33303 1 - 0.0000 -
2767.19/2774.94 c 2775 228011 33352 1 - 0.0000 -
2772.38/2780.17 c 2780 228424 33383 1 - 0.0000 -
2777.56/2785.32 c 2785 228827 33406 1 - 0.0000 -
2782.75/2790.51 c 2791 229301 33466 1 - 0.0000 -
2788.03/2795.85 c 2796 229709 33530 1 - 0.0000 -
2793.23/2801.04 c 2801 230060 33572 1 - 0.0000 -
2798.31/2806.14 c 2806 230486 33618 1 - 0.0000 -
2803.49/2811.37 c 2811 230854 33685 1 - 0.0000 -
2808.68/2816.50 c 2817 231383 33749 1 - 0.0000 -
2813.86/2821.72 c 2822 231896 33796 1 - 0.0000 -
2819.15/2827.00 c 2827 232286 33863 1 - 0.0000 -
2824.15/2832.05 c 2832 232728 33893 1 - 0.0000 -
2829.24/2837.17 c 2837 233189 33912 1 - 0.0000 -
2834.31/2842.28 c 2842 233592 33991 1 - 0.0000 -
2839.50/2847.41 c 2847 234127 34037 1 - 0.0000 -
2845.08/2853.01 c 2853 234506 34070 1 - 0.0000 -
2850.67/2858.69 c 2859 234811 34117 1 - 0.0000 -
2855.85/2863.84 c 2864 235258 34168 1 - 0.0000 -
2861.05/2869.01 c 2869 235696 34174 1 - 0.0000 -
2866.23/2874.26 c 2874 236194 34247 1 - 0.0000 -
2871.42/2879.44 c 2879 236580 34283 1 - 0.0000 -
2876.50/2884.54 c 2885 237016 34370 1 - 0.0000 -
2881.69/2889.78 c 2890 237452 34427 1 - 0.0000 -
2886.88/2894.91 c 2895 237913 34454 1 - 0.0000 -
2891.97/2900.04 c 2900 238340 34481 1 - 0.0000 -
2897.25/2905.33 c 2905 238799 34535 1 - 0.0000 -
2902.34/2910.47 c 2910 239182 34623 1 - 0.0000 -
2907.63/2915.71 c 2916 239673 34690 1 - 0.0000 -
2912.61/2920.76 c 2921 240228 34723 1 - 0.0000 -
2917.80/2925.91 c 2926 240552 34750 1 - 0.0000 -
2922.99/2931.19 c 2931 241013 34773 1 - 0.0000 -
2928.27/2936.40 c 2936 241417 34808 1 - 0.0000 -
2933.36/2941.55 c 2942 241965 34871 1 - 0.0000 -
2938.74/2946.93 c 2947 242354 34904 1 - 0.0000 -
2943.84/2952.08 c 2952 242804 34936 1 - 0.0000 -
2949.03/2957.28 c 2957 243290 34980 1 - 0.0000 -
2954.11/2962.39 c 2962 243697 35009 1 - 0.0000 -
2959.20/2967.45 c 2967 244008 35071 1 - 0.0000 -
2964.48/2972.78 c 2973 244421 35126 1 - 0.0000 -
2969.77/2978.06 c 2978 244747 35203 1 - 0.0000 -
2975.05/2983.35 c 2983 245062 35316 1 - 0.0000 -
2980.24/2988.52 c 2989 245331 35409 1 - 0.0000 -
2985.34/2993.60 c 2994 245628 35454 1 - 0.0000 -
2990.52/2998.85 c 2999 246010 35563 1 - 0.0000 -
2995.90/3004.26 c 3004 246359 35611 1 - 0.0000 -
3000.99/3009.34 c 3009 246708 35670 1 - 0.0000 -
3005.98/3014.39 c 3014 247143 35693 1 - 0.0000 -
3011.16/3019.50 c 3020 247629 35738 1 - 0.0000 -
3016.26/3024.63 c 3025 248032 35763 1 - 0.0000 -
3021.34/3029.71 c 3030 248524 35853 1 - 0.0000 -
3026.43/3034.87 c 3035 248884 35925 1 - 0.0000 -
3031.62/3040.04 c 3040 249328 35942 1 - 0.0000 -
3036.61/3045.09 c 3045 249738 35982 1 - 0.0000 -
3041.79/3050.20 c 3050 250272 36030 1 - 0.0000 -
3046.88/3055.34 c 3055 250687 36069 1 - 0.0000 -
3051.97/3060.45 c 3060 251163 36089 1 - 0.0000 -
3057.25/3065.76 c 3066 251555 36135 1 - 0.0000 -
3062.34/3070.83 c 3071 251965 36191 1 - 0.0000 -
3067.53/3076.02 c 3076 252505 36208 1 - 0.0000 -
3072.62/3081.12 c 3081 252987 36255 1 - 0.0000 -
3077.70/3086.28 c 3086 253372 36307 1 - 0.0000 -
3082.89/3091.45 c 3091 253834 36350 1 - 0.0000 -
3087.97/3096.51 c 3097 254323 36403 1 - 0.0000 -
3093.06/3101.64 c 3102 254778 36430 1 - 0.0000 -
3098.05/3106.70 c 3107 255287 36487 1 - 0.0000 -
3104.03/3112.61 c 3113 255731 36550 1 - 0.0000 -
3109.02/3117.69 c 3118 256152 36576 1 - 0.0000 -
3114.21/3122.83 c 3123 256606 36586 1 - 0.0000 -
3119.40/3128.03 c 3128 256996 36660 1 - 0.0000 -
3124.58/3133.29 c 3133 257327 36717 1 - 0.0000 -
3129.87/3138.55 c 3139 257748 36758 1 - 0.0000 -
3135.05/3143.72 c 3144 258123 36806 1 - 0.0000 -
3140.15/3148.87 c 3149 258543 36857 1 - 0.0000 -
3145.23/3153.94 c 3154 258974 36851 1 - 0.0000 -
3150.43/3159.13 c 3159 259292 36953 1 - 0.0000 -
3155.61/3164.30 c 3164 259644 36998 1 - 0.0000 -
3160.59/3169.36 c 3169 260059 37036 1 - 0.0000 -
3165.78/3174.55 c 3175 260519 37079 1 - 0.0000 -
3171.06/3179.80 c 3180 260975 37126 1 - 0.0000 -
3176.35/3185.11 c 3185 261397 37155 1 - 0.0000 -
3181.64/3190.41 c 3190 261830 37211 1 - 0.0000 -
3186.83/3195.61 c 3196 262280 37253 1 - 0.0000 -
3192.01/3200.84 c 3201 262723 37257 1 - 0.0000 -
3197.10/3205.96 c 3206 263112 37276 1 - 0.0000 -
3202.29/3211.15 c 3211 263656 37351 1 - 0.0000 -
3207.57/3216.46 c 3216 264009 37394 1 - 0.0000 -
3212.66/3221.58 c 3222 264445 37454 1 - 0.0000 -
3217.85/3226.75 c 3227 264786 37525 1 - 0.0000 -
3223.03/3231.99 c 3232 265189 37554 1 - 0.0000 -
3228.42/3237.32 c 3237 265708 37605 1 - 0.0000 -
3233.51/3242.41 c 3242 266056 37622 1 - 0.0000 -
3238.79/3247.76 c 3248 266433 37670 1 - 0.0000 -
3243.88/3252.88 c 3253 266747 37714 1 - 0.0000 -
3249.17/3258.16 c 3258 267171 37738 1 - 0.0000 -
3254.25/3263.22 c 3263 267664 37815 1 - 0.0000 -
3259.64/3268.62 c 3269 268043 37920 1 - 0.0000 -
3264.63/3273.67 c 3274 268533 37966 1 - 0.0000 -
3269.91/3278.94 c 3279 269003 37997 1 - 0.0000 -
3275.30/3284.33 c 3284 269510 38019 1 - 0.0000 -
3280.49/3289.50 c 3290 269931 38039 1 - 0.0000 -
3285.57/3294.66 c 3295 270320 38064 1 - 0.0000 -
3290.66/3299.77 c 3300 270829 38133 1 - 0.0000 -
3295.95/3305.10 c 3305 271285 38179 1 - 0.0000 -
3301.13/3310.28 c 3310 271753 38227 1 - 0.0000 -
3306.41/3315.52 c 3316 272209 38241 1 - 0.0000 -
3312.21/3321.33 c 3321 272710 38281 1 - 0.0000 -
3317.29/3326.42 c 3326 273254 38321 1 - 0.0000 -
3322.38/3331.50 c 3332 273690 38359 1 - 0.0000 -
3327.56/3336.70 c 3337 274137 38407 1 - 0.0000 -
3332.56/3341.79 c 3342 274471 38427 1 - 0.0000 -
3337.64/3346.89 c 3347 274852 38460 1 - 0.0000 -
3342.83/3352.06 c 3352 275252 38462 1 - 0.0000 -
3348.11/3357.35 c 3357 275609 38505 1 - 0.0000 -
3353.21/3362.48 c 3362 276005 38555 1 - 0.0000 -
3358.29/3367.58 c 3368 276478 38618 1 - 0.0000 -
3363.48/3372.71 c 3373 277039 38672 1 - 0.0000 -
3368.57/3377.84 c 3378 277482 38740 1 - 0.0000 -
3373.95/3383.25 c 3383 277902 38771 1 - 0.0000 -
3379.43/3388.70 c 3389 278270 38839 1 - 0.0000 -
3384.52/3393.85 c 3394 278661 38879 1 - 0.0000 -
3389.61/3398.92 c 3399 279118 38919 1 - 0.0000 -
3394.80/3404.14 c 3404 279573 38960 1 - 0.0000 -
3399.88/3409.28 c 3409 279954 38994 1 - 0.0000 -
3405.07/3414.40 c 3414 280367 39064 1 - 0.0000 -
3410.36/3419.74 c 3420 280728 39093 1 - 0.0000 -
3415.44/3424.89 c 3425 281159 39135 1 - 0.0000 -
3420.53/3429.95 c 3430 281627 39138 1 - 0.0000 -
3425.81/3435.24 c 3435 282015 39147 1 - 0.0000 -
3430.90/3440.33 c 3440 282408 39231 1 - 0.0000 -
3435.99/3445.40 c 3445 282862 39254 1 - 0.0000 -
3441.08/3450.53 c 3451 283259 39278 1 - 0.0000 -
3446.06/3455.59 c 3456 283620 39337 1 - 0.0000 -
3452.95/3462.46 c 3462 283967 39360 1 - 0.0000 -
3458.04/3467.58 c 3468 284451 39405 1 - 0.0000 -
3463.32/3472.82 c 3473 284903 39466 1 - 0.0000 -
3468.51/3478.01 c 3478 285258 39499 1 - 0.0000 -
3473.69/3483.23 c 3483 285652 39521 1 - 0.0000 -
3478.88/3488.48 c 3488 285958 39552 1 - 0.0000 -
3484.47/3494.02 c 3494 286331 39600 1 - 0.0000 -
3489.65/3499.22 c 3499 286758 39662 1 - 0.0000 -
3495.03/3504.66 c 3505 287140 39692 1 - 0.0000 -
3500.22/3509.88 c 3510 287518 39763 1 - 0.0000 -
3505.42/3515.02 c 3515 287966 39885 1 - 0.0000 -
3510.50/3520.17 c 3520 288426 39894 1 - 0.0000 -
3515.58/3525.27 c 3525 288837 39926 1 - 0.0000 -
3520.77/3530.45 c 3530 289300 39982 1 - 0.0000 -
3525.85/3535.53 c 3536 289761 40025 1 - 0.0000 -
3530.94/3540.68 c 3541 290160 40078 1 - 0.0000 -
3536.03/3545.76 c 3546 290591 40111 1 - 0.0000 -
3541.32/3551.04 c 3551 291130 40128 1 - 0.0000 -
3546.71/3556.45 c 3556 291611 40130 1 - 0.0000 -
3551.79/3561.50 c 3562 292088 40183 1 - 0.0000 -
3556.97/3566.79 c 3567 292513 40225 1 - 0.0000 -
3562.37/3572.12 c 3572 292884 40277 1 - 0.0000 -
3567.35/3577.19 c 3577 293374 40318 1 - 0.0000 -
3572.44/3582.26 c 3582 293904 40330 1 - 0.0000 -
3577.62/3587.47 c 3587 294342 40401 1 - 0.0000 -
3582.82/3592.61 c 3593 294775 40435 1 - 0.0000 -
3588.00/3597.83 c 3598 295178 40462 1 - 0.0000 -
3590.59/3600.43 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.59/3600.43 c Total Time : 3600.4400
3590.59/3600.43 c solving : 3600.4400
3590.59/3600.43 c presolving : 0.1845 (included in solving)
3590.59/3600.43 c B&B Tree :
3590.59/3600.43 c nodes (total) : 1
3590.59/3600.43 c Solution :
3590.59/3600.43 c Solutions found : 0
3590.59/3600.43 c Primal Bound : -
3590.59/3600.43 c Dual Bound : +0.00000000000000e+00
3590.59/3600.43 c Gap : -
3590.59/3600.45 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 (60855 MiB free)
memory of node 1: 64510 MiB (61469 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450240-1721410586/watcher-4450240-1721410586 -o /tmp/evaluation-result-4450240-1721410586/solver-4450240-1721410586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040501 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450240-1721410586.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1040552, runsolver pid=1040544
[startup+0.10103 s]*
/proc/loadavg: 1.14 1.10 1.09 8/258 1040565
/proc/meminfo: memFree=125098708/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=61600 memory=50304 CPUtime=0.09 cores=5,7
/proc/1040552/stat : 1040552 (fscip) R 1040544 1040552 1040488 0 -1 4194304 11653 0 0 0 8 1 0 0 20 0 1 0 193228345 63078400 12576 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 15400 12576 2670 3032 0 11800 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61600 KiB
Current children cumulated memory: 50304 KiB
[startup+0.205157 s]*
/proc/loadavg: 1.14 1.10 1.09 5/260 1040567
/proc/meminfo: memFree=125035036/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=89020 memory=64720 CPUtime=0.2 cores=5,7
/proc/1040552/stat : 1040552 (fscip) R 1040544 1040552 1040488 0 -1 4194304 15290 0 0 0 18 2 0 0 20 0 1 0 193228345 91156480 16180 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 22255 16180 2750 3032 0 18655 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 89020 KiB
Current children cumulated memory: 64720 KiB
[startup+0.306028 s]*
/proc/loadavg: 1.14 1.10 1.09 6/263 1040570
/proc/meminfo: memFree=124929600/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=198732 memory=118632 CPUtime=0.3 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 28793 0 0 0 26 4 0 0 20 0 3 0 193228345 203501568 29658 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 49683 29658 2766 3032 0 37686 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=198732 memory=-7664417297291239808 CPUtime=0.05 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 7568 0 0 0 4 1 0 0 20 0 3 0 193228368 203501568 29658 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=198732 memory=4571035550991061868 CPUtime=0 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193228371 203501568 29658 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 198732 KiB
Current children cumulated memory: 118632 KiB
[startup+0.700249 s]
/proc/loadavg: 1.14 1.10 1.09 7/264 1040571
/proc/meminfo: memFree=124829936/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=199116 memory=137356 CPUtime=0.69 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 33350 0 0 0 64 5 0 0 20 0 3 0 193228345 203894784 34339 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 49779 34339 2910 3032 0 42431 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=199116 memory=5492 CPUtime=0.44 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 12125 0 0 0 43 1 0 0 20 0 3 0 193228368 203894784 34339 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=199116 memory=385 CPUtime=0 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193228371 203894784 34339 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 199116 KiB
Current children cumulated memory: 137356 KiB
[startup+1.50021 s]
/proc/loadavg: 1.14 1.10 1.09 6/264 1040571
/proc/meminfo: memFree=124818016/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=199116 memory=138172 CPUtime=1.48 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 37087 0 0 0 143 5 0 0 20 0 3 0 193228345 203894784 34543 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 49779 34543 2910 3032 0 42573 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=199116 memory=0 CPUtime=1.24 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 15855 0 0 0 122 2 0 0 20 0 3 0 193228368 203894784 34543 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=199116 memory=0 CPUtime=0 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 193228371 203894784 34543 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 199116 KiB
Current children cumulated memory: 138172 KiB
[startup+3.10626 s]
/proc/loadavg: 1.37 1.15 1.11 6/264 1040571
/proc/meminfo: memFree=124720508/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=268220 memory=174924 CPUtime=3.08 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 50824 0 0 0 301 7 0 0 20 0 3 0 193228345 274657280 43731 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 67055 43731 2926 3032 0 53157 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=268220 memory=-7664417297324794240 CPUtime=2.84 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 29592 0 0 0 280 4 0 0 20 0 3 0 193228368 274657280 43731 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=268220 memory=0 CPUtime=0 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 193228371 274657280 43731 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 268220 KiB
Current children cumulated memory: 174924 KiB
[startup+6.30019 s]
/proc/loadavg: 1.37 1.15 1.11 6/264 1040571
/proc/meminfo: memFree=124654620/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=268220 memory=177444 CPUtime=6.27 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 76955 0 0 0 619 8 0 0 20 0 3 0 193228345 274657280 44361 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 67055 44361 2926 3032 0 53157 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=268220 memory=12340 CPUtime=6.03 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 55717 0 0 0 598 5 0 0 20 0 3 0 193228368 274657280 44361 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=268220 memory=175284 CPUtime=0 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 193228371 274657280 44361 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 268220 KiB
Current children cumulated memory: 177444 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.20 1.12 6/262 1040619
/proc/meminfo: memFree=124609960/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=268220 memory=211780 CPUtime=12.65 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 106270 0 0 0 1254 11 0 0 20 0 3 0 193228345 274657280 52945 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 67055 52945 2926 3032 0 62433 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=268220 memory=12312 CPUtime=12.41 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 84985 0 0 0 1233 8 0 0 20 0 3 0 193228368 274657280 52945 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=268220 memory=5492 CPUtime=0 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 193228371 274657280 52945 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 268220 KiB
Current children cumulated memory: 211780 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.34 1.17 6/264 1040622
/proc/meminfo: memFree=124385472/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=333756 memory=229924 CPUtime=25.42 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 159670 0 0 0 2526 16 0 0 20 0 3 0 193228345 341766144 57481 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 83439 57481 2974 3032 0 66720 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=333756 memory=229388 CPUtime=25.17 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 138344 0 0 0 2505 12 0 0 20 0 3 0 193228368 341766144 57481 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=333756 memory=49044 CPUtime=0 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 193228371 341766144 57481 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 333756 KiB
Current children cumulated memory: 229924 KiB
[startup+51.1062 s]
/proc/loadavg: 2.83 1.57 1.25 6/264 1040627
/proc/meminfo: memFree=124260992/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=333756 memory=262160 CPUtime=50.96 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 219542 0 0 0 5075 21 0 0 20 0 3 0 193228345 341766144 65540 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 83439 65540 2974 3032 0 74832 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=333756 memory=49044 CPUtime=50.71 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 198171 0 0 0 5053 18 0 0 20 0 3 0 193228368 341766144 65540 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=333756 memory=12340 CPUtime=0 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 193228371 341766144 65540 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 333756 KiB
Current children cumulated memory: 262160 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 1.98 1.41 6/264 1040636
/proc/meminfo: memFree=124079820/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=401652 memory=302640 CPUtime=102.02 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 304641 0 0 0 10173 29 0 0 20 0 3 0 193228345 411291648 75660 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 100413 75660 2974 3032 0 86092 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=401652 memory=302520 CPUtime=101.76 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 283211 0 0 0 10151 25 0 0 20 0 3 0 193228368 411291648 75660 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=401652 memory=12340 CPUtime=0 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 193228371 411291648 75660 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 401652 KiB
Current children cumulated memory: 302640 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.36 1.58 6/264 1040647
/proc/meminfo: memFree=123967464/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=403364 memory=317388 CPUtime=161.84 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 358246 0 0 0 16148 36 0 0 20 0 3 0 193228345 413044736 79347 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 100841 79347 2974 3032 0 89856 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=403364 memory=15899 CPUtime=161.58 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 336791 0 0 0 16126 32 0 0 20 0 3 0 193228368 413044736 79347 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=403364 memory=317388 CPUtime=0 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 193228371 413044736 79347 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 403364 KiB
Current children cumulated memory: 317388 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.69 1.74 6/264 1040657
/proc/meminfo: memFree=123871672/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=405288 memory=326524 CPUtime=221.63 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 418661 0 0 0 22119 44 0 0 20 0 3 0 193228345 415014912 81631 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 101322 81631 2974 3032 0 91349 0
################
# More data... #
################
/proc/1040552/statm: 305463 281930 2974 3032 0 288625 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=1221852 memory=1113604 CPUtime=3392.52 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 2460803 0 0 0 338896 356 0 0 20 0 3 0 193228368 1251176448 281930 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=1221852 memory=1127540 CPUtime=0.03 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 193228371 1251176448 281930 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 1221852 KiB
Current children cumulated memory: 1127720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/259 1042748
/proc/meminfo: memFree=122012152/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=1221852 memory=1139616 CPUtime=3452.85 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 2527698 0 0 0 344914 371 0 0 20 0 3 0 193228345 1251176448 284904 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 305463 284904 2974 3032 0 289430 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=1221852 memory=1113604 CPUtime=3452.36 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 2505247 0 0 0 344876 360 0 0 20 0 3 0 193228368 1251176448 284904 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=1221852 memory=1130508 CPUtime=0.03 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 149 0 0 0 1 2 0 0 20 0 3 0 193228371 1251176448 284904 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 1221852 KiB
Current children cumulated memory: 1139616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/259 1042758
/proc/meminfo: memFree=121993104/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=1236884 memory=1158280 CPUtime=3512.69 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 2583755 0 0 0 350893 376 0 0 20 0 3 0 193228345 1266569216 289570 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 309221 289570 2974 3032 0 296521 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=1236884 memory=12340 CPUtime=3512.2 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 2561286 0 0 0 350855 365 0 0 20 0 3 0 193228368 1266569216 289570 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=1236884 memory=1156024 CPUtime=0.03 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 193228371 1266569216 289570 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 1236884 KiB
Current children cumulated memory: 1158280 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.15 4.07 5/258 1042768
/proc/meminfo: memFree=121983860/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=1236884 memory=1167200 CPUtime=3572.54 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 2639954 0 0 0 356872 382 0 0 20 0 3 0 193228345 1266569216 291800 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 309221 291800 2974 3032 0 298337 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=1236884 memory=15976 CPUtime=3572.04 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 2617466 0 0 0 356833 371 0 0 20 0 3 0 193228368 1266569216 291800 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=1236884 memory=12340 CPUtime=0.03 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 155 0 0 0 1 2 0 0 20 0 3 0 193228371 1266569216 291800 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 1236884 KiB
Current children cumulated memory: 1167200 KiB
[startup+3600.46 s]
# the end of solver process 1040552 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.79 s, system=3.86924 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.14 4.07 5/258 1042768
/proc/meminfo: memFree=121983072/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=1236884 memory=1168028 CPUtime=3574.24 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 2640256 0 0 0 357042 382 0 0 20 0 3 0 193228345 1266569216 292007 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 309221 292007 2974 3032 0 298586 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=1236884 memory=-6809015775182228843 CPUtime=3573.74 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 2617768 0 0 0 357003 371 0 0 20 0 3 0 193228368 1266569216 292007 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=1236884 memory=-9187040407737892290 CPUtime=0.03 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 155 0 0 0 1 2 0 0 20 0 3 0 193228371 1266569216 292007 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3574.24 s
Current children cumulated vsize: 1236884 KiB
Current children cumulated memory: 1168028 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.14 4.07 5/258 1042769
/proc/meminfo: memFree=121977968/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=1268068 memory=1172932 CPUtime=3580.61 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 2640728 0 0 0 357679 382 0 0 20 0 3 0 193228345 1298501632 293233 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 317017 293233 2974 3032 0 306426 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=1268068 memory=12340 CPUtime=3580.12 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 2618240 0 0 0 357641 371 0 0 20 0 3 0 193228368 1298501632 293233 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=1268068 memory=1167200 CPUtime=0.03 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 155 0 0 0 1 2 0 0 20 0 3 0 193228371 1298501632 293233 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3580.61 s
Current children cumulated vsize: 1268068 KiB
Current children cumulated memory: 1172932 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.14 4.07 5/258 1042769
/proc/meminfo: memFree=121977480/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=1268068 memory=1173428 CPUtime=3587 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 2641481 0 0 0 358317 383 0 0 20 0 3 0 193228345 1298501632 293357 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 317017 293357 2974 3032 0 306481 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=1268068 memory=-7025470032389967980 CPUtime=3586.51 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 2618989 0 0 0 358279 372 0 0 20 0 3 0 193228368 1298501632 293357 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=1268068 memory=12312 CPUtime=0.03 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 193228371 1298501632 293357 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 1268068 KiB
Current children cumulated memory: 1173428 KiB
[startup+3598.4 s]
/proc/loadavg: 4.16 4.14 4.07 5/258 1042771
/proc/meminfo: memFree=121977368/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=1268068 memory=1173452 CPUtime=3588.6 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 2641551 0 0 0 358477 383 0 0 20 0 3 0 193228345 1298501632 293363 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 317017 293363 2974 3032 0 306481 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=1268068 memory=49348 CPUtime=3588.1 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 2619059 0 0 0 358438 372 0 0 20 0 3 0 193228368 1298501632 293363 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=1268068 memory=12312 CPUtime=0.03 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 193228371 1298501632 293363 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3588.6 s
Current children cumulated vsize: 1268068 KiB
Current children cumulated memory: 1173452 KiB
[startup+3599.2 s]
/proc/loadavg: 4.15 4.14 4.07 5/258 1042771
/proc/meminfo: memFree=121977368/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=1268068 memory=1173496 CPUtime=3589.4 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 2641595 0 0 0 358557 383 0 0 20 0 3 0 193228345 1298501632 293374 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 317017 293374 2974 3032 0 306481 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=1268068 memory=49348 CPUtime=3588.9 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 2619103 0 0 0 358518 372 0 0 20 0 3 0 193228368 1298501632 293374 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=1268068 memory=1173452 CPUtime=0.03 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 193228371 1298501632 293374 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3589.4 s
Current children cumulated vsize: 1268068 KiB
Current children cumulated memory: 1173496 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.14 4.07 5/258 1042771
/proc/meminfo: memFree=121942648/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=1330036 memory=1204908 CPUtime=3590.2 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 2650560 0 0 0 358636 384 0 0 20 0 3 0 193228345 1361956864 301227 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 332509 301227 2974 3032 0 314907 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=1330036 memory=-6809015775182228843 CPUtime=3589.7 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 2628067 0 0 0 358597 373 0 0 20 0 3 0 193228368 1361956864 301227 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=1330036 memory=357780 CPUtime=0.03 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 193228371 1361956864 301227 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3590.2 s
Current children cumulated vsize: 1330036 KiB
Current children cumulated memory: 1204908 KiB
[startup+3600.4 s]
/proc/loadavg: 4.15 4.14 4.07 5/258 1042771
/proc/meminfo: memFree=121942648/131524600 swapFree=131071996/131071996
[pid=1040552] ppid=1040544 vsize=1330036 memory=1204908 CPUtime=3590.59 cores=5,7
/proc/1040552/stat : 1040552 (fscip) S 1040544 1040552 1040488 0 -1 1077936128 2666555 0 0 0 358674 385 0 0 20 0 3 0 193228345 1361956864 301227 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
/proc/1040552/statm: 332509 301227 2974 3032 0 314907 0
[pid=1040552/tid=1040568] ppid=1040544 vsize=1330036 memory=5568 CPUtime=3590.09 cores=5,7
/proc/1040552/task/1040568/stat : 1040568 (fscip) R 1040544 1040552 1040488 0 -1 4194368 2644062 0 0 0 358635 374 0 0 20 0 3 0 193228368 1361956864 301227 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
[pid=1040552/tid=1040569] ppid=1040544 vsize=1330036 memory=1816 CPUtime=0.03 cores=5,7
/proc/1040552/task/1040569/stat : 1040569 (fscip) S 1040544 1040552 1040488 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 193228371 1361956864 301227 134679101440 4194304 16613245 140729961663280 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27484160 140729961665555 140729961665671 140729961665671 140729961672688 0
Current children cumulated CPU time: 3590.59 s
Current children cumulated vsize: 1330036 KiB
Current children cumulated memory: 1204908 KiB
Child status: 0
Real time (s): 3600.46
CPU time (s): 3590.66
CPU user time (s): 3586.79
CPU system time (s): 3.86924
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 1333604
Max. memory (cumulated for all children) (KiB): 1208476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.79
system time used= 3.86924
maximum resident set size= 1208476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2667688
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= 10651
involuntary context switches= 3998
# summary of solver processes directly reported to runsolver:
# pid: 1040552
# total CPU time (s): 3590.66
# total CPU user time (s): 3586.79
# total CPU system time (s): 3.86924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18701 second user time and 17.5267 second system time
The end
Begin job on nodeC033 at 2024-07-19 19:36:38
IDJOB=4450240
IDBENCH=160415
IDSOLVER=3064
FILE ID=nodeC033/4450240-1721410586
RUNJOBID= nodeC033-1721410598-1040501
SLURM_JOB_ID= 7545470
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450240-1721410586/watcher-4450240-1721410586 -o /tmp/evaluation-result-4450240-1721410586/solver-4450240-1721410586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040501 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450240-1721410586.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4aca60576f41ce0be442f97c9c36c82a
RANDOM SEED=587076961
nodeC033.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 : 3720.091
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.50
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 : 3730.503
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 : 7006.25
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 : 3764.597
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.50
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 : 3716.502
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 : 7006.25
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 : 3578.650
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.50
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 : 3599.549
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 : 7006.25
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 : 3581.140
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.50
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 : 3520.833
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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125262996 kB
MemAvailable: 129626424 kB
Buffers: 567052 kB
Cached: 4589408 kB
SwapCached: 0 kB
Active: 1026300 kB
Inactive: 4509592 kB
Active(anon): 1464 kB
Inactive(anon): 423584 kB
Active(file): 1024836 kB
Inactive(file): 4086008 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112588 kB
Writeback: 0 kB
AnonPages: 376468 kB
Mapped: 106936 kB
Shmem: 45908 kB
KReclaimable: 184460 kB
Slab: 307812 kB
SReclaimable: 184460 kB
SUnreclaim: 123352 kB
KernelStack: 3924 kB
PageTables: 9828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 762476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 251904 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: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC033 at 2024-07-19 20:36:39