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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 40509440, getVmSize() = 40509440, SCIPgetMemUsed() = 14631120, SCIPgetMemTotal() = 18367088, SCIPgetMemExternEstim() = 9179737
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.50/0.54 c ** Estimated virtualMemUsedAtSolver = 52242601, getVmSize() = 92708864, SCIPgetMemUsed() = 49378965, SCIPgetMemTotal() = 69184165, SCIPgetMemExternEstim() = 9179737
0.50/0.54 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.50/0.54 c Original Problem :
0.50/0.54 c Problem name : instance-4460043-1721943069
0.50/0.54 c Variables : 5002 (35 binary, 0 integer, 4967 implicit integer, 0 continuous)
0.50/0.54 c Constraints : 4967
0.50/0.54 c Objective sense : minimize
0.50/0.54 c Presolved Problem :
0.50/0.54 c Variables : 5002 (35 binary, 0 integer, 4967 implicit integer, 0 continuous)
0.50/0.54 c Constraints : 4967
0.50/0.54 c Constraints : Number
0.50/0.54 c and : 4967
0.50/0.54 c ** Instance transfer method used: 0
0.50/0.56 c ** ParaScipInstance copy does not increase the number of variables. **
0.50/0.56 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.50/0.56 c Nodes Active
0.50/0.56 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.08/1.18 c * 1 0 1 1 -1560.0000 - -
7.33/7.47 c * 7 0 1 1 -3784.0000 - -
7.33/7.47 c 7 0 1 1 -3784.0000 - -
13.21/13.34 c 13 2 1 1 -3784.0000 -54754.5468 -
20.58/20.79 c 21 4 3 1 -3784.0000 -54754.5468 -
26.17/26.30 c 26 12 11 1 -3784.0000 -54754.5468 -
31.25/31.45 c 31 19 18 1 -3784.0000 -54754.5468 -
36.73/36.95 c 37 44 43 1 -3784.0000 -54754.5468 -
42.21/42.45 c 42 52 51 1 -3784.0000 -47765.7930 -
47.30/47.56 c 48 61 60 1 -3784.0000 -47765.7930 -
53.28/53.52 c 54 67 66 1 -3784.0000 -45340.8666 -
58.36/58.61 c 59 79 78 1 -3784.0000 -42774.7579 -
64.14/64.41 c 64 92 91 1 -3784.0000 -42774.7579 -
70.12/70.41 c 70 106 105 1 -3784.0000 -42774.7579 -
76.00/76.36 c 76 124 123 1 -3784.0000 -42774.7579 -
81.09/81.41 c 81 137 136 1 -3784.0000 -37618.8822 -
86.86/87.24 c 87 146 145 1 -3784.0000 -37054.9711 -
92.34/92.77 c 93 165 164 1 -3784.0000 -36734.2377 -
97.82/98.22 c 98 188 187 1 -3784.0000 -36734.2377 -
103.31/103.77 c 104 211 210 1 -3784.0000 -36734.2377 -
108.99/109.40 c 109 216 215 1 -3784.0000 -36734.2377 -
116.45/116.99 c 117 231 230 1 -3784.0000 -36734.2377 -
122.04/122.52 c 123 239 238 1 -3784.0000 -36734.2377 -
128.12/128.64 c 129 253 252 1 -3784.0000 -36734.2377 -
134.19/134.77 c 135 259 258 1 -3784.0000 -36734.2377 -
139.98/140.54 c 141 267 266 1 -3784.0000 -36734.2377 -
145.35/145.99 c 146 276 275 1 -3784.0000 -36734.2377 -
152.83/153.45 c 153 290 289 1 -3784.0000 -36734.2377 -
158.02/158.67 c 159 296 295 1 -3784.0000 -36734.2377 -
158.91/159.53 c * 160 296 295 1 -3810.0000 -36734.2377 -
164.99/165.62 c 166 304 303 1 -3810.0000 -36734.2377 -
171.26/171.97 c 172 312 311 1 -3810.0000 -36734.2377 -
172.87/173.50 c * 174 312 311 1 -3812.0000 -36734.2377 -
176.65/177.37 c * 177 318 317 1 -3822.0000 -36734.2377 -
176.65/177.37 c 177 318 317 1 -3822.0000 -36734.2377 -
181.83/182.57 c 183 329 328 1 -3822.0000 -36734.2377 -
187.51/188.20 c 188 338 337 1 -3822.0000 -33727.6111 -
196.39/197.15 c 197 350 349 1 -3822.0000 -33727.6111 -
202.07/202.81 c 203 357 356 1 -3822.0000 -33727.6111 -
210.24/211.04 c 211 368 367 1 -3822.0000 -33727.6111 -
217.31/218.15 c 218 373 372 1 -3822.0000 -33727.6111 -
222.79/223.60 c 224 381 380 1 -3822.0000 -33727.6111 -
229.47/230.36 c 230 385 384 1 -3822.0000 -33727.6111 -
236.74/237.62 c 238 391 390 1 -3822.0000 -33727.6111 -
242.62/243.55 c 244 396 395 1 -3822.0000 -33727.6111 -
249.20/250.12 c 250 404 403 1 -3822.0000 -33727.6111 -
254.68/255.61 c 256 410 409 1 -3822.0000 -33727.6111 -
260.26/261.25 c 261 420 419 1 -3822.0000 -33727.6111 -
267.74/268.72 c 269 431 430 1 -3822.0000 -33727.6111 -
275.51/276.55 c 277 437 436 1 -3822.0000 -33727.6111 -
281.19/282.29 c 282 443 442 1 -3822.0000 -33727.6111 -
288.07/289.11 c 289 448 447 1 -3822.0000 -33727.6111 -
295.35/296.48 c 296 453 452 1 -3822.0000 -33727.6111 -
302.72/303.89 c 304 466 465 1 -3822.0000 -33727.6111 -
307.90/309.09 c 309 469 468 1 -3822.0000 -33727.6111 -
312.98/314.15 c 314 474 473 1 -3822.0000 -33727.6111 -
318.17/319.30 c 319 477 476 1 -3822.0000 -33727.6111 -
326.04/327.25 c 327 486 485 1 -3822.0000 -33727.6111 -
331.92/333.15 c 333 491 490 1 -3822.0000 -33727.6111 -
339.49/340.79 c 341 497 496 1 -3822.0000 -33727.6111 -
346.87/348.18 c * 348 503 502 1 -3823.0000 -33727.6111 -
346.87/348.18 c 348 503 502 1 -3823.0000 -33727.6111 -
352.45/353.74 c 354 510 509 1 -3823.0000 -33727.6111 -
357.73/359.00 c 359 513 512 1 -3823.0000 -33727.6111 -
365.20/366.50 c 366 520 519 1 -3823.0000 -33727.6111 -
371.48/372.89 c 373 528 527 1 -3823.0000 -33727.6111 -
378.27/379.64 c 380 532 531 1 -3823.0000 -33727.6111 -
384.75/386.16 c 386 540 539 1 -3823.0000 -33727.6111 -
392.52/393.93 c 394 552 551 1 -3823.0000 -33727.6111 -
401.09/402.52 c 403 562 561 1 -3823.0000 -33727.6111 -
407.57/409.02 c 409 567 566 1 -3823.0000 -33727.6111 -
413.45/414.92 c 415 581 580 1 -3823.0000 -33727.6111 -
419.04/420.51 c 421 586 585 1 -3823.0000 -33727.6111 -
424.22/425.73 c 426 591 590 1 -3823.0000 -33727.6111 -
430.99/432.54 c 433 595 594 1 -3823.0000 -33727.6111 -
437.97/439.55 c 440 600 599 1 -3823.0000 -33727.6111 -
444.45/446.05 c 446 605 604 1 -3823.0000 -33727.6111 -
452.32/453.95 c 454 613 612 1 -3823.0000 -33727.6111 -
459.80/461.42 c 461 619 618 1 -3823.0000 -33727.6111 -
465.48/467.16 c 467 624 623 1 -3823.0000 -33727.6111 -
471.85/473.55 c 474 631 630 1 -3823.0000 -33727.6111 -
479.52/481.20 c 481 639 638 1 -3823.0000 -33727.6111 -
487.31/489.01 c 489 647 646 1 -3823.0000 -33727.6111 -
493.58/495.39 c 495 654 653 1 -3823.0000 -33727.6111 -
499.37/501.15 c 501 658 657 1 -3823.0000 -33727.6111 -
506.14/507.95 c 508 663 662 1 -3823.0000 -33727.6111 -
511.33/513.17 c 513 667 666 1 -3823.0000 -33727.6111 -
519.30/521.19 c 521 673 672 1 -3823.0000 -33727.6111 -
526.68/528.56 c 529 677 676 1 -3823.0000 -33727.6111 -
534.75/536.60 c 537 685 684 1 -3823.0000 -33727.6111 -
541.34/543.29 c 543 689 688 1 -3823.0000 -33727.6111 -
547.72/549.69 c 550 693 692 1 -3823.0000 -33727.6111 -
552.80/554.78 c 555 700 699 1 -3823.0000 -33727.6111 -
559.58/561.56 c 562 703 702 1 -3823.0000 -33727.6111 -
564.87/566.85 c 567 709 708 1 -3823.0000 -33727.6111 -
571.05/573.10 c 573 715 714 1 -3823.0000 -33727.6111 -
578.72/580.76 c 581 723 722 1 -3823.0000 -33727.6111 -
585.30/587.37 c 587 727 726 1 -3823.0000 -33727.6111 -
591.39/593.44 c 593 735 734 1 -3823.0000 -33727.6111 -
597.67/599.75 c 600 740 739 1 -3823.0000 -33727.6111 -
598.97/601.10 c * 601 740 739 1 -3844.0000 -33727.6111 -
603.85/605.99 c 606 746 745 1 -3844.0000 -33727.6111 -
609.73/611.86 c 612 752 751 1 -3844.0000 -33727.6111 -
617.10/619.21 c 619 759 758 1 -3844.0000 -33727.6111 -
622.59/624.77 c 625 765 764 1 -3844.0000 -33727.6111 -
628.88/631.04 c 631 773 772 1 -3844.0000 -33727.6111 -
634.86/637.09 c 637 779 778 1 -3844.0000 -33727.6111 -
640.54/642.79 c 643 787 786 1 -3844.0000 -33727.6111 -
647.61/649.80 c 650 793 792 1 -3844.0000 -33727.6111 -
654.19/656.40 c 656 800 799 1 -3844.0000 -33727.6111 -
659.78/662.00 c 662 807 806 1 -3844.0000 -33727.6111 -
667.55/669.84 c 670 814 813 1 -3844.0000 -33727.6111 -
673.73/676.06 c 676 822 821 1 -3844.0000 -33727.6111 -
680.41/682.70 c 683 828 827 1 -3844.0000 -33727.6111 -
685.79/688.14 c 688 832 831 1 -3844.0000 -33727.6111 -
692.27/694.68 c 695 840 839 1 -3844.0000 -33727.6111 -
697.85/700.25 c 700 845 844 1 -3844.0000 -33727.6111 -
703.13/705.51 c 706 847 846 1 -3844.0000 -33727.6111 -
708.22/710.65 c 711 851 850 1 -3844.0000 -33727.6111 -
715.79/718.29 c 718 857 856 1 -3844.0000 -33727.6111 -
721.08/723.50 c 724 861 860 1 -3844.0000 -33727.6111 -
727.46/729.93 c 730 869 868 1 -3844.0000 -33727.6111 -
732.94/735.46 c 735 877 876 1 -3844.0000 -33727.6111 -
740.12/742.63 c 743 882 881 1 -3844.0000 -33727.6111 -
747.70/750.24 c 750 887 886 1 -3844.0000 -33727.6111 -
752.88/755.48 c 755 893 892 1 -3844.0000 -33727.6111 -
759.25/761.80 c 762 899 898 1 -3844.0000 -33727.6111 -
765.04/767.67 c 768 904 903 1 -3844.0000 -33727.6111 -
771.72/774.34 c 774 909 908 1 -3844.0000 -33727.6111 -
778.40/781.02 c 781 917 916 1 -3844.0000 -33727.6111 -
783.39/786.08 c 786 922 921 1 -3844.0000 -33727.6111 -
788.57/791.20 c 791 926 925 1 -3844.0000 -33727.6111 -
796.14/798.82 c 799 934 933 1 -3844.0000 -33727.6111 -
803.72/806.47 c 806 939 938 1 -3844.0000 -33727.6111 -
812.20/814.96 c 815 947 946 1 -3844.0000 -33727.6111 -
817.58/820.30 c 820 954 953 1 -3844.0000 -33727.6111 -
824.16/826.92 c 827 961 960 1 -3844.0000 -33727.6111 -
830.64/833.40 c 833 965 964 1 -3844.0000 -33727.6111 -
837.22/840.00 c 840 970 969 1 -3844.0000 -33727.6111 -
843.41/846.24 c 846 977 976 1 -3844.0000 -33727.6111 -
849.39/852.28 c 852 981 980 1 -3844.0000 -33727.6111 -
855.07/857.98 c 858 985 984 1 -3844.0000 -33727.6111 -
861.45/864.34 c 864 991 990 1 -3844.0000 -33727.6111 -
866.73/869.68 c 870 1000 999 1 -3844.0000 -33727.6111 -
872.61/875.59 c 876 1003 1002 1 -3844.0000 -33727.6111 -
878.50/881.48 c 881 1009 1008 1 -3844.0000 -33727.6111 -
884.78/887.74 c 888 1021 1020 1 -3844.0000 -33727.6111 -
890.46/893.48 c 893 1025 1024 1 -3844.0000 -33727.6111 -
896.25/899.20 c 899 1033 1032 1 -3844.0000 -33727.6111 -
901.74/904.76 c 905 1039 1038 1 -3844.0000 -33727.6111 -
907.32/910.39 c 910 1047 1046 1 -3844.0000 -30541.4000 -
935.73/938.85 c 939 1051 1 1 -3844.0000 -30541.4000 -
942.02/945.16 c 945 1052 2 1 -3844.0000 -30541.4000 -
949.50/952.70 c 953 1054 4 1 -3844.0000 -30541.4000 -
958.87/962.06 c 962 1056 6 1 -3844.0000 -30541.4000 -
965.55/968.77 c 969 1058 8 1 -3844.0000 -30541.4000 -
970.73/973.94 c 974 1060 10 1 -3844.0000 -30541.4000 -
978.61/981.83 c 982 1061 11 1 -3844.0000 -30541.4000 -
984.89/988.15 c 988 1065 15 1 -3844.0000 -30541.4000 -
991.27/994.59 c 995 1071 21 1 -3844.0000 -30541.4000 -
998.54/1001.89 c 1002 1080 30 1 -3844.0000 -30541.4000 -
1004.04/1007.39 c 1007 1084 34 1 -3844.0000 -30541.4000 -
1009.72/1013.03 c 1013 1090 40 1 -3844.0000 -30541.4000 -
1015.50/1018.84 c 1019 1102 52 1 -3844.0000 -30541.4000 -
1021.88/1025.21 c 1025 1112 62 1 -3844.0000 -30541.4000 -
1030.76/1034.12 c 1034 1122 72 1 -3844.0000 -30541.4000 -
1035.84/1039.25 c 1039 1130 80 1 -3844.0000 -30541.4000 -
1041.82/1045.20 c 1045 1139 89 1 -3844.0000 -30541.4000 -
1049.89/1053.37 c 1053 1150 100 1 -3844.0000 -30541.4000 -
1055.58/1059.08 c 1059 1156 106 1 -3844.0000 -30541.4000 -
1061.15/1064.64 c 1065 1165 115 1 -3844.0000 -30541.4000 -
1066.24/1069.73 c 1070 1176 126 1 -3844.0000 -30541.4000 -
1072.12/1075.68 c 1076 1184 134 1 -3844.0000 -30541.4000 -
1078.61/1082.16 c 1082 1194 144 1 -3844.0000 -30541.4000 -
1084.88/1088.47 c 1088 1204 154 1 -3844.0000 -30541.4000 -
1090.06/1093.63 c 1094 1212 162 1 -3844.0000 -30541.4000 -
1096.14/1099.76 c 1100 1221 171 1 -3844.0000 -30541.4000 -
1101.73/1105.33 c 1105 1231 181 1 -3844.0000 -30541.4000 -
1107.71/1111.33 c 1111 1238 188 1 -3844.0000 -30541.4000 -
1112.89/1116.53 c 1117 1247 197 1 -3844.0000 -30541.4000 -
1119.07/1122.79 c 1123 1255 205 1 -3844.0000 -30541.4000 -
1126.94/1130.61 c 1131 1263 213 1 -3844.0000 -30541.4000 -
1135.81/1139.51 c 1140 1271 221 1 -3844.0000 -30541.4000 -
1143.48/1147.27 c 1147 1278 228 1 -3844.0000 -30541.4000 -
1149.46/1153.21 c 1153 1289 239 1 -3844.0000 -30541.4000 -
1154.65/1158.45 c 1158 1293 243 1 -3844.0000 -30541.4000 -
1160.63/1164.46 c 1164 1299 249 1 -3844.0000 -30541.4000 -
1165.62/1169.49 c 1169 1304 254 1 -3844.0000 -30541.4000 -
1171.00/1174.84 c 1175 1311 261 1 -3844.0000 -30541.4000 -
1176.08/1179.90 c 1180 1315 265 1 -3844.0000 -30541.4000 -
1182.06/1185.94 c 1186 1321 271 1 -3844.0000 -30541.4000 -
1189.04/1192.95 c 1193 1326 276 1 -3844.0000 -30541.4000 -
1196.12/1200.02 c 1200 1331 281 1 -3844.0000 -30541.4000 -
1201.50/1205.42 c 1205 1339 289 1 -3844.0000 -30541.4000 -
1207.09/1211.03 c 1211 1346 296 1 -3844.0000 -30541.4000 -
1212.07/1216.08 c 1216 1352 302 1 -3844.0000 -30541.4000 -
1218.74/1222.79 c 1223 1359 309 1 -3844.0000 -30541.4000 -
1223.92/1227.98 c 1228 1369 319 1 -3844.0000 -30541.4000 -
1230.60/1234.66 c 1235 1378 328 1 -3844.0000 -30541.4000 -
1236.88/1240.90 c 1241 1383 333 1 -3844.0000 -30541.4000 -
1241.97/1246.00 c 1246 1389 339 1 -3844.0000 -30541.4000 -
1247.05/1251.16 c 1251 1393 343 1 -3844.0000 -30541.4000 -
1252.83/1256.97 c 1257 1404 354 1 -3844.0000 -30541.4000 -
1259.11/1263.27 c 1263 1415 365 1 -3844.0000 -30541.4000 -
1265.29/1269.44 c 1269 1426 376 1 -3844.0000 -30541.4000 -
1270.77/1274.95 c 1275 1437 387 1 -3844.0000 -30541.4000 -
1277.85/1282.08 c 1282 1447 397 1 -3844.0000 -30541.4000 -
1283.73/1287.91 c 1288 1457 407 1 -3844.0000 -30541.4000 -
1288.81/1293.00 c 1293 1463 413 1 -3844.0000 -30143.3662 -
1294.19/1298.42 c 1298 1467 417 1 -3844.0000 -29612.9865 -
1299.58/1303.83 c 1304 1471 421 1 -3844.0000 -29612.9865 -
1304.56/1308.84 c 1309 1479 429 1 -3844.0000 -29612.9865 -
1310.75/1315.09 c 1315 1483 433 1 -3844.0000 -29612.9865 -
1317.02/1321.30 c 1321 1495 445 1 -3844.0000 -27861.8788 -
1324.49/1328.89 c 1329 1499 449 1 -3844.0000 -27861.8788 -
1331.37/1335.72 c 1336 1507 457 1 -3844.0000 -26684.3958 -
1338.05/1342.49 c 1342 1512 462 1 -3844.0000 -26684.3958 -
1344.83/1349.20 c 1349 1517 467 1 -3844.0000 -26684.3958 -
1349.82/1354.29 c 1354 1520 470 1 -3844.0000 -26684.3958 -
1355.40/1359.86 c 1360 1525 475 1 -3844.0000 -26684.3958 -
1362.48/1366.94 c 1367 1530 480 1 -3844.0000 -26684.3958 -
1369.16/1373.66 c 1374 1537 487 1 -3844.0000 -26684.3958 -
1375.83/1380.34 c 1380 1549 499 1 -3844.0000 -26684.3958 -
1382.71/1387.20 c 1387 1556 506 1 -3844.0000 -26564.3983 -
1388.09/1392.66 c 1393 1566 516 1 -3844.0000 -26327.2656 -
1393.58/1398.12 c 1398 1570 520 1 -3844.0000 -26327.2656 -
1398.56/1403.19 c 1403 1575 525 1 -3844.0000 -26140.8409 -
1405.04/1409.60 c 1410 1580 530 1 -3844.0000 -26140.8409 -
1412.62/1417.27 c 1417 1588 538 1 -3844.0000 -26140.8409 -
1421.88/1426.50 c 1426 1596 546 1 -3844.0000 -25966.5909 -
1427.76/1432.45 c 1432 1599 549 1 -3844.0000 -25966.5909 -
1433.74/1438.45 c 1438 1604 554 1 -3844.0000 -25966.5909 -
1439.82/1444.50 c 1444 1609 559 1 -3844.0000 -25966.5909 -
1444.91/1449.62 c 1450 1616 566 1 -3844.0000 -25787.3485 -
1453.88/1458.69 c 1459 1623 573 1 -3844.0000 -25771.1503 -
1459.66/1464.45 c 1464 1629 579 1 -3844.0000 -25771.1503 -
1464.75/1469.57 c 1470 1640 590 1 -3844.0000 -25614.8333 -
1470.24/1475.01 c 1475 1649 599 1 -3844.0000 -25614.8333 -
1476.01/1480.89 c 1481 1658 608 1 -3844.0000 -25614.8333 -
1482.30/1487.12 c 1487 1667 617 1 -3844.0000 -25614.8333 -
1487.58/1492.47 c 1492 1674 624 1 -3844.0000 -25608.1250 -
1493.17/1498.03 c 1498 1682 632 1 -3844.0000 -25533.6667 -
1499.04/1503.99 c 1504 1686 636 1 -3844.0000 -25533.6667 -
1505.23/1510.19 c 1510 1689 639 1 -3844.0000 -25533.6667 -
1510.81/1515.71 c 1516 1696 646 1 -3844.0000 -25500.3182 -
1517.40/1522.35 c 1522 1699 649 1 -3844.0000 -25500.3182 -
1524.48/1529.46 c 1529 1705 655 1 -3844.0000 -25279.2500 -
1530.76/1535.79 c 1536 1715 665 1 -3844.0000 -24985.9792 -
1535.84/1540.89 c 1541 1719 669 1 -3844.0000 -24985.9792 -
1543.32/1548.31 c 1548 1725 675 1 -3844.0000 -24985.9792 -
1549.10/1554.14 c 1554 1738 688 1 -3844.0000 -24960.3778 -
1554.38/1559.43 c 1559 1746 696 1 -3844.0000 -24895.5000 -
1559.77/1564.84 c 1565 1754 704 1 -3844.0000 -24652.4303 -
1565.85/1570.97 c 1571 1757 707 1 -3844.0000 -24652.4303 -
1571.24/1576.36 c 1576 1763 713 1 -3844.0000 -24399.5833 -
1577.13/1582.25 c 1582 1770 720 1 -3844.0000 -24399.5833 -
1584.70/1589.89 c 1590 1776 726 1 -3844.0000 -24387.6333 -
1589.89/1595.06 c 1595 1784 734 1 -3844.0000 -24387.6333 -
1595.27/1600.44 c 1600 1794 744 1 -3844.0000 -24235.5000 -
1600.35/1605.57 c 1606 1811 761 1 -3844.0000 -24155.3333 -
1606.23/1611.44 c 1611 1839 789 1 -3844.0000 -24142.6667 -
1612.11/1617.30 c 1617 1863 813 1 -3844.0000 -23987.9444 -
1617.30/1622.52 c 1623 1911 821 1 -3844.0000 -23816.1667 -
1623.29/1628.58 c 1629 1962 830 1 -3844.0000 -23762.5000 -
1629.56/1634.81 c 1635 2112 832 1 -3844.0000 -23751.0000 -
1637.14/1642.44 c 1642 2203 841 1 -3844.0000 -23687.4167 -
1644.21/1649.52 c 1650 2293 847 1 -3844.0000 -23611.7083 -
1650.30/1655.63 c 1656 2371 853 1 -3844.0000 -23582.6313 -
1655.38/1660.72 c 1661 2393 857 1 -3844.0000 -23502.0556 -
1662.66/1668.01 c 1668 2443 861 1 -3844.0000 -23416.6364 -
1669.74/1675.12 c 1675 2483 865 1 -3844.0000 -23336.9583 -
1677.11/1682.57 c 1683 2572 872 1 -3844.0000 -23158.7677 -
1683.09/1688.51 c 1689 2623 879 1 -3844.0000 -23003.3704 498.42%
1689.58/1695.07 c 1695 2741 901 1 -3844.0000 -22846.5219 494.34%
1695.26/1700.70 c 1701 2802 906 1 -3844.0000 -22834.8333 494.04%
1700.65/1706.12 c 1706 2833 909 1 -3844.0000 -22676.0833 489.91%
1706.22/1711.78 c 1712 2915 913 1 -3844.0000 -22624.2083 488.56%
1712.61/1718.12 c 1718 2933 915 1 -3844.0000 -22510.5417 485.60%
1718.09/1723.64 c 1724 2973 917 1 -3844.0000 -22473.9394 484.65%
1723.97/1729.54 c 1730 2993 921 1 -3844.0000 -22458.0000 484.24%
1729.86/1735.48 c 1735 3023 929 1 -3844.0000 -22449.8333 484.02%
1735.25/1740.82 c 1741 3074 930 1 -3844.0000 -22387.7045 482.41%
1740.83/1746.46 c 1746 3151 937 1 -3844.0000 -22273.7500 479.44%
1747.11/1752.79 c 1753 3163 943 1 -3844.0000 -22273.7500 479.44%
1752.20/1757.87 c 1758 3221 945 1 -3844.0000 -22243.3333 478.65%
1757.68/1763.37 c 1763 3273 965 1 -3844.0000 -22236.7500 478.48%
1762.96/1768.60 c 1769 3342 1002 1 -3844.0000 -22225.4444 478.19%
1768.74/1774.48 c 1774 3411 1009 1 -3844.0000 -22111.0909 475.21%
1774.93/1780.63 c 1781 3473 1017 1 -3844.0000 -22054.0000 473.73%
1780.62/1786.33 c 1786 3572 1020 1 -3844.0000 -22030.5000 473.11%
1785.70/1791.42 c 1791 3631 1023 1 -3844.0000 -22003.4091 472.41%
1791.39/1797.13 c 1797 3711 1031 1 -3844.0000 -21911.8333 470.03%
1797.27/1803.08 c 1803 3741 1033 1 -3844.0000 -21891.7348 469.50%
1804.14/1809.90 c 1810 3752 1040 1 -3844.0000 -21891.7348 469.50%
1809.23/1815.10 c 1815 3811 1043 1 -3844.0000 -21854.0000 468.52%
1815.52/1821.37 c 1821 3842 1052 1 -3844.0000 -21830.6057 467.91%
1821.00/1826.86 c 1827 3891 1055 1 -3844.0000 -21813.6667 467.47%
1827.08/1832.93 c 1833 3923 1063 1 -3844.0000 -21753.9722 465.92%
1832.96/1838.81 c 1839 4018 1066 1 -3844.0000 -21753.9722 465.92%
1838.25/1844.16 c 1844 4091 1073 1 -3844.0000 -21738.3571 465.51%
1844.74/1850.64 c 1851 4113 1077 1 -3844.0000 -21737.6667 465.50%
1850.72/1856.68 c 1857 4162 1084 1 -3844.0000 -21726.0000 465.19%
1856.50/1862.45 c 1862 4271 1091 1 -3844.0000 -21715.6667 464.92%
1862.59/1868.60 c 1869 4313 1093 1 -3844.0000 -21715.6667 464.92%
1867.77/1873.74 c 1874 4361 1125 1 -3844.0000 -21657.4583 463.41%
1872.96/1878.98 c 1879 4471 1129 1 -3844.0000 -21640.5833 462.97%
1879.54/1885.54 c 1886 4482 1134 1 -3844.0000 -21603.6667 462.01%
1885.52/1891.57 c 1892 4591 1135 1 -3844.0000 -21576.3750 461.30%
1892.70/1898.71 c 1899 4632 1140 1 -3844.0000 -21576.3750 461.30%
1898.00/1904.04 c 1904 4681 1147 1 -3844.0000 -21549.9815 460.61%
1902.98/1909.09 c 1909 4713 1155 1 -3844.0000 -21493.4167 459.14%
1908.56/1914.68 c 1915 4801 1159 1 -3844.0000 -21454.6566 458.13%
1916.63/1922.78 c 1923 4822 1162 1 -3844.0000 -21454.6566 458.13%
1923.22/1929.34 c 1929 4863 1173 1 -3844.0000 -21397.0000 456.63%
1928.80/1934.93 c 1935 4971 1175 1 -3844.0000 -21394.8403 456.58%
1933.89/1940.06 c 1940 5032 1180 1 -3844.0000 -21312.8333 454.44%
1940.57/1946.75 c 1947 5052 1186 1 -3844.0000 -21287.0833 453.77%
1945.65/1951.82 c 1952 5173 1191 1 -3844.0000 -21287.0833 453.77%
1953.33/1959.58 c 1960 5222 1202 1 -3844.0000 -21265.1667 453.20%
1959.11/1965.39 c 1965 5382 1204 1 -3844.0000 -21248.7500 452.78%
1965.49/1971.70 c 1972 5414 1212 1 -3844.0000 -21239.3750 452.53%
1970.48/1976.73 c 1977 5443 1219 1 -3844.0000 -21219.6667 452.02%
1975.57/1981.86 c 1982 5501 1223 1 -3844.0000 -21199.7778 451.50%
1981.66/1987.91 c 1988 5543 1227 1 -3844.0000 -21196.0581 451.41%
1987.24/1993.56 c 1994 5601 1233 1 -3844.0000 -21099.2500 448.89%
1993.73/2000.05 c 2000 5651 1249 1 -3844.0000 -21064.8333 447.99%
2000.10/2006.45 c 2006 5732 1256 1 -3844.0000 -21051.1667 447.64%
2005.19/2011.50 c 2012 5792 1258 1 -3844.0000 -21031.1667 447.12%
2010.87/2017.20 c 2017 5951 1255 1 -3844.0000 -20927.7727 444.43%
2016.15/2022.53 c 2023 6034 1266 1 -3844.0000 -20857.2222 442.59%
2022.34/2028.76 c 2029 6063 1269 1 -3844.0000 -20842.3333 442.20%
2029.63/2036.07 c 2036 6102 1274 1 -3844.0000 -20834.0556 441.99%
2035.01/2041.42 c 2041 6114 1280 1 -3844.0000 -20801.0000 441.13%
2042.29/2048.71 c 2049 6139 1291 1 -3844.0000 -20801.0000 441.13%
2049.47/2055.96 c 2056 6172 1300 1 -3844.0000 -20799.1667 441.08%
2058.14/2064.60 c 2065 6200 1306 1 -3844.0000 -20777.3333 440.51%
2063.13/2069.62 c 2070 6221 1319 1 -3844.0000 -20777.3333 440.51%
2068.52/2075.01 c 2075 6388 1320 1 -3844.0000 -20777.3333 440.51%
2074.39/2080.93 c 2081 6423 1327 1 -3844.0000 -20679.4116 437.97%
2079.49/2086.09 c 2086 6452 1328 1 -3844.0000 -20679.4116 437.97%
2086.37/2092.99 c 2093 6472 1340 1 -3844.0000 -20639.5758 436.93%
2094.15/2100.77 c 2101 6521 1345 1 -3844.0000 -20626.9167 436.60%
2101.62/2108.21 c 2108 6564 1348 1 -3844.0000 -20626.9167 436.60%
2107.80/2114.49 c 2114 6691 1359 1 -3844.0000 -20591.5000 435.68%
2115.39/2122.09 c 2122 6712 1362 1 -3844.0000 -20574.7500 435.24%
2121.07/2127.74 c 2128 6766 1368 1 -3844.0000 -20566.7500 435.04%
2127.95/2134.68 c 2135 6773 1371 1 -3844.0000 -20566.7500 435.04%
2136.53/2143.20 c 2143 6789 1387 1 -3844.0000 -20566.7500 435.04%
2142.11/2148.86 c 2149 6811 1397 1 -3844.0000 -20523.0833 433.90%
2148.70/2155.45 c 2155 6832 1402 1 -3844.0000 -20439.5000 431.72%
2156.05/2162.81 c 2163 6862 1408 1 -3844.0000 -20391.1944 430.47%
2162.74/2169.54 c 2170 6873 1415 1 -3844.0000 -20391.1944 430.47%
2168.62/2175.40 c 2175 6961 1431 1 -3844.0000 -20370.1667 429.92%
2174.10/2180.90 c 2181 7001 1433 1 -3844.0000 -20338.0000 429.08%
2180.29/2187.10 c 2187 7012 1440 1 -3844.0000 -20294.9181 427.96%
2185.67/2192.53 c 2193 7046 1446 1 -3844.0000 -20260.3333 427.06%
2190.85/2197.77 c 2198 7104 1446 1 -3844.0000 -20252.4646 426.86%
2198.14/2205.03 c 2205 7151 1449 1 -3844.0000 -20247.3333 426.73%
2205.32/2212.23 c 2212 7263 1459 1 -3844.0000 -20233.2500 426.36%
2212.30/2219.25 c 2219 7308 1462 1 -3844.0000 -20233.2500 426.36%
2220.08/2227.08 c 2227 7316 1470 1 -3844.0000 -20233.2500 426.36%
2225.56/2232.58 c 2233 7391 1479 1 -3844.0000 -20215.7500 425.90%
2231.15/2238.12 c 2238 7451 1483 1 -3844.0000 -20215.7500 425.90%
2237.42/2244.46 c 2244 7510 1484 1 -3844.0000 -20215.7500 425.90%
2243.61/2250.67 c 2251 7581 1495 1 -3844.0000 -20191.5000 425.27%
2250.09/2257.19 c 2257 7643 1511 1 -3844.0000 -20189.4167 425.22%
2257.47/2264.51 c 2265 7662 1522 1 -3844.0000 -20172.9764 424.79%
2262.46/2269.58 c 2270 7701 1525 1 -3844.0000 -20155.8333 424.35%
2267.84/2274.99 c 2275 7713 1529 1 -3844.0000 -20155.8333 424.35%
2274.32/2281.48 c 2281 7732 1538 1 -3844.0000 -20111.7727 423.20%
2279.70/2286.88 c 2287 7781 1535 1 -3844.0000 -20111.7727 423.20%
2286.58/2293.73 c 2294 7813 1535 1 -3844.0000 -20111.7727 423.20%
2292.47/2299.62 c 2300 7824 1542 1 -3844.0000 -20111.7727 423.20%
2297.66/2304.89 c 2305 7902 1562 1 -3844.0000 -20048.5833 421.56%
2303.74/2310.90 c 2311 8011 1567 1 -3844.0000 -20030.1111 421.07%
2311.12/2318.35 c 2318 8071 1561 1 -3844.0000 -19991.7500 420.08%
2319.90/2327.13 c 2327 8079 1569 1 -3844.0000 -19991.7500 420.08%
2325.18/2332.44 c 2332 8121 1581 1 -3844.0000 -19978.8333 419.74%
2330.57/2337.86 c 2338 8178 1596 1 -3844.0000 -19978.8333 419.74%
2336.05/2343.31 c 2343 8231 1591 1 -3844.0000 -19967.2500 419.44%
2341.64/2348.95 c 2349 8241 1599 1 -3844.0000 -19967.2500 419.44%
2347.42/2354.73 c 2355 8252 1604 1 -3844.0000 -19965.8333 419.40%
2353.01/2360.31 c 2360 8271 1615 1 -3844.0000 -19965.8333 419.40%
2361.78/2369.11 c 2369 8305 1625 1 -3844.0000 -19934.0833 418.58%
2368.86/2376.24 c 2376 8331 1635 1 -3844.0000 -19928.8056 418.44%
2377.04/2384.43 c 2384 8413 1639 1 -3844.0000 -19927.7500 418.41%
2383.82/2391.20 c 2391 8442 1668 1 -3844.0000 -19884.0000 417.27%
2389.00/2396.48 c 2396 8512 1712 1 -3844.0000 -19884.0000 417.27%
2394.70/2402.17 c 2402 8571 1713 1 -3844.0000 -19874.7333 417.03%
2400.58/2408.09 c 2408 8612 1712 1 -3844.0000 -19874.3095 417.02%
2407.75/2415.29 c 2415 8633 1717 1 -3844.0000 -19860.4167 416.66%
2413.54/2421.08 c 2421 8681 1723 1 -3844.0000 -19855.2500 416.53%
2419.72/2427.25 c 2427 8692 1726 1 -3844.0000 -19829.8990 415.87%
2425.10/2432.63 c 2433 8729 1723 1 -3844.0000 -19826.2500 415.77%
2430.19/2437.79 c 2438 8771 1713 1 -3844.0000 -19819.1667 415.59%
2436.28/2443.80 c 2444 8792 1712 1 -3844.0000 -19815.7917 415.50%
2443.96/2451.56 c 2452 8815 1711 1 -3844.0000 -19815.7917 415.50%
2450.54/2458.14 c 2458 8823 1719 1 -3844.0000 -19815.7917 415.50%
2457.02/2464.66 c 2465 8832 1728 1 -3844.0000 -19778.6000 414.53%
2464.40/2472.04 c 2472 8843 1739 1 -3844.0000 -19778.6000 414.53%
2470.58/2478.22 c 2478 8852 1748 1 -3844.0000 -19776.7500 414.48%
2475.87/2483.57 c 2484 8881 1755 1 -3844.0000 -19734.3333 413.38%
2482.65/2490.31 c 2490 8888 1758 1 -3844.0000 -19734.3333 413.38%
2488.14/2495.81 c 2496 8961 1789 1 -3844.0000 -19728.9912 413.24%
2493.82/2501.52 c 2502 8982 1794 1 -3844.0000 -19714.3951 412.86%
2498.90/2506.68 c 2507 9067 1797 1 -3844.0000 -19698.1667 412.44%
2503.99/2511.71 c 2512 9181 1791 1 -3844.0000 -19667.3333 411.64%
2509.67/2517.40 c 2517 9311 1791 1 -3844.0000 -19650.0833 411.19%
2516.36/2524.19 c 2524 9332 1796 1 -3844.0000 -19634.0712 410.77%
2525.03/2532.80 c 2533 9362 1804 1 -3844.0000 -19626.7778 410.58%
2531.91/2539.79 c 2540 9394 1810 1 -3844.0000 -19623.1667 410.49%
2538.49/2546.31 c 2546 9441 1823 1 -3844.0000 -19612.0182 410.20%
2544.07/2551.97 c 2552 9450 1832 1 -3844.0000 -19612.0182 410.20%
2551.05/2558.90 c 2559 9492 1874 1 -3844.0000 -19612.0182 410.20%
2557.34/2565.20 c 2565 9522 1904 1 -3844.0000 -19611.0000 410.17%
2562.43/2570.33 c 2570 9565 1947 1 -3844.0000 -19611.0000 410.17%
2568.11/2576.04 c 2576 9616 1998 1 -3844.0000 -19611.0000 410.17%
2574.59/2582.58 c 2583 9671 2053 1 -3844.0000 -19611.0000 410.17%
2579.97/2587.93 c 2588 9701 2083 1 -3844.0000 -19607.5556 410.08%
2585.85/2593.81 c 2594 9743 2125 1 -3844.0000 -19607.5556 410.08%
2591.14/2599.17 c 2599 9795 2177 1 -3844.0000 -19607.5556 410.08%
2596.32/2604.35 c 2604 9854 2236 1 -3844.0000 -19607.5556 410.08%
2602.30/2610.39 c 2610 9865 2247 1 -3844.0000 -19583.7569 409.46%
2608.09/2616.15 c 2616 9891 2273 1 -3844.0000 -19583.0038 409.44%
2614.08/2622.16 c 2622 9933 2315 1 -3844.0000 -19576.1667 409.27%
2620.85/2628.95 c 2629 9951 2333 1 -3844.0000 -19576.1667 409.27%
2626.24/2634.32 c 2634 9978 2360 1 -3844.0000 -19539.0000 408.30%
2631.32/2639.49 c 2639 10009 2391 1 -3844.0000 -19511.5556 407.58%
2636.91/2645.04 c 2645 10066 2448 1 -3844.0000 -19511.5556 407.58%
2644.69/2652.88 c 2653 10096 2478 1 -3844.0000 -19511.5556 407.58%
2651.07/2659.26 c 2659 10132 2514 1 -3844.0000 -19507.2778 407.47%
2656.35/2664.55 c 2665 10184 2566 1 -3844.0000 -19507.2778 407.47%
2662.43/2670.63 c 2671 10230 2612 1 -3844.0000 -19494.4667 407.14%
2669.31/2677.54 c 2678 10266 2648 1 -3844.0000 -19490.0521 407.03%
2676.19/2684.45 c 2684 10311 2693 1 -3844.0000 -19481.1667 406.79%
2681.88/2690.13 c 2690 10360 2742 1 -3844.0000 -19481.1667 406.79%
2687.26/2695.56 c 2696 10408 2790 1 -3844.0000 -19481.1667 406.79%
2693.43/2701.76 c 2702 10461 2843 1 -3844.0000 -19465.2778 406.38%
2698.72/2707.10 c 2707 10481 2863 1 -3844.0000 -19450.2273 405.99%
2704.61/2712.92 c 2713 10501 2883 1 -3844.0000 -19450.2273 405.99%
2710.09/2718.46 c 2718 10527 2909 1 -3844.0000 -19415.7516 405.09%
2715.97/2724.30 c 2724 10590 2972 1 -3844.0000 -19415.7516 405.09%
2721.35/2729.72 c 2730 10643 3025 1 -3844.0000 -19415.7516 405.09%
2728.14/2736.58 c 2737 10681 3063 1 -3844.0000 -19415.7516 405.09%
2736.42/2744.84 c 2745 10731 3113 1 -3844.0000 -19397.9764 404.63%
2741.61/2750.08 c 2750 10775 3157 1 -3844.0000 -19397.9764 404.63%
2747.28/2755.74 c 2756 10812 3194 1 -3844.0000 -19393.8333 404.52%
2752.47/2760.94 c 2761 10863 3245 1 -3844.0000 -19393.8333 404.52%
2758.35/2766.86 c 2767 10901 3283 1 -3844.0000 -19384.3333 404.28%
2764.13/2772.65 c 2773 10922 3304 1 -3844.0000 -19364.3750 403.76%
2770.52/2779.08 c 2779 10972 3354 1 -3844.0000 -19364.3750 403.76%
2776.51/2785.00 c 2785 11012 3394 1 -3844.0000 -19334.5000 402.98%
2781.88/2790.43 c 2790 11074 3456 1 -3844.0000 -19334.5000 402.98%
2787.06/2795.70 c 2796 11151 3533 1 -3844.0000 -19334.5000 402.98%
2793.85/2802.46 c 2802 11201 3583 1 -3844.0000 -19334.5000 402.98%
2799.44/2808.09 c 2808 11239 3621 1 -3844.0000 -19325.7500 402.75%
2806.21/2814.88 c 2815 11291 3673 1 -3844.0000 -19229.0000 400.23%
2811.50/2820.17 c 2820 11337 3719 1 -3844.0000 -19229.0000 400.23%
2816.58/2825.27 c 2825 11370 3752 1 -3844.0000 -19228.2500 400.21%
2821.67/2830.34 c 2830 11403 3785 1 -3844.0000 -19157.9722 398.39%
2829.02/2837.74 c 2838 11461 3843 1 -3844.0000 -19123.4167 397.49%
2834.17/2842.96 c 2843 11481 3863 1 -3844.0000 -19097.6111 396.82%
2839.55/2848.39 c 2848 11520 3902 1 -3844.0000 -19069.8333 396.09%
2844.73/2853.53 c 2854 11553 3935 1 -3844.0000 -19069.8333 396.09%
2851.01/2859.88 c 2860 11589 3971 1 -3844.0000 -19058.7500 395.81%
2856.90/2865.70 c 2866 11630 4012 1 -3844.0000 -18969.3889 393.48%
2862.38/2871.28 c 2871 11692 4074 1 -3844.0000 -18969.3889 393.48%
2868.17/2877.02 c 2877 11736 4118 1 -3844.0000 -18960.1468 393.24%
2875.94/2884.89 c 2885 11761 4143 1 -3844.0000 -18950.6667 392.99%
2881.52/2890.42 c 2890 11793 4175 1 -3844.0000 -18945.9167 392.87%
2887.00/2895.95 c 2896 11846 4228 1 -3844.0000 -18945.9167 392.87%
2894.78/2903.74 c 2904 11911 4293 1 -3844.0000 -18909.7222 391.93%
2900.17/2909.15 c 2909 11958 4340 1 -3844.0000 -18909.7222 391.93%
2905.95/2914.97 c 2915 12001 4383 1 -3844.0000 -18893.0591 391.49%
2912.13/2921.11 c 2921 12059 4441 1 -3844.0000 -18890.6111 391.43%
2917.32/2926.31 c 2926 12123 4505 1 -3844.0000 -18890.6111 391.43%
2925.20/2934.27 c 2934 12171 4553 1 -3844.0000 -18834.1111 389.96%
2931.37/2940.43 c 2940 12214 4596 1 -3844.0000 -18834.1111 389.96%
2936.66/2945.79 c 2946 12260 4642 1 -3844.0000 -18824.1389 389.70%
2943.94/2953.01 c 2953 12301 4683 1 -3844.0000 -18756.0000 387.93%
2949.33/2958.40 c 2958 12330 4712 1 -3844.0000 -18717.5833 386.93%
2955.11/2964.25 c 2964 12367 4749 1 -3844.0000 -18686.0000 386.11%
2960.39/2969.51 c 2970 12411 4793 1 -3844.0000 -18686.0000 386.11%
2965.67/2974.83 c 2975 12444 4826 1 -3844.0000 -18684.9167 386.08%
2970.87/2980.00 c 2980 12480 4862 1 -3844.0000 -18684.9167 386.08%
2976.85/2986.09 c 2986 12518 4900 1 -3844.0000 -18683.8611 386.05%
2984.22/2993.41 c 2993 12551 4933 1 -3844.0000 -18680.1667 385.96%
2989.60/2998.80 c 2999 12583 4965 1 -3844.0000 -18665.3704 385.57%
2995.19/3004.42 c 3004 12628 5010 1 -3844.0000 -18665.3704 385.57%
3000.67/3009.92 c 3010 12676 5058 1 -3844.0000 -18645.5833 385.06%
3006.06/3015.39 c 3015 12736 5118 1 -3844.0000 -18645.5833 385.06%
3011.65/3020.90 c 3021 12758 5140 1 -3844.0000 -18633.5000 384.74%
3016.83/3026.13 c 3026 12821 5203 1 -3844.0000 -18633.5000 384.74%
3024.40/3033.74 c 3034 12861 5243 1 -3844.0000 -18527.1667 381.98%
3029.80/3039.18 c 3039 12906 5288 1 -3844.0000 -18527.1667 381.98%
3035.28/3044.66 c 3045 12941 5323 1 -3844.0000 -18506.5000 381.44%
3041.67/3051.05 c 3051 12981 5363 1 -3844.0000 -18480.5278 380.76%
3048.34/3057.77 c 3058 13011 5393 1 -3844.0000 -18480.5278 380.76%
3055.02/3064.46 c 3064 13061 5443 1 -3844.0000 -18478.3981 380.71%
3060.10/3069.57 c 3070 13083 5465 1 -3844.0000 -18474.6111 380.61%
3068.08/3077.51 c 3078 13121 5503 1 -3844.0000 -18468.9444 380.46%
3073.17/3082.68 c 3083 13152 5534 1 -3844.0000 -18438.0000 379.66%
3081.04/3090.51 c 3091 13191 5573 1 -3844.0000 -18425.5417 379.33%
3086.23/3095.73 c 3096 13219 5601 1 -3844.0000 -18417.3333 379.12%
3091.52/3101.01 c 3101 13247 5629 1 -3844.0000 -18417.3333 379.12%
3098.29/3107.84 c 3108 13271 5653 1 -3844.0000 -18407.5000 378.86%
3103.78/3113.30 c 3113 13301 5683 1 -3844.0000 -18404.2500 378.78%
3109.37/3118.97 c 3119 13331 5713 1 -3844.0000 -18396.1667 378.57%
3114.85/3124.49 c 3124 13352 5734 1 -3844.0000 -18381.6667 378.19%
3120.14/3129.72 c 3130 13382 5764 1 -3844.0000 -18375.7778 378.04%
3125.43/3135.01 c 3135 13411 5793 1 -3844.0000 -18339.3333 377.09%
3131.51/3141.18 c 3141 13432 5814 1 -3844.0000 -18334.3333 376.96%
3137.08/3146.76 c 3147 13492 5874 1 -3844.0000 -18334.3333 376.96%
3142.48/3152.19 c 3152 13555 5937 1 -3844.0000 -18334.3333 376.96%
3148.65/3158.32 c 3158 13608 5990 1 -3844.0000 -18334.3333 376.96%
3153.93/3163.66 c 3164 13660 6042 1 -3844.0000 -18334.3333 376.96%
3159.33/3169.09 c 3169 13727 6109 1 -3844.0000 -18334.3333 376.96%
3165.00/3174.73 c 3175 13811 6173 1 -3844.0000 -18331.0000 376.87%
3170.08/3179.82 c 3180 13841 6203 1 -3844.0000 -18287.1111 375.73%
3176.07/3185.85 c 3186 13863 6225 1 -3844.0000 -18282.8333 375.62%
3181.16/3190.93 c 3191 13893 6255 1 -3844.0000 -18272.2500 375.34%
3186.44/3196.28 c 3196 13945 6307 1 -3844.0000 -18272.2500 375.34%
3191.72/3201.57 c 3202 14005 6367 1 -3844.0000 -18272.2500 375.34%
3197.01/3206.85 c 3207 14047 6409 1 -3844.0000 -18263.6937 375.12%
3203.09/3212.97 c 3213 14081 6443 1 -3844.0000 -18221.6111 374.03%
3208.67/3218.56 c 3219 14128 6490 1 -3844.0000 -18221.6111 374.03%
3213.96/3223.88 c 3224 14186 6548 1 -3844.0000 -18221.6111 374.03%
3219.34/3229.28 c 3229 14253 6615 1 -3844.0000 -18221.6111 374.03%
3224.61/3234.53 c 3235 14305 6667 1 -3844.0000 -18221.6111 374.03%
3229.90/3239.88 c 3240 14351 6703 1 -3844.0000 -18221.6111 374.03%
3235.79/3245.74 c 3246 14387 6739 1 -3844.0000 -18219.1667 373.96%
3241.67/3251.66 c 3252 14412 6764 1 -3844.0000 -18210.2500 373.73%
3247.55/3257.51 c 3258 14439 6791 1 -3844.0000 -18168.3333 372.64%
3252.94/3262.98 c 3263 14471 6823 1 -3844.0000 -18130.4444 371.66%
3258.72/3268.78 c 3269 14493 6845 1 -3844.0000 -18130.4444 371.66%
3264.70/3274.77 c 3275 14539 6883 1 -3844.0000 -18107.5283 371.06%
3270.38/3280.48 c 3280 14582 6926 1 -3844.0000 -18106.1111 371.02%
3276.08/3286.17 c 3286 14633 6977 1 -3844.0000 -18094.9731 370.73%
3281.75/3291.83 c 3292 14683 7027 1 -3844.0000 -18094.9731 370.73%
3287.04/3297.10 c 3297 14785 7129 1 -3844.0000 -18094.9731 370.73%
3294.52/3304.65 c 3305 14861 7205 1 -3844.0000 -18087.5000 370.54%
3300.80/3310.97 c 3311 14901 7245 1 -3844.0000 -18084.3333 370.46%
3305.89/3316.01 c 3316 14933 7277 1 -3844.0000 -18070.9167 370.11%
3311.97/3322.19 c 3322 14961 7305 1 -3844.0000 -18063.5000 369.91%
3319.75/3329.99 c 3330 15001 7345 1 -3844.0000 -18045.8333 369.45%
3325.33/3335.55 c 3336 15060 7404 1 -3844.0000 -18042.8333 369.38%
3330.41/3340.64 c 3341 15106 7450 1 -3844.0000 -18041.7500 369.35%
3336.59/3346.84 c 3347 15161 7505 1 -3844.0000 -18041.4979 369.34%
3342.08/3352.35 c 3352 15196 7540 1 -3844.0000 -18018.5000 368.74%
3347.56/3357.84 c 3358 15291 7597 1 -3844.0000 -18011.1667 368.55%
3352.65/3362.97 c 3363 15331 7627 1 -3844.0000 -17993.3333 368.09%
3358.33/3368.68 c 3369 15382 7654 1 -3844.0000 -17991.0000 368.03%
3364.31/3374.60 c 3375 15412 7664 1 -3844.0000 -17971.7500 367.53%
3369.89/3380.28 c 3380 15481 7701 1 -3844.0000 -17944.9302 366.83%
3375.28/3385.63 c 3386 15531 7743 1 -3844.0000 -17928.1667 366.39%
3380.77/3391.15 c 3391 15602 7806 1 -3844.0000 -17928.1667 366.39%
3386.44/3396.87 c 3397 15651 7855 1 -3844.0000 -17907.2500 365.85%
3394.32/3404.79 c 3405 15691 7895 1 -3844.0000 -17880.3333 365.15%
3401.40/3411.81 c 3412 15731 7935 1 -3844.0000 -17843.5833 364.19%
3406.59/3417.07 c 3417 15758 7962 1 -3844.0000 -17841.5833 364.14%
3413.68/3424.10 c 3424 15791 7995 1 -3844.0000 -17821.2652 363.61%
3420.66/3431.18 c 3431 15831 8035 1 -3844.0000 -17801.0406 363.09%
3426.33/3436.83 c 3437 15868 8052 1 -3844.0000 -17792.6111 362.87%
3432.52/3443.07 c 3443 15921 8105 1 -3844.0000 -17792.6111 362.87%
3440.20/3450.75 c 3451 15951 8135 1 -3844.0000 -17780.8333 362.56%
3445.59/3456.18 c 3456 15997 8181 1 -3844.0000 -17779.1667 362.52%
3450.86/3461.48 c 3461 16084 8268 1 -3844.0000 -17779.1667 362.52%
3456.15/3466.71 c 3467 16176 8302 1 -3844.0000 -17778.5000 362.50%
3461.63/3472.23 c 3472 16265 8335 1 -3844.0000 -17777.6667 362.48%
3467.91/3478.51 c 3479 16301 8367 1 -3844.0000 -17773.6667 362.37%
3473.50/3484.12 c 3484 16341 8407 1 -3844.0000 -17742.5926 361.57%
3478.88/3489.52 c 3490 16361 8427 1 -3844.0000 -17742.5926 361.57%
3484.37/3495.01 c 3495 16392 8452 1 -3844.0000 -17727.6111 361.18%
3490.46/3501.11 c 3501 16483 8505 1 -3844.0000 -17703.3333 360.54%
3497.03/3507.75 c 3508 16621 8565 1 -3844.0000 -17695.6111 360.34%
3503.11/3513.87 c 3514 16671 8571 1 -3844.0000 -17693.6389 360.29%
3508.60/3519.37 c 3519 16761 8593 1 -3844.0000 -17684.4792 360.05%
3516.17/3526.92 c 3527 16821 8617 1 -3844.0000 -17654.1042 359.26%
3524.05/3534.83 c 3535 16891 8623 1 -3844.0000 -17629.1111 358.61%
3529.24/3540.07 c 3540 16967 8691 1 -3844.0000 -17629.1111 358.61%
3534.33/3545.14 c 3545 17067 8727 1 -3844.0000 -17613.0000 358.19%
3541.50/3552.31 c 3552 17121 8757 1 -3844.0000 -17600.9167 357.88%
3548.48/3559.37 c 3559 17211 8779 1 -3844.0000 -17596.0833 357.75%
3554.57/3565.48 c 3565 17291 8801 1 -3844.0000 -17590.5000 357.61%
3560.54/3571.44 c 3571 17441 8815 1 -3844.0000 -17521.3333 355.81%
3567.93/3578.88 c 3579 17521 8823 1 -3844.0000 -17514.8333 355.64%
3573.71/3584.67 c 3585 17591 8829 1 -3844.0000 -17499.3417 355.24%
3579.39/3590.37 c 3590 17751 8857 1 -3844.0000 -17496.7083 355.17%
3585.18/3596.16 c 3596 17841 8863 1 -3844.0000 -17496.7083 355.17%
3589.26/3600.28 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.26/3600.28 c Total Time : 3600.27
3589.26/3600.28 c solving : 3600.27
3589.26/3600.28 c presolving : 0.53 (included in solving)
3589.26/3600.28 c B&B Tree :
3589.26/3600.28 c nodes (total) : 1
3589.26/3600.28 c Solution :
3589.26/3600.28 c Solutions found : 9
3589.26/3600.28 c Primal Bound : -3.84400000000000e+03
3589.26/3600.28 c Dual Bound : -1.74967083333333e+04
3589.26/3600.28 c Gap : 355.16931 %
3589.26/3600.28 c * Warning: final gap: 3.55169e+00 is greater than SCIPepsilon: 1.00000e-09
3589.26/3600.28 o -3844
3589.26/3600.28 s SATISFIABLE
3589.26/3600.28 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
3589.26/3600.28 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 (49646 MiB free)
memory of node 1: 64473 MiB (56497 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460043-1721943069/watcher-4460043-1721943069 -o /tmp/evaluation-result-4460043-1721943069/solver-4460043-1721943069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310655 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4460043-1721943069.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
solver pid=313290, runsolver pid=313287
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.20 4.16 4.06 6/258 313303
/proc/meminfo: memFree=108666624/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=46964 memory=35616 CPUtime=0.09 cores=0,2
/proc/313290/stat : 313290 (fscip) R 313287 313290 310643 0 -1 4194304 6574 0 0 0 9 0 0 0 20 0 1 0 30836329 48091136 8904 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 11741 8904 2606 3032 0 8141 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46964 KiB
Current children cumulated memory: 35616 KiB
[startup+0.205678 s]*
/proc/loadavg: 4.20 4.16 4.06 5/258 313305
/proc/meminfo: memFree=108661676/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=47348 memory=35880 CPUtime=0.2 cores=0,2
/proc/313290/stat : 313290 (fscip) R 313287 313290 310643 0 -1 4194304 6647 0 0 0 20 0 0 0 20 0 1 0 30836329 48484352 8970 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 11837 8970 2606 3032 0 8237 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 35880 KiB
[startup+0.305757 s]*
/proc/loadavg: 4.20 4.16 4.06 5/256 313327
/proc/meminfo: memFree=108675468/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=48048 memory=36408 CPUtime=0.3 cores=0,2
/proc/313290/stat : 313290 (fscip) R 313287 313290 310643 0 -1 4194304 6812 0 0 0 30 0 0 0 20 0 1 0 30836329 49201152 9102 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 12012 9102 2606 3032 0 8412 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48048 KiB
Current children cumulated memory: 36408 KiB
[startup+0.700845 s]
/proc/loadavg: 4.20 4.16 4.06 5/263 313339
/proc/meminfo: memFree=108631724/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=177320 memory=93728 CPUtime=0.69 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 22009 0 0 0 66 3 0 0 20 0 3 0 30836329 181575680 23432 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 44330 23432 2702 3032 0 31148 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 177320 KiB
Current children cumulated memory: 93728 KiB
[startup+1.50086 s]
/proc/loadavg: 4.20 4.16 4.06 5/265 313341
/proc/meminfo: memFree=108560004/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=177320 memory=126116 CPUtime=1.48 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 30373 0 0 0 144 4 0 0 20 0 3 0 30836329 181575680 31529 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 44330 31529 2814 3032 0 40107 0
[pid=313290/tid=313340] ppid=313287 vsize=177320 memory=11540 CPUtime=0.92 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 14682 0 0 0 90 2 0 0 20 0 3 0 30836384 181575680 31529 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=177320 memory=74940 CPUtime=0 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30836386 181575680 31529 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 177320 KiB
Current children cumulated memory: 126116 KiB
[startup+3.10586 s]
/proc/loadavg: 4.20 4.16 4.06 5/265 313391
/proc/meminfo: memFree=108456000/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=242856 memory=174908 CPUtime=3.07 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 52867 0 0 0 301 6 0 0 20 0 3 0 30836329 248684544 43727 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 60714 43727 2910 3032 0 52650 0
[pid=313290/tid=313340] ppid=313287 vsize=242856 memory=93728 CPUtime=2.51 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 37170 0 0 0 247 4 0 0 20 0 3 0 30836384 248684544 43727 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=242856 memory=11540 CPUtime=0 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 30836386 248684544 43727 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 242856 KiB
Current children cumulated memory: 174908 KiB
[startup+6.30023 s]
/proc/loadavg: 4.18 4.16 4.06 5/265 313391
/proc/meminfo: memFree=108453812/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=242856 memory=177116 CPUtime=6.23 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 68394 0 0 0 616 7 0 0 20 0 3 0 30836329 248684544 44279 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 60714 44279 2910 3032 0 52650 0
[pid=313290/tid=313340] ppid=313287 vsize=242856 memory=11540 CPUtime=5.68 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 52697 0 0 0 563 5 0 0 20 0 3 0 30836384 248684544 44279 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=242856 memory=0 CPUtime=0 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 30836386 248684544 44279 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 242856 KiB
Current children cumulated memory: 177116 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.16 4.06 5/265 313392
/proc/meminfo: memFree=108421068/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=308392 memory=203832 CPUtime=12.61 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 85931 0 0 0 1253 8 0 0 20 0 3 0 30836329 315793408 50958 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 77098 50958 2958 3032 0 60657 0
[pid=313290/tid=313340] ppid=313287 vsize=308392 memory=0 CPUtime=12.05 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 69487 0 0 0 1199 6 0 0 20 0 3 0 30836384 315793408 50958 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=308392 memory=74940 CPUtime=0 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 30836386 315793408 50958 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 308392 KiB
Current children cumulated memory: 203832 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.17 4.06 4/255 313425
/proc/meminfo: memFree=108472444/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=308392 memory=203852 CPUtime=25.37 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 118030 0 0 0 2527 10 0 0 20 0 3 0 30836329 315793408 50963 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 77098 50963 2958 3032 0 60657 0
[pid=313290/tid=313340] ppid=313287 vsize=308392 memory=74940 CPUtime=24.82 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 101491 0 0 0 2474 8 0 0 20 0 3 0 30836384 315793408 50963 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=308392 memory=203836 CPUtime=0 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 30836386 315793408 50963 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 308392 KiB
Current children cumulated memory: 203852 KiB
[startup+51.1054 s]
/proc/loadavg: 3.78 4.07 4.03 4/256 313430
/proc/meminfo: memFree=108453668/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=308392 memory=205908 CPUtime=50.89 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 165604 0 0 0 5076 13 0 0 20 0 3 0 30836329 315793408 51477 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 77098 51477 2958 3032 0 61108 0
[pid=313290/tid=313340] ppid=313287 vsize=308392 memory=205908 CPUtime=50.33 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 148939 0 0 0 5022 11 0 0 20 0 3 0 30836384 315793408 51477 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=308392 memory=205812 CPUtime=0 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 30836386 315793408 51477 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 308392 KiB
Current children cumulated memory: 205908 KiB
[startup+102.3 s]
/proc/loadavg: 2.86 3.78 3.93 3/247 313471
/proc/meminfo: memFree=108511996/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=315132 memory=217964 CPUtime=101.9 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 228268 0 0 0 10171 19 0 0 20 0 3 0 30836329 322695168 54491 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 78783 54491 2958 3032 0 65821 0
[pid=313290/tid=313340] ppid=313287 vsize=315132 memory=216096 CPUtime=101.34 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 211477 0 0 0 10118 16 0 0 20 0 3 0 30836384 322695168 54491 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=315132 memory=215868 CPUtime=0 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 30836386 322695168 54491 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 315132 KiB
Current children cumulated memory: 217964 KiB
[startup+162.3 s]
/proc/loadavg: 2.35 3.47 3.81 3/246 313482
/proc/meminfo: memFree=108492612/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=408920 memory=230380 CPUtime=161.7 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 253990 0 0 0 16146 24 0 0 20 0 3 0 30836329 418734080 57595 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 102230 57595 2958 3032 0 92419 0
[pid=313290/tid=313340] ppid=313287 vsize=408920 memory=223552 CPUtime=161.13 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 236409 0 0 0 16092 21 0 0 20 0 3 0 30836384 418734080 57595 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=408920 memory=223724 CPUtime=0 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 30836386 418734080 57595 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 408920 KiB
Current children cumulated memory: 230380 KiB
[startup+222.3 s]
/proc/loadavg: 2.18 3.21 3.70 3/247 313493
/proc/meminfo: memFree=108473876/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=482964 memory=246620 CPUtime=221.5 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 277616 0 0 0 22123 27 0 0 20 0 3 0 30836329 494555136 61655 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 120741 61655 2958 3032 0 114965 0
[pid=313290/tid=313340] ppid=313287 vsize=482964 memory=237620 CPUtime=220.93 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 259771 0 0 0 22069 24 0 0 20 0 3 0 30836384 494555136 61655 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=482964 memory=246620 CPUtime=0 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 30836386 494555136 61655 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 482964 KiB
Current children cumulated memory: 246620 KiB
################
# More data... #
################
Current children cumulated memory: 2880284 KiB
[startup+3462.3 s]
/proc/loadavg: 1.06 1.12 1.30 2/238 315778
/proc/meminfo: memFree=106364472/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=3260732 memory=2985352 CPUtime=3451.76 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 1285265 0 0 0 345019 157 0 0 20 0 3 0 30836329 3338989568 746338 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 815183 746338 2974 3032 0 801600 0
[pid=313290/tid=313340] ppid=313287 vsize=3260732 memory=12544 CPUtime=3451.03 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 1265106 0 0 0 344955 148 0 0 20 0 3 0 30836384 3338989568 746338 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=3260732 memory=2977144 CPUtime=0.03 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 99 0 0 0 1 2 0 0 20 0 3 0 30836386 3338989568 746338 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 3260732 KiB
Current children cumulated memory: 2985352 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.13 1.28 2/238 315788
/proc/meminfo: memFree=106342648/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=3283020 memory=3006480 CPUtime=3511.59 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 1327919 0 0 0 350997 162 0 0 20 0 3 0 30836329 3361812480 751620 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 820755 751620 2974 3032 0 811432 0
[pid=313290/tid=313340] ppid=313287 vsize=3283020 memory=12544 CPUtime=3510.85 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 1307723 0 0 0 350932 153 0 0 20 0 3 0 30836384 3361812480 751620 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=3283020 memory=2977144 CPUtime=0.03 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 100 0 0 0 1 2 0 0 20 0 3 0 30836386 3361812480 751620 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 3511.59 s
Current children cumulated vsize: 3283020 KiB
Current children cumulated memory: 3006480 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.12 1.27 2/241 315859
/proc/meminfo: memFree=106314304/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=3308108 memory=3033648 CPUtime=3571.41 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 1365628 0 0 0 356975 166 0 0 20 0 3 0 30836329 3387502592 758412 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 827027 758412 2974 3032 0 820498 0
[pid=313290/tid=313340] ppid=313287 vsize=3308108 memory=12544 CPUtime=3570.68 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 1345411 0 0 0 356911 157 0 0 20 0 3 0 30836384 3387502592 758412 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=3308108 memory=3033600 CPUtime=0.03 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 30836386 3387502592 758412 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 3571.41 s
Current children cumulated vsize: 3308108 KiB
Current children cumulated memory: 3033648 KiB
[startup+3600.31 s]
# the end of solver process 313290 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.62 s, system=1.75687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.10 1.12 1.27 2/241 315859
/proc/meminfo: memFree=106314364/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=3312624 memory=3033660 CPUtime=3573.12 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 1365707 0 0 0 357145 167 0 0 20 0 3 0 30836329 3392126976 758415 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 828156 758415 2974 3032 0 821627 0
[pid=313290/tid=313340] ppid=313287 vsize=3312624 memory=6720667661925301091 CPUtime=3572.38 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 1345490 0 0 0 357081 157 0 0 20 0 3 0 30836384 3392126976 758415 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=3312624 memory=-8982072559612182687 CPUtime=0.03 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 30836386 3392126976 758415 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 3312624 KiB
Current children cumulated memory: 3033660 KiB
[startup+3590.4 s]
/proc/loadavg: 1.08 1.11 1.27 2/241 315860
/proc/meminfo: memFree=106288432/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=3378160 memory=3059628 CPUtime=3579.49 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 1373900 0 0 0 357782 167 0 0 20 0 3 0 30836329 3459235840 764907 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 844540 764907 2974 3032 0 828625 0
[pid=313290/tid=313340] ppid=313287 vsize=3378160 memory=12544 CPUtime=3578.75 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 1353683 0 0 0 357717 158 0 0 20 0 3 0 30836384 3459235840 764907 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=3378160 memory=3033600 CPUtime=0.03 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 30836386 3459235840 764907 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 3579.49 s
Current children cumulated vsize: 3378160 KiB
Current children cumulated memory: 3059628 KiB
[startup+3596.8 s]
/proc/loadavg: 1.07 1.11 1.26 2/240 315862
/proc/meminfo: memFree=106288404/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=3378160 memory=3059640 CPUtime=3585.87 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 1374109 0 0 0 358420 167 0 0 20 0 3 0 30836329 3459235840 764910 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 844540 764910 2974 3032 0 828625 0
[pid=313290/tid=313340] ppid=313287 vsize=3378160 memory=75408 CPUtime=3585.14 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 1353892 0 0 0 358356 158 0 0 20 0 3 0 30836384 3459235840 764910 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=3378160 memory=0 CPUtime=0.03 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 30836386 3459235840 764910 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 3378160 KiB
Current children cumulated memory: 3059640 KiB
[startup+3598.4 s]
/proc/loadavg: 1.07 1.11 1.26 2/240 315862
/proc/meminfo: memFree=106288396/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=3378160 memory=3059640 CPUtime=3587.46 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 1374263 0 0 0 358579 167 0 0 20 0 3 0 30836329 3459235840 764910 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 844540 764910 2974 3032 0 828625 0
[pid=313290/tid=313340] ppid=313287 vsize=3378160 memory=19540 CPUtime=3586.73 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 1354046 0 0 0 358515 158 0 0 20 0 3 0 30836384 3459235840 764910 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=3378160 memory=11540 CPUtime=0.03 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 30836386 3459235840 764910 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 3378160 KiB
Current children cumulated memory: 3059640 KiB
[startup+3599.2 s]
/proc/loadavg: 1.07 1.11 1.26 2/240 315862
/proc/meminfo: memFree=106288396/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=3378160 memory=3059640 CPUtime=3588.26 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 1374279 0 0 0 358659 167 0 0 20 0 3 0 30836329 3459235840 764910 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 844540 764910 2974 3032 0 828625 0
[pid=313290/tid=313340] ppid=313287 vsize=3378160 memory=16192 CPUtime=3587.53 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 1354062 0 0 0 358595 158 0 0 20 0 3 0 30836384 3459235840 764910 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=3378160 memory=2304 CPUtime=0.03 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 30836386 3459235840 764910 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 3588.26 s
Current children cumulated vsize: 3378160 KiB
Current children cumulated memory: 3059640 KiB
[startup+3600 s]*
/proc/loadavg: 1.15 1.13 1.27 2/240 315862
/proc/meminfo: memFree=106288404/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=3378160 memory=3059648 CPUtime=3589.07 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 1374320 0 0 0 358740 167 0 0 20 0 3 0 30836329 3459235840 764912 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 844540 764912 2974 3032 0 828625 0
[pid=313290/tid=313340] ppid=313287 vsize=3378160 memory=6720667661925301091 CPUtime=3588.33 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 1354103 0 0 0 358675 158 0 0 20 0 3 0 30836384 3459235840 764912 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=3378160 memory=-8982072559612182687 CPUtime=0.03 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 30836386 3459235840 764912 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 3589.07 s
Current children cumulated vsize: 3378160 KiB
Current children cumulated memory: 3059648 KiB
[startup+3600.2 s]
/proc/loadavg: 1.15 1.13 1.27 2/240 315862
/proc/meminfo: memFree=106288404/131524600 swapFree=131071728/131071996
[pid=313290] ppid=313287 vsize=3378160 memory=3059648 CPUtime=3589.26 cores=0,2
/proc/313290/stat : 313290 (fscip) S 313287 313290 310643 0 -1 1077936128 1391622 0 0 0 358758 168 0 0 20 0 3 0 30836329 3459235840 764912 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
/proc/313290/statm: 844540 764912 2974 3032 0 828625 0
[pid=313290/tid=313340] ppid=313287 vsize=3378160 memory=108 CPUtime=3588.53 cores=0,2
/proc/313290/task/313340/stat : 313340 (fscip) R 313287 313290 310643 0 -1 4194368 1371405 0 0 0 358694 159 0 0 20 0 3 0 30836384 3459235840 764912 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
[pid=313290/tid=313341] ppid=313287 vsize=3378160 memory=32496 CPUtime=0.03 cores=0,2
/proc/313290/task/313341/stat : 313341 (fscip) S 313287 313290 310643 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 30836386 3459235840 764912 134679101440 4194304 16613245 140720764378864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27529216 140720764384276 140720764384392 140720764384392 140720764391408 0
Current children cumulated CPU time: 3589.26 s
Current children cumulated vsize: 3378160 KiB
Current children cumulated memory: 3059648 KiB
[startup+3600.3 s]*
/proc/loadavg: 1.15 1.13 1.27 2/239 315862
/proc/meminfo: memFree=108658404/131524600 swapFree=131071728/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): 3600.31
CPU time (s): 3589.38
CPU user time (s): 3587.62
CPU system time (s): 1.75687
CPU usage (%): 99.6964
Max. virtual memory (cumulated for all children) (KiB): 3378160
Max. memory (cumulated for all children) (KiB): 3059648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.62
system time used= 1.75687
maximum resident set size= 3059648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1393439
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= 7970
involuntary context switches= 25389
# summary of solver processes directly reported to runsolver:
# pid: 313290
# total CPU time (s): 3589.38
# total CPU user time (s): 3587.62
# total CPU system time (s): 1.75687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90153 second user time and 16.1666 second system time
The end
Begin job on nodeC029 at 2024-07-25 23:31:09
IDJOB=4460043
IDBENCH=160600
IDSOLVER=3064
FILE ID=nodeC029/4460043-1721943069
RUNJOBID= nodeC029-1721939462-310655
SLURM_JOB_ID= 8247249
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4460043-1721943069/watcher-4460043-1721943069 -o /tmp/evaluation-result-4460043-1721943069/solver-4460043-1721943069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310655 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4460043-1721943069.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f5c432639ff617f018d9bdeeea2281b7
RANDOM SEED=266789729
nodeC029.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 : 3657.694
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 : 3642.292
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.34
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 : 3674.918
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 : 3668.278
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.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.720
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 : 3669.334
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.34
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 : 3599.989
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 : 3671.832
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.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 108692088 kB
MemAvailable: 129013308 kB
Buffers: 335776 kB
Cached: 20688300 kB
SwapCached: 44 kB
Active: 2916688 kB
Inactive: 19038552 kB
Active(anon): 1588 kB
Inactive(anon): 983292 kB
Active(file): 2915100 kB
Inactive(file): 18055260 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 56636 kB
Writeback: 0 kB
AnonPages: 929012 kB
Mapped: 143708 kB
Shmem: 54012 kB
KReclaimable: 381364 kB
Slab: 516128 kB
SReclaimable: 381364 kB
SUnreclaim: 134764 kB
KernelStack: 4172 kB
PageTables: 11012 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 860272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 21472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1122304 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: 350932 kB
DirectMap2M: 44511232 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890040 MiB
End job on nodeC029 at 2024-07-26 00:31:09