0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 40525824, getVmSize() = 40525824, SCIPgetMemUsed() = 14631200, SCIPgetMemTotal() = 18367088, SCIPgetMemExternEstim() = 9179737
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.49/0.55 c ** Estimated virtualMemUsedAtSolver = 52242601, getVmSize() = 92725248, SCIPgetMemUsed() = 49379045, SCIPgetMemTotal() = 69184165, SCIPgetMemExternEstim() = 9179737
0.49/0.55 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.49/0.55 c Original Problem :
0.49/0.55 c Problem name : instance-4464815-1722386135
0.49/0.55 c Variables : 5002 (35 binary, 0 integer, 4967 implicit integer, 0 continuous)
0.49/0.55 c Constraints : 4967
0.49/0.55 c Objective sense : minimize
0.49/0.55 c Presolved Problem :
0.49/0.55 c Variables : 5002 (35 binary, 0 integer, 4967 implicit integer, 0 continuous)
0.49/0.55 c Constraints : 4967
0.49/0.55 c Constraints : Number
0.49/0.55 c and : 4967
0.49/0.55 c ** Instance transfer method used: 0
0.49/0.56 c ** ParaScipInstance copy does not increase the number of variables. **
0.49/0.57 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.49/0.57 c Nodes Active
0.49/0.57 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.08/1.17 c * 1 0 1 1 -1560.0000 - -
7.22/7.38 c * 7 0 1 1 -3784.0000 - -
7.22/7.38 c 7 0 1 1 -3784.0000 - -
13.07/13.25 c 13 2 1 1 -3784.0000 -54754.5468 -
20.43/20.67 c 21 4 3 1 -3784.0000 -54754.5468 -
25.91/26.18 c 26 12 11 1 -3784.0000 -54754.5468 -
31.08/31.31 c 31 19 18 1 -3784.0000 -54754.5468 -
36.87/37.19 c 37 45 44 1 -3784.0000 -54754.5468 -
41.94/42.28 c 42 52 51 1 -3784.0000 -47765.7930 -
47.03/47.37 c 47 61 60 1 -3784.0000 -47765.7930 -
52.91/53.29 c 53 67 66 1 -3784.0000 -45340.8666 -
57.99/58.39 c 58 79 78 1 -3784.0000 -42774.7579 -
63.87/64.20 c 64 92 91 1 -3784.0000 -42774.7579 -
69.84/70.23 c 70 106 105 1 -3784.0000 -42774.7579 -
75.73/76.19 c 76 124 123 1 -3784.0000 -42774.7579 -
80.80/81.27 c 81 137 136 1 -3784.0000 -37618.8822 -
86.58/87.09 c 87 146 145 1 -3784.0000 -37054.9711 -
92.16/92.65 c 93 165 164 1 -3784.0000 -36734.2377 -
97.64/98.15 c 98 188 187 1 -3784.0000 -36734.2377 -
103.21/103.77 c 104 211 210 1 -3784.0000 -36734.2377 -
108.79/109.39 c 109 216 215 1 -3784.0000 -36734.2377 -
116.36/116.99 c 117 231 230 1 -3784.0000 -36734.2377 -
121.83/122.48 c 122 239 238 1 -3784.0000 -36734.2377 -
128.01/128.62 c 129 253 252 1 -3784.0000 -36734.2377 -
134.09/134.76 c 135 259 258 1 -3784.0000 -36734.2377 -
139.87/140.56 c 141 267 266 1 -3784.0000 -36734.2377 -
145.35/146.03 c 146 276 275 1 -3784.0000 -36734.2377 -
152.72/153.50 c 154 290 289 1 -3784.0000 -36734.2377 -
157.89/158.64 c 159 296 295 1 -3784.0000 -36734.2377 -
158.69/159.49 c * 160 296 295 1 -3810.0000 -36734.2377 -
164.77/165.55 c 166 304 303 1 -3810.0000 -36734.2377 -
171.15/171.92 c 172 312 311 1 -3810.0000 -36734.2377 -
172.64/173.44 c * 173 312 311 1 -3812.0000 -36734.2377 -
176.42/177.29 c * 177 318 317 1 -3822.0000 -36734.2377 -
176.42/177.29 c 177 318 317 1 -3822.0000 -36734.2377 -
181.60/182.47 c 182 329 328 1 -3822.0000 -36734.2377 -
187.29/188.10 c 188 338 337 1 -3822.0000 -33727.6111 -
196.15/197.03 c 197 350 349 1 -3822.0000 -33727.6111 -
201.82/202.71 c 203 357 356 1 -3822.0000 -33727.6111 -
209.89/210.88 c 211 368 367 1 -3822.0000 -33727.6111 -
216.96/217.99 c 218 373 372 1 -3822.0000 -33727.6111 -
222.55/223.50 c 224 381 380 1 -3822.0000 -33727.6111 -
229.21/230.26 c 230 385 384 1 -3822.0000 -33727.6111 -
236.49/237.51 c 238 391 390 1 -3822.0000 -33727.6111 -
242.36/243.43 c 243 396 395 1 -3822.0000 -33727.6111 -
248.94/250.01 c 250 404 403 1 -3822.0000 -33727.6111 -
254.32/255.49 c 256 410 409 1 -3822.0000 -33727.6111 -
260.00/261.15 c 261 420 419 1 -3822.0000 -33727.6111 -
267.47/268.61 c 269 431 430 1 -3822.0000 -33727.6111 -
275.24/276.43 c 276 437 436 1 -3822.0000 -33727.6111 -
281.01/282.20 c 282 443 442 1 -3822.0000 -33727.6111 -
287.69/289.00 c 289 448 447 1 -3822.0000 -33727.6111 -
295.06/296.35 c 296 453 452 1 -3822.0000 -33727.6111 -
302.43/303.79 c 304 466 465 1 -3822.0000 -33727.6111 -
307.71/309.02 c 309 469 468 1 -3822.0000 -33727.6111 -
312.79/314.10 c 314 474 473 1 -3822.0000 -33727.6111 -
317.86/319.25 c 319 477 476 1 -3822.0000 -33727.6111 -
325.74/327.18 c 327 486 485 1 -3822.0000 -33727.6111 -
331.62/333.07 c 333 491 490 1 -3822.0000 -33727.6111 -
339.18/340.69 c 341 497 496 1 -3822.0000 -33727.6111 -
346.56/348.01 c * 348 503 502 1 -3823.0000 -33727.6111 -
346.56/348.01 c 348 503 502 1 -3823.0000 -33727.6111 -
352.04/353.56 c 354 510 509 1 -3823.0000 -33727.6111 -
357.32/358.84 c 359 513 512 1 -3823.0000 -33727.6111 -
364.69/366.29 c 366 520 519 1 -3823.0000 -33727.6111 -
371.07/372.69 c 373 528 527 1 -3823.0000 -33727.6111 -
377.74/379.38 c 379 532 531 1 -3823.0000 -33727.6111 -
384.33/385.93 c 386 540 539 1 -3823.0000 -33727.6111 -
392.10/393.71 c 394 552 551 1 -3823.0000 -33727.6111 -
400.66/402.32 c 402 562 561 1 -3823.0000 -33727.6111 -
407.05/408.73 c 409 567 566 1 -3823.0000 -33727.6111 -
412.92/414.61 c 415 581 580 1 -3823.0000 -33727.6111 -
418.41/420.14 c 420 586 585 1 -3823.0000 -33727.6111 -
423.58/425.33 c 425 591 590 1 -3823.0000 -33727.6111 -
430.36/432.11 c 432 595 594 1 -3823.0000 -33727.6111 -
437.24/439.06 c 439 600 599 1 -3823.0000 -33727.6111 -
443.71/445.51 c 446 605 604 1 -3823.0000 -33727.6111 -
451.49/453.33 c 453 613 612 1 -3823.0000 -33727.6111 -
458.86/460.76 c 461 619 618 1 -3823.0000 -33727.6111 -
464.44/466.36 c 466 624 623 1 -3823.0000 -33727.6111 -
470.72/472.64 c 473 631 630 1 -3823.0000 -33727.6111 -
478.20/480.18 c 480 639 638 1 -3823.0000 -33727.6111 -
485.88/487.85 c 488 647 646 1 -3823.0000 -33727.6111 -
492.16/494.18 c 494 654 653 1 -3823.0000 -33727.6111 -
497.93/499.91 c 500 658 657 1 -3823.0000 -33727.6111 -
504.61/506.65 c 507 663 662 1 -3823.0000 -33727.6111 -
509.79/511.83 c 512 667 666 1 -3823.0000 -33727.6111 -
517.67/519.73 c 520 673 672 1 -3823.0000 -33727.6111 -
524.95/527.07 c 527 677 676 1 -3823.0000 -33727.6111 -
532.92/535.07 c 535 685 684 1 -3823.0000 -33727.6111 -
539.60/541.70 c 542 689 688 1 -3823.0000 -33727.6111 -
545.89/548.07 c 548 693 692 1 -3823.0000 -33727.6111 -
550.97/553.13 c 553 700 699 1 -3823.0000 -33727.6111 -
557.64/559.83 c 560 703 702 1 -3823.0000 -33727.6111 -
562.83/565.09 c 565 709 708 1 -3823.0000 -33727.6111 -
569.10/571.32 c 571 715 714 1 -3823.0000 -33727.6111 -
576.68/578.94 c 579 723 722 1 -3823.0000 -33727.6111 -
583.16/585.49 c 586 727 726 1 -3823.0000 -33727.6111 -
589.23/591.52 c 592 735 734 1 -3823.0000 -33727.6111 -
595.41/597.75 c 598 740 739 1 -3823.0000 -33727.6111 -
596.71/599.08 c * 599 740 739 1 -3844.0000 -33727.6111 -
601.59/603.94 c 604 746 745 1 -3844.0000 -33727.6111 -
607.37/609.77 c 610 752 751 1 -3844.0000 -33727.6111 -
614.75/617.11 c 617 759 758 1 -3844.0000 -33727.6111 -
620.24/622.66 c 623 765 764 1 -3844.0000 -33727.6111 -
626.51/628.96 c 629 773 772 1 -3844.0000 -33727.6111 -
632.49/634.96 c 635 779 778 1 -3844.0000 -33727.6111 -
638.18/640.67 c 641 787 786 1 -3844.0000 -33727.6111 -
645.15/647.64 c 648 793 792 1 -3844.0000 -33727.6111 -
651.53/654.09 c 654 800 799 1 -3844.0000 -33727.6111 -
657.12/659.61 c 660 807 806 1 -3844.0000 -33727.6111 -
664.79/667.30 c 667 814 813 1 -3844.0000 -33727.6111 -
670.87/673.46 c 673 822 821 1 -3844.0000 -33727.6111 -
677.45/680.07 c 680 828 827 1 -3844.0000 -33727.6111 -
682.83/685.49 c 686 832 831 1 -3844.0000 -33727.6111 -
689.41/692.01 c 692 840 839 1 -3844.0000 -33727.6111 -
694.88/697.59 c 698 845 844 1 -3844.0000 -33727.6111 -
700.17/702.85 c 703 847 846 1 -3844.0000 -33727.6111 -
705.25/707.99 c 708 851 850 1 -3844.0000 -33727.6111 -
712.93/715.61 c 716 857 856 1 -3844.0000 -33727.6111 -
718.11/720.82 c 721 861 860 1 -3844.0000 -33727.6111 -
724.49/727.22 c 727 869 868 1 -3844.0000 -33727.6111 -
729.97/732.75 c 733 877 876 1 -3844.0000 -33727.6111 -
737.05/739.88 c 740 882 881 1 -3844.0000 -33727.6111 -
744.62/747.49 c 748 887 886 1 -3844.0000 -33727.6111 -
749.91/752.72 c 753 893 892 1 -3844.0000 -33727.6111 -
756.19/759.03 c 759 899 898 1 -3844.0000 -33727.6111 -
761.96/764.89 c 765 904 903 1 -3844.0000 -33727.6111 -
768.65/771.54 c 772 909 908 1 -3844.0000 -33727.6111 -
775.32/778.25 c 778 917 916 1 -3844.0000 -33727.6111 -
780.41/783.34 c 783 922 921 1 -3844.0000 -33727.6111 -
785.58/788.52 c 789 926 925 1 -3844.0000 -33727.6111 -
793.16/796.17 c 796 934 933 1 -3844.0000 -33727.6111 -
800.83/803.81 c 804 939 938 1 -3844.0000 -33727.6111 -
809.32/812.30 c 812 947 946 1 -3844.0000 -33727.6111 -
814.60/817.64 c 818 954 953 1 -3844.0000 -33727.6111 -
821.17/824.29 c 824 961 960 1 -3844.0000 -33727.6111 -
827.75/830.81 c 831 965 964 1 -3844.0000 -33727.6111 -
834.33/837.43 c 837 970 969 1 -3844.0000 -33727.6111 -
839.31/842.47 c 842 975 974 1 -3844.0000 -33727.6111 -
845.19/848.30 c 848 979 978 1 -3844.0000 -33727.6111 -
850.87/854.05 c 854 983 982 1 -3844.0000 -33727.6111 -
858.64/861.89 c 862 991 990 1 -3844.0000 -33727.6111 -
864.03/867.28 c 867 1000 999 1 -3844.0000 -33727.6111 -
870.01/873.23 c 873 1003 1002 1 -3844.0000 -33727.6111 -
875.90/879.13 c 879 1009 1008 1 -3844.0000 -33727.6111 -
882.17/885.42 c 885 1021 1020 1 -3844.0000 -33727.6111 -
887.95/891.20 c 891 1025 1024 1 -3844.0000 -33727.6111 -
893.63/896.99 c 897 1033 1032 1 -3844.0000 -33727.6111 -
899.21/902.56 c 903 1039 1038 1 -3844.0000 -33727.6111 -
904.89/908.23 c 908 1047 1046 1 -3844.0000 -30541.4000 -
933.50/936.91 c 937 1051 1 1 -3844.0000 -30541.4000 -
939.78/943.29 c 943 1052 2 1 -3844.0000 -30541.4000 -
947.35/950.88 c 951 1054 4 1 -3844.0000 -30541.4000 -
956.82/960.32 c 960 1056 6 1 -3844.0000 -30541.4000 -
963.50/967.07 c 967 1058 8 1 -3844.0000 -30541.4000 -
968.68/972.28 c 972 1060 10 1 -3844.0000 -30541.4000 -
976.57/980.16 c 980 1061 11 1 -3844.0000 -30541.4000 -
982.84/986.49 c 986 1065 15 1 -3844.0000 -30541.4000 -
989.32/992.91 c 993 1071 21 1 -3844.0000 -30541.4000 -
996.59/1000.20 c 1000 1080 30 1 -3844.0000 -30541.4000 -
1001.97/1005.68 c 1006 1084 34 1 -3844.0000 -30541.4000 -
1007.65/1011.32 c 1011 1090 40 1 -3844.0000 -30541.4000 -
1013.44/1017.11 c 1017 1102 52 1 -3844.0000 -30541.4000 -
1019.71/1023.48 c 1023 1112 62 1 -3844.0000 -30541.4000 -
1028.68/1032.40 c 1032 1122 72 1 -3844.0000 -30541.4000 -
1033.77/1037.52 c 1038 1130 80 1 -3844.0000 -30541.4000 -
1039.65/1043.47 c 1043 1139 89 1 -3844.0000 -30541.4000 -
1045.43/1049.27 c 1049 1149 99 1 -3844.0000 -30541.4000 -
1051.32/1055.14 c 1055 1154 104 1 -3844.0000 -30541.4000 -
1056.39/1060.29 c 1060 1160 110 1 -3844.0000 -30541.4000 -
1061.68/1065.56 c 1066 1171 121 1 -3844.0000 -30541.4000 -
1067.95/1071.89 c 1072 1180 130 1 -3844.0000 -30541.4000 -
1073.24/1077.14 c 1077 1188 138 1 -3844.0000 -30541.4000 -
1079.12/1083.00 c 1083 1200 150 1 -3844.0000 -30541.4000 -
1084.21/1088.10 c 1088 1207 157 1 -3844.0000 -30541.4000 -
1089.19/1093.19 c 1093 1214 164 1 -3844.0000 -30541.4000 -
1094.27/1098.22 c 1098 1221 171 1 -3844.0000 -30541.4000 -
1099.85/1103.84 c 1104 1231 181 1 -3844.0000 -30541.4000 -
1105.93/1109.90 c 1110 1238 188 1 -3844.0000 -30541.4000 -
1111.11/1115.12 c 1115 1247 197 1 -3844.0000 -30541.4000 -
1117.39/1121.42 c 1121 1255 205 1 -3844.0000 -30541.4000 -
1125.17/1129.28 c 1129 1263 213 1 -3844.0000 -30541.4000 -
1134.05/1138.18 c 1138 1271 221 1 -3844.0000 -30541.4000 -
1141.92/1146.00 c 1146 1278 228 1 -3844.0000 -30541.4000 -
1147.79/1151.99 c 1152 1289 239 1 -3844.0000 -30541.4000 -
1153.08/1157.22 c 1157 1293 243 1 -3844.0000 -30541.4000 -
1159.06/1163.27 c 1163 1299 249 1 -3844.0000 -30541.4000 -
1164.14/1168.32 c 1168 1304 254 1 -3844.0000 -30541.4000 -
1169.52/1173.71 c 1174 1311 261 1 -3844.0000 -30541.4000 -
1174.50/1178.78 c 1179 1315 265 1 -3844.0000 -30541.4000 -
1180.58/1184.85 c 1185 1321 271 1 -3844.0000 -30541.4000 -
1187.67/1191.90 c 1192 1326 276 1 -3844.0000 -30541.4000 -
1194.64/1198.97 c 1199 1331 281 1 -3844.0000 -30541.4000 -
1200.13/1204.44 c 1204 1339 289 1 -3844.0000 -30541.4000 -
1205.71/1210.08 c 1210 1346 296 1 -3844.0000 -30541.4000 -
1210.79/1215.18 c 1215 1352 302 1 -3844.0000 -30541.4000 -
1217.56/1221.96 c 1222 1359 309 1 -3844.0000 -30541.4000 -
1222.54/1226.99 c 1227 1368 318 1 -3844.0000 -30541.4000 -
1229.52/1233.93 c 1234 1378 328 1 -3844.0000 -30541.4000 -
1235.71/1240.19 c 1240 1383 333 1 -3844.0000 -30541.4000 -
1240.89/1245.34 c 1245 1389 339 1 -3844.0000 -30541.4000 -
1246.08/1250.54 c 1251 1393 343 1 -3844.0000 -30541.4000 -
1251.96/1256.43 c 1256 1404 354 1 -3844.0000 -30541.4000 -
1258.23/1262.78 c 1263 1415 365 1 -3844.0000 -30541.4000 -
1264.51/1269.00 c 1269 1426 376 1 -3844.0000 -30541.4000 -
1269.99/1274.54 c 1275 1437 387 1 -3844.0000 -30541.4000 -
1277.17/1281.78 c 1282 1447 397 1 -3844.0000 -30541.4000 -
1283.05/1287.64 c 1288 1457 407 1 -3844.0000 -30541.4000 -
1288.13/1292.75 c 1293 1463 413 1 -3844.0000 -30143.3662 -
1293.61/1298.20 c 1298 1467 417 1 -3844.0000 -29612.9865 -
1299.00/1303.61 c 1304 1471 421 1 -3844.0000 -29612.9865 -
1303.98/1308.65 c 1309 1479 429 1 -3844.0000 -29612.9865 -
1310.26/1314.94 c 1315 1483 433 1 -3844.0000 -29612.9865 -
1316.54/1321.20 c 1321 1495 445 1 -3844.0000 -27861.8788 -
1324.11/1328.81 c 1329 1499 449 1 -3844.0000 -27861.8788 -
1330.89/1335.64 c 1336 1507 457 1 -3844.0000 -26684.3958 -
1337.66/1342.45 c 1342 1512 462 1 -3844.0000 -26684.3958 -
1344.35/1349.18 c 1349 1517 467 1 -3844.0000 -26684.3958 -
1349.53/1354.30 c 1354 1520 470 1 -3844.0000 -26684.3958 -
1355.11/1359.91 c 1360 1525 475 1 -3844.0000 -26684.3958 -
1362.19/1367.03 c 1367 1530 480 1 -3844.0000 -26684.3958 -
1368.87/1373.79 c 1374 1537 487 1 -3844.0000 -26684.3958 -
1375.65/1380.53 c 1381 1549 499 1 -3844.0000 -26684.3958 -
1382.52/1387.40 c 1387 1556 506 1 -3844.0000 -26564.3983 -
1387.90/1392.89 c 1393 1566 516 1 -3844.0000 -26327.2656 -
1393.38/1398.39 c 1398 1570 520 1 -3844.0000 -26327.2656 -
1398.47/1403.46 c 1403 1575 525 1 -3844.0000 -26140.8409 -
1404.85/1409.89 c 1410 1580 530 1 -3844.0000 -26140.8409 -
1412.63/1417.60 c 1418 1588 538 1 -3844.0000 -26140.8409 -
1421.80/1426.87 c 1427 1596 546 1 -3844.0000 -25966.5909 -
1427.78/1432.85 c 1433 1599 549 1 -3844.0000 -25966.5909 -
1433.86/1438.92 c 1439 1604 554 1 -3844.0000 -25966.5909 -
1439.94/1445.00 c 1445 1609 559 1 -3844.0000 -25966.5909 -
1445.02/1450.16 c 1450 1616 566 1 -3844.0000 -25787.3485 -
1454.09/1459.28 c 1459 1623 573 1 -3844.0000 -25771.1503 -
1459.87/1465.07 c 1465 1629 579 1 -3844.0000 -25771.1503 -
1465.05/1470.24 c 1470 1640 590 1 -3844.0000 -25614.8333 -
1470.53/1475.70 c 1476 1649 599 1 -3844.0000 -25614.8333 -
1476.42/1481.61 c 1482 1658 608 1 -3844.0000 -25614.8333 -
1482.60/1487.88 c 1488 1667 617 1 -3844.0000 -25614.8333 -
1487.98/1493.25 c 1493 1674 624 1 -3844.0000 -25608.1250 -
1493.56/1498.82 c 1499 1682 632 1 -3844.0000 -25533.6667 -
1499.54/1504.81 c 1505 1686 636 1 -3844.0000 -25533.6667 -
1505.72/1511.04 c 1511 1689 639 1 -3844.0000 -25533.6667 -
1511.20/1516.58 c 1517 1696 646 1 -3844.0000 -25500.3182 -
1517.87/1523.26 c 1523 1699 649 1 -3844.0000 -25500.3182 -
1525.06/1530.41 c 1530 1705 655 1 -3844.0000 -25279.2500 -
1531.44/1536.81 c 1537 1715 665 1 -3844.0000 -24985.9792 -
1536.52/1541.93 c 1542 1719 669 1 -3844.0000 -24985.9792 -
1543.99/1549.42 c 1549 1725 675 1 -3844.0000 -24985.9792 -
1549.87/1555.32 c 1555 1738 688 1 -3844.0000 -24960.3778 -
1555.15/1560.66 c 1561 1746 696 1 -3844.0000 -24895.5000 -
1560.64/1566.11 c 1566 1754 704 1 -3844.0000 -24652.4303 -
1566.71/1572.26 c 1572 1757 707 1 -3844.0000 -24652.4303 -
1572.20/1577.70 c 1578 1763 713 1 -3844.0000 -24399.5833 -
1577.98/1583.59 c 1584 1770 720 1 -3844.0000 -24399.5833 -
1585.66/1591.27 c 1591 1776 726 1 -3844.0000 -24387.6333 -
1590.84/1596.45 c 1596 1784 734 1 -3844.0000 -24387.6333 -
1596.22/1601.88 c 1602 1794 744 1 -3844.0000 -24235.5000 -
1601.40/1607.03 c 1607 1811 761 1 -3844.0000 -24155.3333 -
1607.29/1612.94 c 1613 1839 789 1 -3844.0000 -24142.6667 -
1613.17/1618.80 c 1619 1863 813 1 -3844.0000 -23987.9444 -
1618.35/1624.03 c 1624 1911 821 1 -3844.0000 -23816.1667 -
1624.22/1629.91 c 1630 1961 829 1 -3844.0000 -23762.5000 -
1630.71/1636.46 c 1636 2112 832 1 -3844.0000 -23751.0000 -
1638.38/1644.14 c 1644 2203 841 1 -3844.0000 -23687.4167 -
1645.46/1651.29 c 1651 2293 847 1 -3844.0000 -23611.7083 -
1651.64/1657.49 c 1658 2371 853 1 -3844.0000 -23582.6313 -
1656.82/1662.61 c 1663 2393 857 1 -3844.0000 -23502.0556 -
1664.10/1669.95 c 1670 2443 861 1 -3844.0000 -23416.6364 -
1671.28/1677.14 c 1677 2483 865 1 -3844.0000 -23336.9583 -
1678.75/1684.68 c 1685 2572 872 1 -3844.0000 -23158.7677 -
1684.82/1690.70 c 1691 2623 879 1 -3844.0000 -23003.3704 498.42%
1691.40/1697.33 c 1697 2741 901 1 -3844.0000 -22846.5219 494.34%
1697.09/1703.02 c 1703 2802 906 1 -3844.0000 -22834.8333 494.04%
1702.46/1708.45 c 1708 2833 909 1 -3844.0000 -22676.0833 489.91%
1708.15/1714.12 c 1714 2912 912 1 -3844.0000 -22624.2083 488.56%
1714.53/1720.59 c 1721 2933 915 1 -3844.0000 -22510.5417 485.60%
1720.11/1726.16 c 1726 2973 917 1 -3844.0000 -22473.9394 484.65%
1726.18/1732.21 c 1732 2993 921 1 -3844.0000 -22458.0000 484.24%
1732.27/1738.36 c 1738 3023 929 1 -3844.0000 -22449.8333 484.02%
1737.85/1743.92 c 1744 3074 930 1 -3844.0000 -22387.7045 482.41%
1743.63/1749.76 c 1750 3151 937 1 -3844.0000 -22273.7500 479.44%
1750.21/1756.32 c 1756 3163 943 1 -3844.0000 -22273.7500 479.44%
1755.49/1761.65 c 1762 3221 945 1 -3844.0000 -22243.3333 478.65%
1761.17/1767.38 c 1767 3272 964 1 -3844.0000 -22236.7500 478.48%
1766.76/1772.99 c 1773 3342 1002 1 -3844.0000 -22225.4444 478.19%
1772.94/1779.11 c 1779 3411 1009 1 -3844.0000 -22111.0909 475.21%
1779.32/1785.52 c 1786 3473 1017 1 -3844.0000 -22054.0000 473.73%
1785.30/1791.51 c 1792 3572 1020 1 -3844.0000 -22030.5000 473.11%
1790.58/1796.81 c 1797 3631 1023 1 -3844.0000 -22003.4091 472.41%
1795.56/1801.83 c 1802 3707 1031 1 -3844.0000 -22003.4091 472.41%
1801.14/1807.47 c 1807 3722 1034 1 -3844.0000 -21911.8333 470.03%
1807.12/1813.47 c 1813 3751 1039 1 -3844.0000 -21891.7348 469.50%
1813.50/1819.86 c 1820 3792 1042 1 -3844.0000 -21854.0000 468.52%
1818.58/1824.95 c 1825 3832 1052 1 -3844.0000 -21854.0000 468.52%
1825.35/1831.70 c 1832 3883 1055 1 -3844.0000 -21813.6667 467.47%
1830.64/1837.00 c 1837 3917 1061 1 -3844.0000 -21813.6667 467.47%
1837.41/1843.82 c 1844 3943 1063 1 -3844.0000 -21753.9722 465.92%
1842.70/1849.17 c 1849 4032 1068 1 -3844.0000 -21753.9722 465.92%
1849.28/1855.80 c 1856 4111 1075 1 -3844.0000 -21737.6667 465.50%
1854.76/1861.28 c 1861 4122 1080 1 -3844.0000 -21737.6667 465.50%
1859.94/1866.46 c 1866 4258 1086 1 -3844.0000 -21726.0000 465.19%
1866.22/1872.73 c 1873 4272 1092 1 -3844.0000 -21715.6667 464.92%
1871.31/1877.81 c 1878 4328 1104 1 -3844.0000 -21715.6667 464.92%
1877.99/1884.58 c 1885 4362 1126 1 -3844.0000 -21657.4583 463.41%
1883.67/1890.20 c 1890 4472 1130 1 -3844.0000 -21640.5833 462.97%
1888.75/1895.30 c 1895 4507 1135 1 -3844.0000 -21603.6667 462.01%
1893.94/1900.54 c 1901 4591 1135 1 -3844.0000 -21576.3750 461.30%
1901.21/1907.89 c 1908 4632 1140 1 -3844.0000 -21576.3750 461.30%
1906.80/1913.41 c 1913 4681 1147 1 -3844.0000 -21549.9815 460.61%
1911.98/1918.62 c 1919 4713 1155 1 -3844.0000 -21493.4167 459.14%
1917.76/1924.43 c 1924 4801 1159 1 -3844.0000 -21454.6566 458.13%
1926.03/1932.74 c 1933 4822 1162 1 -3844.0000 -21454.6566 458.13%
1931.01/1937.79 c 1938 4861 1171 1 -3844.0000 -21397.0000 456.63%
1938.58/1945.31 c 1945 4971 1175 1 -3844.0000 -21394.8403 456.58%
1943.86/1950.61 c 1951 5032 1180 1 -3844.0000 -21312.8333 454.44%
1950.65/1957.47 c 1957 5052 1186 1 -3844.0000 -21287.0833 453.77%
1956.03/1962.82 c 1963 5173 1191 1 -3844.0000 -21287.0833 453.77%
1961.12/1967.98 c 1968 5221 1201 1 -3844.0000 -21265.1667 453.20%
1967.00/1973.87 c 1974 5340 1204 1 -3844.0000 -21265.1667 453.20%
1974.28/1981.11 c 1981 5404 1210 1 -3844.0000 -21248.7500 452.78%
1979.85/1986.73 c 1987 5441 1217 1 -3844.0000 -21219.6667 452.02%
1985.83/1992.73 c 1993 5474 1224 1 -3844.0000 -21199.7778 451.50%
1991.02/1997.98 c 1998 5541 1225 1 -3844.0000 -21196.0581 451.41%
1997.70/2004.62 c 2005 5582 1232 1 -3844.0000 -21115.3333 449.31%
2004.18/2011.12 c 2011 5612 1236 1 -3844.0000 -21099.2500 448.89%
2009.26/2016.20 c 2016 5696 1252 1 -3844.0000 -21064.8333 447.99%
2014.94/2021.90 c 2022 5791 1257 1 -3844.0000 -21031.1667 447.12%
2020.62/2027.65 c 2028 5920 1256 1 -3844.0000 -21031.1667 447.12%
2028.10/2035.12 c 2035 6001 1259 1 -3844.0000 -20857.2222 442.59%
2033.28/2040.37 c 2040 6061 1267 1 -3844.0000 -20842.3333 442.20%
2038.87/2045.90 c 2046 6092 1272 1 -3844.0000 -20842.3333 442.20%
2044.55/2051.69 c 2052 6111 1277 1 -3844.0000 -20801.0000 441.13%
2049.94/2057.07 c 2057 6131 1283 1 -3844.0000 -20801.0000 441.13%
2056.02/2063.10 c 2063 6139 1291 1 -3844.0000 -20801.0000 441.13%
2063.39/2070.54 c 2071 6172 1300 1 -3844.0000 -20799.1667 441.08%
2072.26/2079.43 c 2079 6200 1306 1 -3844.0000 -20777.3333 440.51%
2077.34/2084.57 c 2085 6219 1317 1 -3844.0000 -20777.3333 440.51%
2082.82/2090.01 c 2090 6367 1317 1 -3844.0000 -20777.3333 440.51%
2089.20/2096.45 c 2096 6423 1327 1 -3844.0000 -20679.4116 437.97%
2094.49/2101.77 c 2102 6452 1328 1 -3844.0000 -20679.4116 437.97%
2101.56/2108.83 c 2109 6472 1340 1 -3844.0000 -20639.5758 436.93%
2109.54/2116.87 c 2117 6521 1345 1 -3844.0000 -20626.9167 436.60%
2117.21/2124.55 c 2125 6564 1348 1 -3844.0000 -20626.9167 436.60%
2123.80/2131.13 c 2131 6691 1359 1 -3844.0000 -20591.5000 435.68%
2131.57/2138.93 c 2139 6712 1362 1 -3844.0000 -20574.7500 435.24%
2137.35/2144.75 c 2145 6764 1368 1 -3844.0000 -20566.7500 435.04%
2144.43/2151.89 c 2152 6773 1371 1 -3844.0000 -20566.7500 435.04%
2153.20/2160.61 c 2161 6789 1387 1 -3844.0000 -20566.7500 435.04%
2158.98/2166.41 c 2166 6811 1397 1 -3844.0000 -20523.0833 433.90%
2165.66/2173.18 c 2173 6832 1402 1 -3844.0000 -20439.5000 431.72%
2173.23/2180.71 c 2181 6862 1408 1 -3844.0000 -20391.1944 430.47%
2180.01/2187.57 c 2188 6873 1415 1 -3844.0000 -20391.1944 430.47%
2185.60/2193.15 c 2193 6957 1431 1 -3844.0000 -20391.1944 430.47%
2191.77/2199.33 c 2199 7001 1433 1 -3844.0000 -20338.0000 429.08%
2198.05/2205.69 c 2206 7012 1440 1 -3844.0000 -20294.9181 427.96%
2203.63/2211.26 c 2211 7045 1445 1 -3844.0000 -20260.3333 427.06%
2209.13/2216.74 c 2217 7104 1446 1 -3844.0000 -20252.4646 426.86%
2216.60/2224.20 c 2224 7151 1449 1 -3844.0000 -20247.3333 426.73%
2221.58/2229.28 c 2229 7261 1457 1 -3844.0000 -20233.2500 426.36%
2227.96/2235.64 c 2236 7292 1460 1 -3844.0000 -20233.2500 426.36%
2235.24/2242.96 c 2243 7312 1466 1 -3844.0000 -20233.2500 426.36%
2240.52/2248.28 c 2248 7331 1475 1 -3844.0000 -20221.8333 426.06%
2248.20/2255.93 c 2256 7392 1480 1 -3844.0000 -20215.7500 425.90%
2253.29/2261.07 c 2261 7452 1484 1 -3844.0000 -20215.7500 425.90%
2258.56/2266.33 c 2266 7541 1487 1 -3844.0000 -20212.3333 425.82%
2263.65/2271.43 c 2271 7581 1495 1 -3844.0000 -20191.5000 425.27%
2270.42/2278.20 c 2278 7643 1511 1 -3844.0000 -20189.4167 425.22%
2277.81/2285.68 c 2286 7662 1522 1 -3844.0000 -20172.9764 424.79%
2283.09/2290.91 c 2291 7701 1525 1 -3844.0000 -20155.8333 424.35%
2288.57/2296.50 c 2296 7713 1529 1 -3844.0000 -20155.8333 424.35%
2295.25/2303.15 c 2303 7732 1538 1 -3844.0000 -20111.7727 423.20%
2300.83/2308.74 c 2309 7781 1535 1 -3844.0000 -20111.7727 423.20%
2307.91/2315.80 c 2316 7813 1535 1 -3844.0000 -20111.7727 423.20%
2313.89/2321.84 c 2322 7824 1542 1 -3844.0000 -20111.7727 423.20%
2319.37/2327.38 c 2327 7902 1562 1 -3844.0000 -20048.5833 421.56%
2325.75/2333.71 c 2334 8011 1567 1 -3844.0000 -20030.1111 421.07%
2333.43/2341.41 c 2341 8071 1561 1 -3844.0000 -19991.7500 420.08%
2342.39/2350.41 c 2350 8079 1569 1 -3844.0000 -19991.7500 420.08%
2347.78/2355.89 c 2356 8121 1581 1 -3844.0000 -19978.8333 419.74%
2353.36/2361.47 c 2361 8175 1595 1 -3844.0000 -19978.8333 419.74%
2359.05/2367.16 c 2367 8231 1591 1 -3844.0000 -19967.2500 419.44%
2364.82/2372.94 c 2373 8241 1599 1 -3844.0000 -19967.2500 419.44%
2370.71/2378.88 c 2379 8252 1604 1 -3844.0000 -19965.8333 419.40%
2376.49/2384.61 c 2385 8271 1615 1 -3844.0000 -19965.8333 419.40%
2385.46/2393.65 c 2394 8305 1625 1 -3844.0000 -19934.0833 418.58%
2392.74/2400.96 c 2401 8331 1635 1 -3844.0000 -19928.8056 418.44%
2401.21/2409.43 c 2409 8413 1639 1 -3844.0000 -19927.7500 418.41%
2408.08/2416.38 c 2416 8442 1668 1 -3844.0000 -19884.0000 417.27%
2413.57/2421.84 c 2422 8512 1712 1 -3844.0000 -19884.0000 417.27%
2419.45/2427.75 c 2428 8571 1713 1 -3844.0000 -19874.7333 417.03%
2425.53/2433.88 c 2434 8612 1712 1 -3844.0000 -19874.3095 417.02%
2432.91/2441.25 c 2441 8633 1717 1 -3844.0000 -19860.4167 416.66%
2438.89/2447.25 c 2447 8681 1723 1 -3844.0000 -19855.2500 416.53%
2445.27/2453.60 c 2454 8692 1726 1 -3844.0000 -19829.8990 415.87%
2450.75/2459.12 c 2459 8726 1724 1 -3844.0000 -19826.2500 415.77%
2456.14/2464.53 c 2465 8771 1713 1 -3844.0000 -19819.1667 415.59%
2462.31/2470.72 c 2471 8792 1712 1 -3844.0000 -19815.7917 415.50%
2470.19/2478.67 c 2479 8815 1711 1 -3844.0000 -19815.7917 415.50%
2476.87/2485.39 c 2485 8823 1719 1 -3844.0000 -19815.7917 415.50%
2483.55/2492.04 c 2492 8832 1728 1 -3844.0000 -19778.6000 414.53%
2491.12/2499.61 c 2500 8843 1739 1 -3844.0000 -19778.6000 414.53%
2497.40/2505.95 c 2506 8852 1748 1 -3844.0000 -19776.7500 414.48%
2502.89/2511.45 c 2511 8881 1755 1 -3844.0000 -19734.3333 413.38%
2509.76/2518.35 c 2518 8888 1758 1 -3844.0000 -19734.3333 413.38%
2515.45/2524.07 c 2524 8961 1789 1 -3844.0000 -19728.9912 413.24%
2521.32/2529.93 c 2530 8982 1794 1 -3844.0000 -19714.3951 412.86%
2526.61/2535.22 c 2535 9064 1798 1 -3844.0000 -19698.1667 412.44%
2531.99/2540.63 c 2541 9181 1791 1 -3844.0000 -19667.3333 411.64%
2537.97/2546.61 c 2547 9311 1791 1 -3844.0000 -19650.0833 411.19%
2544.85/2553.56 c 2554 9332 1796 1 -3844.0000 -19634.0712 410.77%
2550.03/2558.73 c 2559 9361 1803 1 -3844.0000 -19626.7778 410.58%
2557.61/2566.30 c 2566 9374 1808 1 -3844.0000 -19626.7778 410.58%
2565.79/2574.50 c 2575 9437 1819 1 -3844.0000 -19623.1667 410.49%
2571.97/2580.79 c 2581 9446 1828 1 -3844.0000 -19612.0182 410.20%
2577.64/2586.47 c 2586 9488 1870 1 -3844.0000 -19612.0182 410.20%
2583.73/2592.58 c 2593 9520 1902 1 -3844.0000 -19612.0182 410.20%
2588.92/2597.75 c 2598 9534 1916 1 -3844.0000 -19611.0000 410.17%
2594.20/2603.08 c 2603 9585 1967 1 -3844.0000 -19611.0000 410.17%
2599.88/2608.77 c 2609 9633 2015 1 -3844.0000 -19611.0000 410.17%
2606.35/2615.23 c 2615 9672 2054 1 -3844.0000 -19611.0000 410.17%
2612.03/2620.95 c 2621 9702 2084 1 -3844.0000 -19607.5556 410.08%
2617.41/2626.31 c 2626 9749 2131 1 -3844.0000 -19607.5556 410.08%
2622.99/2631.98 c 2632 9808 2190 1 -3844.0000 -19607.5556 410.08%
2629.06/2638.01 c 2638 9861 2243 1 -3844.0000 -19583.7569 409.46%
2634.64/2643.60 c 2644 9869 2251 1 -3844.0000 -19583.7569 409.46%
2640.62/2649.67 c 2650 9902 2284 1 -3844.0000 -19583.0038 409.44%
2648.10/2657.13 c 2657 9936 2318 1 -3844.0000 -19576.1667 409.27%
2653.77/2662.81 c 2663 9957 2339 1 -3844.0000 -19576.1667 409.27%
2659.06/2668.15 c 2668 9987 2369 1 -3844.0000 -19539.0000 408.30%
2664.34/2673.47 c 2673 10017 2399 1 -3844.0000 -19511.5556 407.58%
2669.71/2678.82 c 2679 10073 2455 1 -3844.0000 -19511.5556 407.58%
2677.20/2686.33 c 2686 10096 2478 1 -3844.0000 -19511.5556 407.58%
2683.67/2692.88 c 2693 10132 2514 1 -3844.0000 -19507.2778 407.47%
2688.96/2698.15 c 2698 10183 2565 1 -3844.0000 -19507.2778 407.47%
2694.13/2703.35 c 2703 10221 2603 1 -3844.0000 -19494.4667 407.14%
2700.02/2709.23 c 2709 10262 2644 1 -3844.0000 -19490.0521 407.03%
2705.80/2715.00 c 2715 10297 2679 1 -3844.0000 -19490.0521 407.03%
2710.89/2720.15 c 2720 10319 2701 1 -3844.0000 -19481.1667 406.79%
2716.56/2725.84 c 2726 10368 2750 1 -3844.0000 -19481.1667 406.79%
2721.85/2731.16 c 2731 10416 2798 1 -3844.0000 -19481.1667 406.79%
2727.53/2736.86 c 2737 10461 2843 1 -3844.0000 -19465.2778 406.38%
2733.01/2742.34 c 2742 10481 2863 1 -3844.0000 -19450.2273 405.99%
2738.99/2748.32 c 2748 10501 2883 1 -3844.0000 -19450.2273 405.99%
2744.68/2754.00 c 2754 10527 2909 1 -3844.0000 -19415.7516 405.09%
2749.86/2759.27 c 2759 10584 2966 1 -3844.0000 -19415.7516 405.09%
2755.34/2764.70 c 2765 10636 3018 1 -3844.0000 -19415.7516 405.09%
2763.31/2772.79 c 2773 10681 3063 1 -3844.0000 -19415.7516 405.09%
2771.78/2781.26 c 2781 10731 3113 1 -3844.0000 -19397.9764 404.63%
2777.16/2786.64 c 2787 10774 3156 1 -3844.0000 -19397.9764 404.63%
2783.05/2792.51 c 2793 10812 3194 1 -3844.0000 -19393.8333 404.52%
2788.33/2797.88 c 2798 10863 3245 1 -3844.0000 -19393.8333 404.52%
2794.41/2803.98 c 2804 10901 3283 1 -3844.0000 -19384.3333 404.28%
2800.40/2809.93 c 2810 10922 3304 1 -3844.0000 -19364.3750 403.76%
2807.07/2816.61 c 2817 10972 3354 1 -3844.0000 -19364.3750 403.76%
2813.16/2822.73 c 2823 11012 3394 1 -3844.0000 -19334.5000 402.98%
2818.54/2828.16 c 2828 11070 3452 1 -3844.0000 -19334.5000 402.98%
2823.81/2833.45 c 2833 11146 3528 1 -3844.0000 -19334.5000 402.98%
2831.19/2840.85 c 2841 11201 3583 1 -3844.0000 -19334.5000 402.98%
2836.97/2846.66 c 2847 11239 3621 1 -3844.0000 -19325.7500 402.75%
2843.95/2853.63 c 2854 11291 3673 1 -3844.0000 -19229.0000 400.23%
2849.34/2859.07 c 2859 11337 3719 1 -3844.0000 -19229.0000 400.23%
2854.62/2864.30 c 2864 11369 3751 1 -3844.0000 -19228.2500 400.21%
2859.80/2869.56 c 2870 11403 3785 1 -3844.0000 -19157.9722 398.39%
2865.18/2874.93 c 2875 11460 3842 1 -3844.0000 -19157.9722 398.39%
2872.66/2882.47 c 2882 11481 3863 1 -3844.0000 -19097.6111 396.82%
2878.24/2888.06 c 2888 11520 3902 1 -3844.0000 -19069.8333 396.09%
2883.33/2893.18 c 2893 11552 3934 1 -3844.0000 -19069.8333 396.09%
2888.61/2898.40 c 2898 11579 3961 1 -3844.0000 -19058.7500 395.81%
2894.99/2904.86 c 2905 11621 4003 1 -3844.0000 -18969.3889 393.48%
2900.27/2910.14 c 2910 11676 4058 1 -3844.0000 -18969.3889 393.48%
2905.36/2915.26 c 2915 11713 4095 1 -3844.0000 -18960.1468 393.24%
2911.04/2920.92 c 2921 11741 4123 1 -3844.0000 -18957.5833 393.17%
2916.82/2926.76 c 2927 11769 4151 1 -3844.0000 -18950.6667 392.99%
2922.90/2932.85 c 2933 11802 4184 1 -3844.0000 -18945.9167 392.87%
2928.48/2938.47 c 2938 11858 4240 1 -3844.0000 -18945.9167 392.87%
2935.36/2945.30 c 2945 11911 4293 1 -3844.0000 -18909.7222 391.93%
2940.93/2950.91 c 2951 11958 4340 1 -3844.0000 -18909.7222 391.93%
2946.92/2956.94 c 2957 12001 4383 1 -3844.0000 -18893.0591 391.49%
2952.11/2962.13 c 2962 12046 4428 1 -3844.0000 -18890.6111 391.43%
2957.39/2967.40 c 2967 12106 4488 1 -3844.0000 -18890.6111 391.43%
2963.26/2973.36 c 2973 12158 4540 1 -3844.0000 -18890.6111 391.43%
2969.05/2979.16 c 2979 12195 4577 1 -3844.0000 -18834.1111 389.96%
2974.32/2984.43 c 2984 12229 4611 1 -3844.0000 -18834.1111 389.96%
2979.91/2990.02 c 2990 12276 4658 1 -3844.0000 -18824.1389 389.70%
2986.28/2996.46 c 2996 12301 4683 1 -3844.0000 -18756.0000 387.93%
2991.88/3002.03 c 3002 12329 4711 1 -3844.0000 -18717.5833 386.93%
2997.75/3007.98 c 3008 12365 4747 1 -3844.0000 -18686.0000 386.11%
3003.43/3013.62 c 3014 12411 4793 1 -3844.0000 -18686.0000 386.11%
3008.92/3019.11 c 3019 12442 4824 1 -3844.0000 -18684.9167 386.08%
3014.20/3024.49 c 3024 12479 4861 1 -3844.0000 -18684.9167 386.08%
3019.37/3029.68 c 3030 12508 4890 1 -3844.0000 -18683.8611 386.05%
3024.95/3035.27 c 3035 12543 4925 1 -3844.0000 -18683.8611 386.05%
3030.64/3040.97 c 3041 12571 4953 1 -3844.0000 -18665.3704 385.57%
3035.93/3046.29 c 3046 12601 4983 1 -3844.0000 -18665.3704 385.57%
3041.71/3052.09 c 3052 12651 5033 1 -3844.0000 -18645.5833 385.06%
3046.98/3057.36 c 3057 12696 5078 1 -3844.0000 -18645.5833 385.06%
3053.87/3064.22 c 3064 12741 5123 1 -3844.0000 -18633.5000 384.74%
3059.35/3069.72 c 3070 12793 5175 1 -3844.0000 -18633.5000 384.74%
3064.84/3075.27 c 3075 12832 5214 1 -3844.0000 -18585.8333 383.50%
3069.92/3080.36 c 3080 12861 5243 1 -3844.0000 -18527.1667 381.98%
3075.40/3085.82 c 3086 12903 5285 1 -3844.0000 -18527.1667 381.98%
3081.18/3091.67 c 3092 12941 5323 1 -3844.0000 -18506.5000 381.44%
3087.85/3098.31 c 3098 12981 5363 1 -3844.0000 -18480.5278 380.76%
3094.74/3105.23 c 3105 13011 5393 1 -3844.0000 -18480.5278 380.76%
3101.62/3112.19 c 3112 13061 5443 1 -3844.0000 -18478.3981 380.71%
3106.89/3117.45 c 3117 13083 5465 1 -3844.0000 -18474.6111 380.61%
3115.08/3125.65 c 3126 13121 5503 1 -3844.0000 -18468.9444 380.46%
3120.26/3130.86 c 3131 13150 5532 1 -3844.0000 -18438.0000 379.66%
3128.53/3139.15 c 3139 13191 5573 1 -3844.0000 -18425.5417 379.33%
3133.91/3144.54 c 3145 13219 5601 1 -3844.0000 -18417.3333 379.12%
3139.40/3150.02 c 3150 13247 5629 1 -3844.0000 -18417.3333 379.12%
3146.38/3157.04 c 3157 13271 5653 1 -3844.0000 -18407.5000 378.86%
3151.95/3162.68 c 3163 13300 5682 1 -3844.0000 -18404.2500 378.78%
3157.84/3168.57 c 3169 13331 5713 1 -3844.0000 -18396.1667 378.57%
3163.52/3174.28 c 3174 13352 5734 1 -3844.0000 -18381.6667 378.19%
3168.80/3179.59 c 3180 13380 5762 1 -3844.0000 -18375.7778 378.04%
3174.39/3185.19 c 3185 13411 5793 1 -3844.0000 -18339.3333 377.09%
3180.77/3191.55 c 3192 13432 5814 1 -3844.0000 -18334.3333 376.96%
3186.25/3197.04 c 3197 13488 5870 1 -3844.0000 -18334.3333 376.96%
3191.73/3202.52 c 3203 13548 5930 1 -3844.0000 -18334.3333 376.96%
3196.91/3207.76 c 3208 13595 5977 1 -3844.0000 -18334.3333 376.96%
3202.59/3213.44 c 3213 13644 6026 1 -3844.0000 -18334.3333 376.96%
3207.97/3218.88 c 3219 13707 6089 1 -3844.0000 -18334.3333 376.96%
3213.36/3224.25 c 3224 13784 6154 1 -3844.0000 -18334.3333 376.96%
3219.24/3230.18 c 3230 13832 6194 1 -3844.0000 -18331.0000 376.87%
3224.82/3235.74 c 3236 13857 6219 1 -3844.0000 -18287.1111 375.73%
3229.81/3240.78 c 3241 13881 6243 1 -3844.0000 -18272.2500 375.34%
3235.69/3246.69 c 3247 13926 6288 1 -3844.0000 -18272.2500 375.34%
3241.26/3252.24 c 3252 13978 6340 1 -3844.0000 -18272.2500 375.34%
3246.75/3257.76 c 3258 14031 6393 1 -3844.0000 -18263.6937 375.12%
3252.23/3263.26 c 3263 14062 6424 1 -3844.0000 -18257.2500 374.95%
3257.81/3268.86 c 3269 14094 6456 1 -3844.0000 -18221.6111 374.03%
3263.30/3274.39 c 3274 14150 6512 1 -3844.0000 -18221.6111 374.03%
3268.48/3279.59 c 3280 14208 6570 1 -3844.0000 -18221.6111 374.03%
3274.07/3285.15 c 3285 14270 6632 1 -3844.0000 -18221.6111 374.03%
3279.55/3290.60 c 3291 14323 6683 1 -3844.0000 -18221.6111 374.03%
3287.23/3298.31 c 3298 14371 6723 1 -3844.0000 -18219.1667 373.96%
3292.21/3303.37 c 3303 14399 6751 1 -3844.0000 -18219.1667 373.96%
3297.50/3308.67 c 3309 14427 6779 1 -3844.0000 -18210.2500 373.73%
3303.38/3314.55 c 3315 14451 6803 1 -3844.0000 -18159.4167 372.41%
3308.66/3319.89 c 3320 14472 6824 1 -3844.0000 -18130.4444 371.66%
3313.96/3325.12 c 3325 14508 6852 1 -3844.0000 -18130.4444 371.66%
3319.04/3330.26 c 3330 14539 6883 1 -3844.0000 -18107.5283 371.06%
3324.92/3336.16 c 3336 14582 6926 1 -3844.0000 -18106.1111 371.02%
3330.81/3342.04 c 3342 14633 6977 1 -3844.0000 -18094.9731 370.73%
3336.49/3347.78 c 3348 14682 7026 1 -3844.0000 -18094.9731 370.73%
3341.87/3353.11 c 3353 14778 7122 1 -3844.0000 -18094.9731 370.73%
3349.94/3361.28 c 3361 14861 7205 1 -3844.0000 -18087.5000 370.54%
3356.42/3367.77 c 3368 14901 7245 1 -3844.0000 -18084.3333 370.46%
3361.51/3372.82 c 3373 14932 7276 1 -3844.0000 -18070.9167 370.11%
3367.90/3379.22 c 3379 14961 7305 1 -3844.0000 -18063.5000 369.91%
3375.87/3387.20 c 3387 15001 7345 1 -3844.0000 -18045.8333 369.45%
3381.45/3392.89 c 3393 15058 7402 1 -3844.0000 -18042.8333 369.38%
3386.74/3398.11 c 3398 15104 7448 1 -3844.0000 -18041.7500 369.35%
3393.11/3404.57 c 3405 15161 7505 1 -3844.0000 -18041.4979 369.34%
3398.71/3410.14 c 3410 15195 7539 1 -3844.0000 -18018.5000 368.74%
3404.48/3415.98 c 3416 15291 7597 1 -3844.0000 -18011.1667 368.55%
3411.06/3422.51 c 3423 15332 7628 1 -3844.0000 -17993.3333 368.09%
3417.14/3428.66 c 3429 15391 7657 1 -3844.0000 -17990.9167 368.03%
3422.72/3434.22 c 3434 15424 7676 1 -3844.0000 -17971.7500 367.53%
3429.81/3441.32 c 3441 15482 7702 1 -3844.0000 -17944.9302 366.83%
3435.39/3446.93 c 3447 15554 7766 1 -3844.0000 -17928.1667 366.39%
3440.67/3452.25 c 3452 15626 7830 1 -3844.0000 -17928.1667 366.39%
3448.35/3459.94 c 3460 15671 7875 1 -3844.0000 -17907.2500 365.85%
3453.73/3465.37 c 3465 15702 7906 1 -3844.0000 -17880.3333 365.15%
3459.91/3471.54 c 3472 15731 7935 1 -3844.0000 -17843.5833 364.19%
3465.30/3476.92 c 3477 15758 7962 1 -3844.0000 -17841.5833 364.14%
3472.47/3484.10 c 3484 15791 7995 1 -3844.0000 -17821.2652 363.61%
3479.66/3491.36 c 3491 15831 8035 1 -3844.0000 -17801.0406 363.09%
3485.44/3497.17 c 3497 15868 8052 1 -3844.0000 -17792.6111 362.87%
3491.82/3503.58 c 3504 15921 8105 1 -3844.0000 -17792.6111 362.87%
3499.69/3511.41 c 3511 15951 8135 1 -3844.0000 -17780.8333 362.56%
3505.18/3516.99 c 3517 15996 8180 1 -3844.0000 -17779.1667 362.52%
3510.45/3522.24 c 3522 16077 8261 1 -3844.0000 -17779.1667 362.52%
3516.24/3528.04 c 3528 16173 8299 1 -3844.0000 -17778.5000 362.50%
3522.02/3533.80 c 3534 16260 8338 1 -3844.0000 -17777.6667 362.48%
3528.50/3540.32 c 3540 16301 8367 1 -3844.0000 -17773.6667 362.37%
3534.18/3546.09 c 3546 16341 8407 1 -3844.0000 -17742.5926 361.57%
3539.76/3551.61 c 3552 16361 8427 1 -3844.0000 -17742.5926 361.57%
3545.35/3557.21 c 3557 16392 8452 1 -3844.0000 -17727.6111 361.18%
3551.63/3563.57 c 3564 16483 8505 1 -3844.0000 -17703.3333 360.54%
3558.61/3570.56 c 3571 16621 8565 1 -3844.0000 -17695.6111 360.34%
3564.89/3576.83 c 3577 16671 8571 1 -3844.0000 -17693.6389 360.29%
3570.57/3582.54 c 3583 16761 8593 1 -3844.0000 -17684.4792 360.05%
3575.86/3587.84 c 3588 16819 8617 1 -3844.0000 -17674.5000 359.79%
3581.84/3593.85 c 3594 16841 8621 1 -3844.0000 -17651.7750 359.20%
3586.23/3598.27 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.23/3598.27 c Total Time : 3598.28
3586.23/3598.27 c solving : 3598.28
3586.23/3598.27 c presolving : 0.53 (included in solving)
3586.23/3598.27 c B&B Tree :
3586.23/3598.27 c nodes (total) : 1
3586.23/3598.27 c Solution :
3586.23/3598.27 c Solutions found : 9
3586.23/3598.27 c Primal Bound : -3.84400000000000e+03
3586.23/3598.27 c Dual Bound : -1.76517750000000e+04
3586.23/3598.27 c Gap : 359.20330 %
3586.23/3598.27 c * Warning: final gap: 3.59203e+00 is greater than SCIPepsilon: 1.00000e-09
3586.23/3598.29 o -3844
3586.23/3598.29 s SATISFIABLE
3586.23/3598.29 v -x35 -x34 x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 x23 -x22 -x21 x20 x19 x18 x17 -x16 x15 -x14 x13 -x12 -x11 -x10 -x9 -x8
3586.23/3598.29 v x7 x6 -x5 -x4 -x3 x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62426 MiB free)
memory of node 1: 64473 MiB (62498 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464815-1722386135/watcher-4464815-1722386135 -o /tmp/evaluation-result-4464815-1722386135/solver-4464815-1722386135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28641 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464815-1722386135.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=33300, runsolver pid=33297
[startup+0.100109 s]*
/proc/loadavg: 4.24 4.15 4.10 5/263 33301
/proc/meminfo: memFree=127898340/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=46980 memory=35648 CPUtime=0.09 cores=0,2
/proc/33300/stat : 33300 (fscip) R 33297 33300 28631 0 -1 4194304 6578 0 0 0 9 0 0 0 20 0 1 0 5218005 48107520 8912 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 11745 8912 2614 3035 0 8141 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46980 KiB
Current children cumulated memory: 35648 KiB
[startup+0.205739 s]*
/proc/loadavg: 4.24 4.15 4.10 5/263 33301
/proc/meminfo: memFree=127898004/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=47364 memory=35912 CPUtime=0.19 cores=0,2
/proc/33300/stat : 33300 (fscip) R 33297 33300 28631 0 -1 4194304 6650 0 0 0 19 0 0 0 20 0 1 0 5218005 48500736 8978 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 11841 8978 2614 3035 0 8237 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47364 KiB
Current children cumulated memory: 35912 KiB
[startup+0.305545 s]*
/proc/loadavg: 4.24 4.15 4.10 6/263 33301
/proc/meminfo: memFree=127897556/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=48064 memory=36440 CPUtime=0.29 cores=0,2
/proc/33300/stat : 33300 (fscip) R 33297 33300 28631 0 -1 4194304 6815 0 0 0 29 0 0 0 20 0 1 0 5218005 49217536 9110 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 12016 9110 2614 3035 0 8412 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48064 KiB
Current children cumulated memory: 36440 KiB
[startup+0.701088 s]
/proc/loadavg: 4.22 4.15 4.10 6/263 33301
/proc/meminfo: memFree=127897080/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=177336 memory=91704 CPUtime=0.69 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 22012 0 0 0 66 3 0 0 20 0 3 0 5218005 181592064 22926 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 44334 22926 2710 3035 0 31147 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 177336 KiB
Current children cumulated memory: 91704 KiB
[startup+1.50109 s]
/proc/loadavg: 4.22 4.15 4.10 5/265 33305
/proc/meminfo: memFree=127841016/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=177336 memory=124380 CPUtime=1.48 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 30380 0 0 0 144 4 0 0 20 0 3 0 5218005 181592064 31095 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 44334 31095 2854 3035 0 40098 0
[pid=33300/tid=33304] ppid=33297 vsize=177336 memory=4164 CPUtime=0.92 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 14690 0 0 0 90 2 0 0 20 0 3 0 5218060 181592064 31095 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=177336 memory=2248 CPUtime=0 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5218062 181592064 31095 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 177336 KiB
Current children cumulated memory: 124380 KiB
[startup+3.10609 s]
/proc/loadavg: 4.22 4.15 4.10 5/265 33305
/proc/meminfo: memFree=127760428/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=242872 memory=172732 CPUtime=3.06 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 52969 0 0 0 300 6 0 0 20 0 3 0 5218005 248700928 43183 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 60718 43183 2950 3035 0 52591 0
[pid=33300/tid=33304] ppid=33297 vsize=242872 memory=2248 CPUtime=2.5 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 37272 0 0 0 246 4 0 0 20 0 3 0 5218060 248700928 43183 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=242872 memory=1812 CPUtime=0 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5218062 248700928 43183 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 242872 KiB
Current children cumulated memory: 172732 KiB
[startup+6.30109 s]
/proc/loadavg: 4.20 4.14 4.10 5/265 33305
/proc/meminfo: memFree=127743144/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=242872 memory=174036 CPUtime=6.23 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 75323 0 0 0 615 8 0 0 20 0 3 0 5218005 248700928 43509 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 60718 43509 2950 3035 0 52779 0
[pid=33300/tid=33304] ppid=33297 vsize=242872 memory=0 CPUtime=5.68 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 59624 0 0 0 562 6 0 0 20 0 3 0 5218060 248700928 43509 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=242872 memory=2314990821822775896 CPUtime=0 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5218062 248700928 43509 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 242872 KiB
Current children cumulated memory: 174036 KiB
[startup+12.7011 s]
/proc/loadavg: 4.18 4.14 4.10 5/265 33307
/proc/meminfo: memFree=127704728/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=308408 memory=200924 CPUtime=12.57 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 100659 0 0 0 1247 10 0 0 20 0 3 0 5218005 315809792 50231 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 77102 50231 2998 3035 0 60672 0
[pid=33300/tid=33304] ppid=33297 vsize=308408 memory=172732 CPUtime=12.02 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 84207 0 0 0 1194 8 0 0 20 0 3 0 5218060 315809792 50231 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=308408 memory=200848 CPUtime=0 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 5218062 315809792 50231 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 308408 KiB
Current children cumulated memory: 200924 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.09 5/263 33308
/proc/meminfo: memFree=127688056/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=308408 memory=200936 CPUtime=25.31 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 125611 0 0 0 2519 12 0 0 20 0 3 0 5218005 315809792 50234 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 77102 50234 2998 3035 0 60672 0
[pid=33300/tid=33304] ppid=33297 vsize=308408 memory=11592 CPUtime=24.74 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 109060 0 0 0 2465 9 0 0 20 0 3 0 5218060 315809792 50234 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=308408 memory=200936 CPUtime=0 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5218062 315809792 50234 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 308408 KiB
Current children cumulated memory: 200936 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.14 4.09 5/263 33314
/proc/meminfo: memFree=127646988/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=308408 memory=203800 CPUtime=50.82 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 173680 0 0 0 5067 15 0 0 20 0 3 0 5218005 315809792 50950 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 77102 50950 2998 3035 0 61322 0
[pid=33300/tid=33304] ppid=33297 vsize=308408 memory=201492 CPUtime=50.26 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 157017 0 0 0 5013 13 0 0 20 0 3 0 5218060 315809792 50950 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=308408 memory=203148 CPUtime=0 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5218062 315809792 50950 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 308408 KiB
Current children cumulated memory: 203800 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/263 33324
/proc/meminfo: memFree=127565020/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=315148 memory=215052 CPUtime=101.82 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 236215 0 0 0 10162 20 0 0 20 0 3 0 5218005 322711552 53763 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 78787 53763 2998 3035 0 65843 0
[pid=33300/tid=33304] ppid=33297 vsize=315148 memory=213844 CPUtime=101.25 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 219425 0 0 0 10108 17 0 0 20 0 3 0 5218060 322711552 53763 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=315148 memory=11592 CPUtime=0 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 5218062 322711552 53763 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 315148 KiB
Current children cumulated memory: 215052 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 33336
/proc/meminfo: memFree=127439808/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=408936 memory=227908 CPUtime=161.59 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 262644 0 0 0 16136 23 0 0 20 0 3 0 5218005 418750464 56977 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 102234 56977 2998 3035 0 92576 0
[pid=33300/tid=33304] ppid=33297 vsize=408936 memory=219760 CPUtime=161.01 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 245105 0 0 0 16081 20 0 0 20 0 3 0 5218060 418750464 56977 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=408936 memory=220180 CPUtime=0 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 5218062 418750464 56977 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 408936 KiB
Current children cumulated memory: 227908 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 33346
/proc/meminfo: memFree=127337000/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=484356 memory=243980 CPUtime=221.35 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 286513 0 0 0 22109 26 0 0 20 0 3 0 5218005 495980544 60995 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 121089 60995 2998 3035 0 115396 0
[pid=33300/tid=33304] ppid=33297 vsize=484356 memory=233408 CPUtime=220.77 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 268692 0 0 0 22054 23 0 0 20 0 3 0 5218060 495980544 60995 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=484356 memory=242116 CPUtime=0 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 5218062 495980544 60995 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 484356 KiB
Current children cumulated memory: 243980 KiB
################
# More data... #
################
Current children cumulated memory: 2409880 KiB
[startup+3462.3 s]
/proc/loadavg: 2.19 3.18 3.77 3/251 35248
/proc/meminfo: memFree=126442328/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=3190168 memory=2437388 CPUtime=3450.73 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 1284329 0 0 0 344910 163 0 0 20 0 3 0 5218005 3266732032 609347 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 797542 609347 3014 3035 0 793108 0
[pid=33300/tid=33304] ppid=33297 vsize=3190168 memory=5488 CPUtime=3450.01 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 1264908 0 0 0 344846 155 0 0 20 0 3 0 5218060 3266732032 609347 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=3190168 memory=2405492 CPUtime=0.03 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 134 0 0 0 1 2 0 0 20 0 3 0 5218062 3266732032 609347 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 3450.73 s
Current children cumulated vsize: 3190168 KiB
Current children cumulated memory: 2437388 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 2.97 3.66 3/250 35259
/proc/meminfo: memFree=126410192/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=3276560 memory=2465992 CPUtime=3510.55 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 1316228 0 0 0 350886 169 0 0 20 0 3 0 5218005 3355197440 616498 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 819140 616498 3014 3035 0 802201 0
[pid=33300/tid=33304] ppid=33297 vsize=3276560 memory=12936 CPUtime=3509.83 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 1296783 0 0 0 350822 161 0 0 20 0 3 0 5218060 3355197440 616498 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=3276560 memory=2437388 CPUtime=0.03 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 136 0 0 0 1 2 0 0 20 0 3 0 5218062 3355197440 616498 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 3510.55 s
Current children cumulated vsize: 3276560 KiB
Current children cumulated memory: 2465992 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 2.83 3.56 3/249 35270
/proc/meminfo: memFree=126355632/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=3298848 memory=2519940 CPUtime=3570.37 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 1339309 0 0 0 356864 173 0 0 20 0 3 0 5218005 3378020352 629985 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 824712 629985 3014 3035 0 811817 0
[pid=33300/tid=33304] ppid=33297 vsize=3298848 memory=2500464 CPUtime=3569.65 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 1319857 0 0 0 356800 165 0 0 20 0 3 0 5218060 3378020352 629985 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=3298848 memory=11592 CPUtime=0.03 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 5218062 3378020352 629985 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 3570.37 s
Current children cumulated vsize: 3298848 KiB
Current children cumulated memory: 2519940 KiB
[startup+3598.31 s]
# the end of solver process 33300 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.53 s, system=1.81308 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.14 2.83 3.56 3/249 35270
/proc/meminfo: memFree=126355632/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=3298848 memory=2520196 CPUtime=3572.07 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 1340529 0 0 0 357034 173 0 0 20 0 3 0 5218005 3378020352 630049 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 824712 630049 3014 3035 0 811817 0
[pid=33300/tid=33304] ppid=33297 vsize=3298848 memory=-7523381394107622523 CPUtime=3571.35 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 1321054 0 0 0 356970 165 0 0 20 0 3 0 5218060 3378020352 630049 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=3298848 memory=1856 CPUtime=0.03 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 5218062 3378020352 630049 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 3298848 KiB
Current children cumulated memory: 2520196 KiB
[startup+3590.4 s]
/proc/loadavg: 2.13 2.81 3.55 3/249 35270
/proc/meminfo: memFree=126338156/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=3300324 memory=2537672 CPUtime=3578.45 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 1341870 0 0 0 357671 174 0 0 20 0 3 0 5218005 3379531776 634418 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 825081 634418 3014 3035 0 812491 0
[pid=33300/tid=33304] ppid=33297 vsize=3300324 memory=2520340 CPUtime=3577.72 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 1322394 0 0 0 357607 165 0 0 20 0 3 0 5218060 3379531776 634418 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=3300324 memory=2537648 CPUtime=0.03 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 5218062 3379531776 634418 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 3578.45 s
Current children cumulated vsize: 3300324 KiB
Current children cumulated memory: 2537672 KiB
[startup+3593.6 s]
/proc/loadavg: 2.12 2.80 3.54 3/249 35272
/proc/meminfo: memFree=126337876/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=3301796 memory=2537852 CPUtime=3581.64 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 1342117 0 0 0 357990 174 0 0 20 0 3 0 5218005 3381039104 634463 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 825449 634463 3014 3035 0 812860 0
[pid=33300/tid=33304] ppid=33297 vsize=3301796 memory=2537676 CPUtime=3580.91 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 1322641 0 0 0 357926 165 0 0 20 0 3 0 5218060 3381039104 634463 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=3301796 memory=2537676 CPUtime=0.03 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 5218062 3381039104 634463 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 3581.64 s
Current children cumulated vsize: 3301796 KiB
Current children cumulated memory: 2537852 KiB
[startup+3596.8 s]
/proc/loadavg: 2.12 2.80 3.54 3/249 35272
/proc/meminfo: memFree=126337820/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=3304716 memory=2538188 CPUtime=3584.83 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 1343175 0 0 0 358309 174 0 0 20 0 3 0 5218005 3384029184 634547 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 826179 634547 3014 3035 0 813755 0
[pid=33300/tid=33304] ppid=33297 vsize=3304716 memory=2520356 CPUtime=3584.11 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 1323699 0 0 0 358245 166 0 0 20 0 3 0 5218060 3384029184 634547 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=3304716 memory=11592 CPUtime=0.03 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 5218062 3384029184 634547 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 3584.83 s
Current children cumulated vsize: 3304716 KiB
Current children cumulated memory: 2538188 KiB
[startup+3597.6 s]
/proc/loadavg: 2.11 2.78 3.54 3/248 35272
/proc/meminfo: memFree=126337540/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=3306180 memory=2538188 CPUtime=3585.63 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 1343229 0 0 0 358389 174 0 0 20 0 3 0 5218005 3385528320 634547 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 826545 634547 3014 3035 0 814121 0
[pid=33300/tid=33304] ppid=33297 vsize=3306180 memory=12936 CPUtime=3584.9 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 1323753 0 0 0 358324 166 0 0 20 0 3 0 5218060 3385528320 634547 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=3306180 memory=12520 CPUtime=0.03 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 5218062 3385528320 634547 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 3585.63 s
Current children cumulated vsize: 3306180 KiB
Current children cumulated memory: 2538188 KiB
[startup+3598 s]*
/proc/loadavg: 2.11 2.78 3.54 3/248 35272
/proc/meminfo: memFree=126337540/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=3306180 memory=2538252 CPUtime=3586.03 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 1343253 0 0 0 358429 174 0 0 20 0 3 0 5218005 3385528320 634563 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 826545 634563 3014 3035 0 814163 0
[pid=33300/tid=33304] ppid=33297 vsize=3306180 memory=-7523381394107622523 CPUtime=3585.31 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 1323777 0 0 0 358365 166 0 0 20 0 3 0 5218060 3385528320 634563 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=3306180 memory=7294779845770255892 CPUtime=0.03 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 5218062 3385528320 634563 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 3306180 KiB
Current children cumulated memory: 2538252 KiB
[startup+3598.2 s]
/proc/loadavg: 2.11 2.78 3.54 3/248 35272
/proc/meminfo: memFree=126337540/131524600 swapFree=131071996/131071996
[pid=33300] ppid=33297 vsize=3306180 memory=2538316 CPUtime=3586.23 cores=0,2
/proc/33300/stat : 33300 (fscip) S 33297 33300 28631 0 -1 1077936128 1357968 0 0 0 358448 175 0 0 20 0 3 0 5218005 3385528320 634579 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
/proc/33300/statm: 826545 634579 3014 3035 0 814163 0
[pid=33300/tid=33304] ppid=33297 vsize=3306180 memory=2538188 CPUtime=3585.5 cores=0,2
/proc/33300/task/33304/stat : 33304 (fscip) R 33297 33300 28631 0 -1 4194368 1338490 0 0 0 358383 167 0 0 20 0 3 0 5218060 3385528320 634579 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
[pid=33300/tid=33305] ppid=33297 vsize=3306180 memory=1856 CPUtime=0.03 cores=0,2
/proc/33300/task/33305/stat : 33305 (fscip) S 33297 33300 28631 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 5218062 3385528320 634579 134679101440 4194304 16623229 140737276076320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52449280 140737276085270 140737276085386 140737276085386 140737276092400 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 3306180 KiB
Current children cumulated memory: 2538316 KiB
[startup+3598.3 s]*
/proc/loadavg: 2.11 2.78 3.54 3/246 35272
/proc/meminfo: memFree=128871776/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.31
CPU time (s): 3586.34
CPU user time (s): 3584.53
CPU system time (s): 1.81308
CPU usage (%): 99.6674
Max. virtual memory (cumulated for all children) (KiB): 3306180
Max. memory (cumulated for all children) (KiB): 2538316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.53
system time used= 1.81309
maximum resident set size= 2554656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1359668
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= 7953
involuntary context switches= 25253
# summary of solver processes directly reported to runsolver:
# pid: 33300
# total CPU time (s): 3586.34
# total CPU user time (s): 3584.53
# total CPU system time (s): 1.81308
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93227 second user time and 17.3034 second system time
The end
Begin job on nodeC028 at 2024-07-31 02:35:35
IDJOB=4464815
IDBENCH=160600
IDSOLVER=3092
FILE ID=nodeC028/4464815-1722386135
RUNJOBID= nodeC028-1722378597-28641
SLURM_JOB_ID= 8249851
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-18.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-4464815-1722386135/watcher-4464815-1722386135 -o /tmp/evaluation-result-4464815-1722386135/solver-4464815-1722386135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28641 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464815-1722386135.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f5c432639ff617f018d9bdeeea2281b7
RANDOM SEED=745414528
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.825
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.94
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 : 3686.051
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
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 : 3662.499
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.94
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.466
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.199
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.94
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 : 3686.065
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
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 : 3603.610
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.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.272
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127924432 kB
MemAvailable: 128798684 kB
Buffers: 96788 kB
Cached: 1601488 kB
SwapCached: 0 kB
Active: 259416 kB
Inactive: 2834428 kB
Active(anon): 1540 kB
Inactive(anon): 1415376 kB
Active(file): 257876 kB
Inactive(file): 1419052 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28492 kB
Writeback: 4 kB
AnonPages: 1395016 kB
Mapped: 125948 kB
Shmem: 21336 kB
KReclaimable: 74296 kB
Slab: 160640 kB
SReclaimable: 74296 kB
SUnreclaim: 86344 kB
KernelStack: 4224 kB
PageTables: 12020 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1248084 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9888 kB
HardwareCorrupted: 0 kB
AnonHugePages: 673792 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: 207572 kB
DirectMap2M: 6905856 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC028 at 2024-07-31 03:35:34