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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22552576, getVmSize() = 22552576, SCIPgetMemUsed() = 828993, SCIPgetMemTotal() = 1110369, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.03 c ** Estimated virtualMemUsedAtSolver = 16203776, getVmSize() = 26058752, SCIPgetMemUsed() = 1812379, SCIPgetMemTotal() = 3471699, SCIPgetMemExternEstim() = 1048576
0.00/0.03 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.03 c Original Problem :
0.00/0.03 c Problem name : instance-4434693-1721095524
0.00/0.03 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 17
0.00/0.03 c Objective sense : minimize
0.00/0.03 c Presolved Problem :
0.00/0.03 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 18
0.00/0.03 c Constraints : Number
0.00/0.03 c knapsack : 1
0.00/0.03 c linear : 15
0.00/0.03 c logicor : 2
0.00/0.03 c ** Instance transfer method used: 0
0.00/0.04 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.04 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.04 c Nodes Active
0.00/0.04 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.27/5.36 c 5 7543 5984 1 - 0.0000 -
10.35/10.41 c 10 20690 15705 1 - 0.0000 -
15.34/15.47 c 15 32595 23658 1 - 0.0000 -
20.42/20.52 c 21 43573 31154 1 - 0.0000 -
25.40/25.57 c 26 54269 38158 1 - 0.0000 -
30.48/30.63 c 31 64670 45051 1 - 0.0000 -
35.47/35.68 c 36 74415 51532 1 - 0.0000 -
40.55/40.75 c 41 83906 57623 1 - 0.0000 -
45.64/45.80 c 46 93443 63972 1 - 0.0000 -
50.62/50.90 c 51 102556 69899 1 - 0.0000 -
55.70/55.94 c 56 111890 75739 1 - 0.0000 -
60.80/61.04 c 61 120779 81422 1 - 0.0000 -
65.79/66.09 c 66 130199 87086 1 - 0.0000 -
70.96/71.20 c 71 138730 92511 1 - 0.0000 -
75.95/76.25 c 76 146943 97492 1 - 0.0000 -
81.03/81.32 c 81 155806 102747 1 - 0.0000 -
86.01/86.39 c 86 164967 107946 1 - 0.0000 -
91.10/91.46 c 91 172794 112787 1 - 0.0000 -
96.19/96.53 c 97 181202 117827 1 - 0.0000 -
101.17/101.59 c 102 188538 122653 1 - 0.0000 -
106.26/106.68 c 107 196762 127503 1 - 0.0000 -
111.44/111.85 c 112 204890 132183 1 - 0.0000 -
116.43/116.89 c 117 212460 136721 1 - 0.0000 -
121.51/122.01 c 122 220227 141372 1 - 0.0000 -
126.71/127.14 c 127 227819 145836 1 - 0.0000 -
131.88/132.36 c 132 236073 150610 1 - 0.0000 -
136.96/137.41 c 137 244504 155189 1 - 0.0000 -
141.95/142.47 c 142 252792 159881 1 - 0.0000 -
147.13/147.61 c 148 259808 163955 1 - 0.0000 -
152.12/152.65 c 153 265967 167644 1 - 0.0000 -
157.21/157.72 c 158 272702 171623 1 - 0.0000 -
162.29/162.84 c 163 279845 175802 1 - 0.0000 -
167.37/167.95 c 168 286503 179674 1 - 0.0000 -
172.66/173.25 c 173 293245 183772 1 - 0.0000 -
177.65/178.29 c 178 300349 187762 1 - 0.0000 -
182.73/183.35 c 183 307199 191670 1 - 0.0000 -
187.92/188.58 c 189 313777 195458 1 - 0.0000 -
193.20/193.84 c 194 320058 199235 1 - 0.0000 -
198.29/198.92 c 199 326752 203081 1 - 0.0000 -
203.38/204.02 c 204 332989 206618 1 - 0.0000 -
208.54/209.22 c 209 340006 210303 1 - 0.0000 -
213.63/214.38 c 214 346957 214070 1 - 0.0000 -
218.70/219.44 c 219 352214 217475 1 - 0.0000 -
223.79/224.55 c 225 358727 220936 1 - 0.0000 -
228.87/229.66 c 230 363553 223950 1 - 0.0000 -
233.95/234.75 c 235 369699 227348 1 - 0.0000 -
239.03/239.88 c 240 375652 230751 1 - 0.0000 -
244.42/245.20 c 245 382532 234417 1 - 0.0000 -
249.60/250.42 c 250 387779 237538 1 - 0.0000 -
254.69/255.51 c 256 393397 240784 1 - 0.0000 -
259.88/260.76 c 261 399347 244038 1 - 0.0000 -
265.18/266.04 c 266 404973 247158 1 - 0.0000 -
270.44/271.31 c 271 409486 250033 1 - 0.0000 -
275.53/276.43 c 276 414542 252961 1 - 0.0000 -
280.61/281.57 c 282 420749 256518 1 - 0.0000 -
285.69/286.67 c 287 425322 259203 1 - 0.0000 -
290.88/291.86 c 292 431760 262495 1 - 0.0000 -
296.08/297.02 c 297 437090 265287 1 - 0.0000 -
301.07/302.10 c 302 442597 268276 1 - 0.0000 -
306.33/307.37 c 307 448082 271225 1 - 0.0000 -
311.71/312.71 c 313 454020 274481 1 - 0.0000 -
316.80/317.81 c 318 457980 276921 1 - 0.0000 -
322.00/323.07 c 323 463749 280144 1 - 0.0000 -
327.17/328.29 c 328 469064 283011 1 - 0.0000 -
332.46/333.50 c 334 475338 286279 1 - 0.0000 -
337.64/338.71 c 339 480386 289059 1 - 0.0000 -
343.03/344.16 c 344 484750 291679 1 - 0.0000 -
348.31/349.43 c 349 491079 294824 1 - 0.0000 -
353.39/354.55 c 355 496438 297827 1 - 0.0000 -
358.47/359.68 c 360 500840 300355 1 - 0.0000 -
363.56/364.78 c 365 506295 303172 1 - 0.0000 -
368.95/370.13 c 370 511267 305950 1 - 0.0000 -
374.52/375.75 c 376 514423 308200 1 - 0.0000 -
379.92/381.12 c 381 518622 310709 1 - 0.0000 -
385.19/386.47 c 386 523849 313658 1 - 0.0000 -
390.38/391.62 c 392 528694 316293 1 - 0.0000 -
395.56/396.82 c 397 533325 318868 1 - 0.0000 -
401.04/402.36 c 402 537702 321457 1 - 0.0000 -
406.33/407.69 c 408 542036 323939 1 - 0.0000 -
411.74/413.02 c 413 547047 326720 1 - 0.0000 -
417.00/418.37 c 418 550927 329024 1 - 0.0000 -
422.19/423.51 c 424 555044 331321 1 - 0.0000 -
427.58/428.91 c 429 559515 333897 1 - 0.0000 -
432.77/434.19 c 434 564402 336580 1 - 0.0000 -
438.15/439.50 c 440 569214 339342 1 - 0.0000 -
443.65/445.07 c 445 572630 341434 1 - 0.0000 -
448.73/450.17 c 450 577619 344087 1 - 0.0000 -
453.91/455.39 c 455 582475 346597 1 - 0.0000 -
459.39/460.86 c 461 587381 349361 1 - 0.0000 -
464.88/466.33 c 466 590595 351359 1 - 0.0000 -
470.17/471.63 c 472 595647 353867 1 - 0.0000 -
475.45/476.96 c 477 600104 356266 1 - 0.0000 -
481.44/482.91 c 483 604872 358840 1 - 0.0000 -
486.72/488.26 c 488 609147 361243 1 - 0.0000 -
491.91/493.42 c 493 613964 363824 1 - 0.0000 -
497.10/498.65 c 499 618534 366140 1 - 0.0000 -
502.38/503.92 c 504 623369 368749 1 - 0.0000 -
507.86/509.40 c 509 627565 370989 1 - 0.0000 -
513.25/514.80 c 515 631592 373241 1 - 0.0000 -
518.34/520.00 c 520 636074 375543 1 - 0.0000 -
523.53/525.12 c 525 640378 377909 1 - 0.0000 -
528.71/530.37 c 530 644615 380170 1 - 0.0000 -
534.19/535.89 c 536 647579 381888 1 - 0.0000 -
539.49/541.19 c 541 650940 383763 1 - 0.0000 -
545.25/546.90 c 547 655438 386241 1 - 0.0000 -
550.64/552.37 c 552 659690 388477 1 - 0.0000 -
556.52/558.26 c 558 664004 390981 1 - 0.0000 -
561.90/563.64 c 564 668314 393241 1 - 0.0000 -
567.18/568.96 c 569 673513 395870 1 - 0.0000 -
572.37/574.13 c 574 677402 398047 1 - 0.0000 -
578.36/580.17 c 580 680882 399943 1 - 0.0000 -
583.92/585.74 c 586 684757 402176 1 - 0.0000 -
589.51/591.32 c 591 688808 404401 1 - 0.0000 -
594.70/596.59 c 597 694488 406947 1 - 0.0000 -
600.58/602.41 c 602 698262 408985 1 - 0.0000 -
606.18/608.02 c 608 702512 411227 1 - 0.0000 -
611.75/613.60 c 614 707856 413774 1 - 0.0000 -
616.84/618.70 c 619 711692 415728 1 - 0.0000 -
622.32/624.23 c 624 715625 417883 1 - 0.0000 -
627.60/629.50 c 630 719601 419975 1 - 0.0000 -
632.59/634.56 c 635 723708 422050 1 - 0.0000 -
637.87/639.89 c 640 728232 424380 1 - 0.0000 -
643.65/645.64 c 646 732659 426653 1 - 0.0000 -
648.83/650.81 c 651 736634 428974 1 - 0.0000 -
654.41/656.46 c 656 741297 431255 1 - 0.0000 -
659.89/661.99 c 662 745569 433453 1 - 0.0000 -
665.37/667.46 c 667 748954 435338 1 - 0.0000 -
671.16/673.20 c 673 752197 437285 1 - 0.0000 -
676.35/678.49 c 678 756593 439437 1 - 0.0000 -
681.73/683.86 c 684 760214 441408 1 - 0.0000 -
687.31/689.45 c 689 764190 443540 1 - 0.0000 -
692.40/694.54 c 695 768212 445600 1 - 0.0000 -
697.90/700.09 c 700 773157 448173 1 - 0.0000 -
703.78/705.90 c 706 777320 450618 1 - 0.0000 -
709.45/711.65 c 712 781246 452796 1 - 0.0000 -
715.44/717.65 c 718 783787 454443 1 - 0.0000 -
720.95/723.17 c 723 787453 456417 1 - 0.0000 -
726.51/728.76 c 729 792197 458873 1 - 0.0000 -
732.10/734.35 c 734 794526 460342 1 - 0.0000 -
738.09/740.33 c 740 797022 461990 1 - 0.0000 -
743.57/745.82 c 746 802185 464573 1 - 0.0000 -
748.96/751.21 c 751 804965 466135 1 - 0.0000 -
754.85/757.19 c 757 808269 468059 1 - 0.0000 -
760.43/762.78 c 763 812546 470216 1 - 0.0000 -
766.32/768.67 c 769 816110 472100 1 - 0.0000 -
772.39/774.70 c 775 819347 474019 1 - 0.0000 -
777.87/780.21 c 780 823379 476095 1 - 0.0000 -
782.96/785.35 c 785 826906 478008 1 - 0.0000 -
788.66/791.08 c 791 831029 479971 1 - 0.0000 -
794.54/796.98 c 797 834626 481824 1 - 0.0000 -
799.74/802.17 c 802 837942 483706 1 - 0.0000 -
805.10/807.58 c 808 842664 485856 1 - 0.0000 -
811.29/813.73 c 814 846882 488128 1 - 0.0000 -
816.88/819.39 c 819 850627 490093 1 - 0.0000 -
822.17/824.66 c 825 855290 492286 1 - 0.0000 -
827.67/830.13 c 830 859338 494368 1 - 0.0000 -
832.84/835.40 c 835 864102 496628 1 - 0.0000 -
838.23/840.75 c 841 867922 498562 1 - 0.0000 -
844.21/846.70 c 847 871147 500277 1 - 0.0000 -
849.60/852.12 c 852 874770 502192 1 - 0.0000 -
854.88/857.48 c 857 878210 504040 1 - 0.0000 -
860.17/862.78 c 863 881900 506102 1 - 0.0000 -
866.35/868.96 c 869 885946 508180 1 - 0.0000 -
871.84/874.44 c 874 890900 510578 1 - 0.0000 -
877.53/880.15 c 880 893340 511972 1 - 0.0000 -
883.42/886.01 c 886 897520 514086 1 - 0.0000 -
888.78/891.44 c 891 901331 516055 1 - 0.0000 -
893.96/896.64 c 897 904640 517822 1 - 0.0000 -
899.54/902.22 c 902 908097 519537 1 - 0.0000 -
905.62/908.33 c 908 911797 521435 1 - 0.0000 -
910.81/913.56 c 914 915910 523358 1 - 0.0000 -
916.59/919.34 c 919 917748 524616 1 - 0.0000 -
922.47/925.24 c 925 921123 526403 1 - 0.0000 -
927.84/930.61 c 931 925710 528562 1 - 0.0000 -
933.24/936.04 c 936 928284 530000 1 - 0.0000 -
938.70/941.59 c 942 931992 531722 1 - 0.0000 -
944.39/947.27 c 947 934783 533203 1 - 0.0000 -
950.28/953.14 c 953 938929 535311 1 - 0.0000 -
955.74/958.63 c 959 943132 537456 1 - 0.0000 -
961.33/964.30 c 964 945659 538839 1 - 0.0000 -
966.51/969.42 c 969 946986 539800 1 - 0.0000 -
972.29/975.22 c 975 948124 540688 1 - 0.0000 -
977.37/980.33 c 980 949492 541568 1 - 0.0000 -
982.75/985.71 c 986 951829 543033 1 - 0.0000 -
988.43/991.46 c 991 953954 544338 1 - 0.0000 -
993.72/996.73 c 997 956555 545827 1 - 0.0000 -
999.40/1002.40 c 1002 960295 547711 1 - 0.0000 -
1004.87/1007.96 c 1008 963963 549639 1 - 0.0000 -
1010.25/1013.39 c 1013 967937 551641 1 - 0.0000 -
1015.34/1018.43 c 1018 970636 553044 1 - 0.0000 -
1020.52/1023.61 c 1024 973899 554785 1 - 0.0000 -
1025.92/1029.10 c 1029 977856 556702 1 - 0.0000 -
1031.68/1034.80 c 1035 980477 558181 1 - 0.0000 -
1037.06/1040.26 c 1040 983356 559616 1 - 0.0000 -
1042.74/1045.91 c 1046 987813 561739 1 - 0.0000 -
1048.72/1051.93 c 1052 990895 563389 1 - 0.0000 -
1054.10/1057.31 c 1057 993302 564810 1 - 0.0000 -
1059.28/1062.56 c 1063 996312 566364 1 - 0.0000 -
1065.26/1068.55 c 1069 999043 568015 1 - 0.0000 -
1070.76/1074.06 c 1074 1002717 569909 1 - 0.0000 -
1076.23/1079.56 c 1080 1006786 571934 1 - 0.0000 -
1082.20/1085.53 c 1086 1010119 573625 1 - 0.0000 -
1087.38/1090.75 c 1091 1013469 575187 1 - 0.0000 -
1092.67/1096.02 c 1096 1017302 577062 1 - 0.0000 -
1097.94/1101.33 c 1101 1019603 578275 1 - 0.0000 -
1103.43/1106.84 c 1107 1022118 579790 1 - 0.0000 -
1109.41/1112.89 c 1113 1024609 581269 1 - 0.0000 -
1115.50/1118.90 c 1119 1028249 583065 1 - 0.0000 -
1120.98/1124.48 c 1124 1031187 584495 1 - 0.0000 -
1126.46/1129.97 c 1130 1035240 586342 1 - 0.0000 -
1132.56/1136.03 c 1136 1038645 588165 1 - 0.0000 -
1137.74/1141.29 c 1141 1041644 589814 1 - 0.0000 -
1143.43/1146.94 c 1147 1045462 591672 1 - 0.0000 -
1148.52/1152.06 c 1152 1047193 592805 1 - 0.0000 -
1154.09/1157.66 c 1158 1048926 593832 1 - 0.0000 -
1159.98/1163.50 c 1164 1052994 595910 1 - 0.0000 -
1165.66/1169.20 c 1169 1055308 597308 1 - 0.0000 -
1170.94/1174.55 c 1175 1060194 599490 1 - 0.0000 -
1176.83/1180.46 c 1180 1062539 600665 1 - 0.0000 -
1182.32/1185.99 c 1186 1063330 601332 1 - 0.0000 -
1188.21/1191.87 c 1192 1064947 602539 1 - 0.0000 -
1193.89/1197.52 c 1198 1066846 603738 1 - 0.0000 -
1199.78/1203.48 c 1203 1069387 605293 1 - 0.0000 -
1205.76/1209.46 c 1209 1071535 606645 1 - 0.0000 -
1211.75/1215.46 c 1215 1074354 608238 1 - 0.0000 -
1217.35/1221.06 c 1221 1076758 609646 1 - 0.0000 -
1223.33/1227.08 c 1227 1077634 610278 1 - 0.0000 -
1228.60/1232.30 c 1232 1079469 611431 1 - 0.0000 -
1234.20/1237.99 c 1238 1081857 612857 1 - 0.0000 -
1239.29/1243.05 c 1243 1083874 614118 1 - 0.0000 -
1244.97/1248.72 c 1249 1086744 615542 1 - 0.0000 -
1250.55/1254.31 c 1254 1089994 617200 1 - 0.0000 -
1256.04/1259.87 c 1260 1093573 619001 1 - 0.0000 -
1261.43/1265.26 c 1265 1096737 620699 1 - 0.0000 -
1267.11/1270.94 c 1271 1100684 622436 1 - 0.0000 -
1273.10/1277.01 c 1277 1103342 623966 1 - 0.0000 -
1278.88/1282.71 c 1283 1106755 625721 1 - 0.0000 -
1284.36/1288.23 c 1288 1110182 627438 1 - 0.0000 -
1290.05/1293.95 c 1294 1113152 628928 1 - 0.0000 -
1295.73/1299.66 c 1300 1117614 630996 1 - 0.0000 -
1301.72/1305.68 c 1306 1121020 632792 1 - 0.0000 -
1307.70/1311.65 c 1312 1125064 634736 1 - 0.0000 -
1312.89/1316.88 c 1317 1127540 636122 1 - 0.0000 -
1318.19/1322.20 c 1322 1131287 637897 1 - 0.0000 -
1323.46/1327.45 c 1327 1134155 639307 1 - 0.0000 -
1329.06/1333.01 c 1333 1137386 640850 1 - 0.0000 -
1334.05/1338.10 c 1338 1139848 642086 1 - 0.0000 -
1340.41/1344.42 c 1344 1141499 643155 1 - 0.0000 -
1345.50/1349.58 c 1350 1142474 643876 1 - 0.0000 -
1351.49/1355.54 c 1356 1144261 645081 1 - 0.0000 -
1357.08/1361.12 c 1361 1147493 646953 1 - 0.0000 -
1362.76/1366.89 c 1367 1150302 648492 1 - 0.0000 -
1368.95/1373.05 c 1373 1153326 650046 1 - 0.0000 -
1375.04/1379.15 c 1379 1156854 651820 1 - 0.0000 -
1381.02/1385.17 c 1385 1160045 653553 1 - 0.0000 -
1386.69/1390.89 c 1391 1162297 654920 1 - 0.0000 -
1392.38/1396.58 c 1397 1165223 656506 1 - 0.0000 -
1397.66/1401.80 c 1402 1168600 658273 1 - 0.0000 -
1402.96/1407.11 c 1407 1171269 659696 1 - 0.0000 -
1408.34/1412.59 c 1413 1173949 661010 1 - 0.0000 -
1413.83/1418.06 c 1418 1177369 662772 1 - 0.0000 -
1419.21/1423.46 c 1423 1180637 664424 1 - 0.0000 -
1424.90/1429.16 c 1429 1184425 666168 1 - 0.0000 -
1430.78/1435.07 c 1435 1187799 667896 1 - 0.0000 -
1436.66/1440.98 c 1441 1190134 669243 1 - 0.0000 -
1441.94/1446.29 c 1446 1191972 670403 1 - 0.0000 -
1448.12/1452.47 c 1452 1194335 671704 1 - 0.0000 -
1453.73/1458.02 c 1458 1197029 673170 1 - 0.0000 -
1458.99/1463.35 c 1463 1201682 675285 1 - 0.0000 -
1464.98/1469.35 c 1469 1205819 677246 1 - 0.0000 -
1470.07/1474.43 c 1474 1208345 678486 1 - 0.0000 -
1475.76/1480.16 c 1480 1211037 679950 1 - 0.0000 -
1481.23/1485.64 c 1486 1213729 681380 1 - 0.0000 -
1487.21/1491.65 c 1492 1217332 683113 1 - 0.0000 -
1493.10/1497.57 c 1498 1220919 684892 1 - 0.0000 -
1499.08/1503.52 c 1504 1222423 685928 1 - 0.0000 -
1504.47/1508.98 c 1509 1226109 687688 1 - 0.0000 -
1509.58/1514.07 c 1514 1228789 688998 1 - 0.0000 -
1515.56/1520.04 c 1520 1230153 689998 1 - 0.0000 -
1521.64/1526.12 c 1526 1233362 691787 1 - 0.0000 -
1527.41/1531.99 c 1532 1236382 693373 1 - 0.0000 -
1533.29/1537.84 c 1538 1239538 695099 1 - 0.0000 -
1538.88/1543.45 c 1543 1242472 696609 1 - 0.0000 -
1544.48/1549.01 c 1549 1246446 698467 1 - 0.0000 -
1549.57/1554.19 c 1554 1249662 699976 1 - 0.0000 -
1555.33/1559.98 c 1560 1253034 701580 1 - 0.0000 -
1560.82/1565.44 c 1565 1256787 703451 1 - 0.0000 -
1566.30/1570.95 c 1571 1259396 704882 1 - 0.0000 -
1571.88/1576.56 c 1577 1261985 706301 1 - 0.0000 -
1576.97/1581.63 c 1582 1265139 707789 1 - 0.0000 -
1582.56/1587.26 c 1587 1266643 708807 1 - 0.0000 -
1588.46/1593.19 c 1593 1270016 710526 1 - 0.0000 -
1594.22/1598.92 c 1599 1273657 712207 1 - 0.0000 -
1599.71/1604.45 c 1604 1276992 713830 1 - 0.0000 -
1605.00/1609.78 c 1610 1279532 715106 1 - 0.0000 -
1610.69/1615.47 c 1615 1283396 716976 1 - 0.0000 -
1615.97/1620.77 c 1621 1287079 718741 1 - 0.0000 -
1621.37/1626.18 c 1626 1288535 719679 1 - 0.0000 -
1627.36/1632.13 c 1632 1290902 721058 1 - 0.0000 -
1633.83/1638.64 c 1639 1293792 722680 1 - 0.0000 -
1639.02/1643.86 c 1644 1296052 723840 1 - 0.0000 -
1645.00/1649.86 c 1650 1298857 725337 1 - 0.0000 -
1651.08/1655.91 c 1656 1300797 726537 1 - 0.0000 -
1657.37/1662.24 c 1662 1302170 727550 1 - 0.0000 -
1662.85/1667.72 c 1668 1304307 728841 1 - 0.0000 -
1667.95/1672.81 c 1673 1305804 729696 1 - 0.0000 -
1672.93/1677.82 c 1678 1307429 730631 1 - 0.0000 -
1678.24/1683.17 c 1683 1309192 731656 1 - 0.0000 -
1683.31/1688.21 c 1688 1310652 732382 1 - 0.0000 -
1688.99/1693.98 c 1694 1312814 733530 1 - 0.0000 -
1695.28/1700.28 c 1700 1315740 735008 1 - 0.0000 -
1700.56/1705.52 c 1706 1317842 736378 1 - 0.0000 -
1705.85/1710.85 c 1711 1321017 737877 1 - 0.0000 -
1711.43/1716.43 c 1716 1321540 738344 1 - 0.0000 -
1716.72/1721.77 c 1722 1322523 739003 1 - 0.0000 -
1722.50/1727.58 c 1728 1325060 740508 1 - 0.0000 -
1728.69/1733.76 c 1734 1327066 741682 1 - 0.0000 -
1734.27/1739.39 c 1739 1329406 742994 1 - 0.0000 -
1739.66/1744.71 c 1745 1332397 744503 1 - 0.0000 -
1745.24/1750.38 c 1750 1336153 746261 1 - 0.0000 -
1750.73/1755.85 c 1756 1337949 747201 1 - 0.0000 -
1756.22/1761.31 c 1761 1339193 747997 1 - 0.0000 -
1762.20/1767.36 c 1767 1341734 749386 1 - 0.0000 -
1767.28/1772.46 c 1772 1343098 750292 1 - 0.0000 -
1772.88/1778.11 c 1778 1346033 751819 1 - 0.0000 -
1778.35/1783.59 c 1784 1350120 753704 1 - 0.0000 -
1783.55/1788.76 c 1789 1354155 755451 1 - 0.0000 -
1789.03/1794.20 c 1794 1358090 757224 1 - 0.0000 -
1794.51/1799.74 c 1800 1360092 758320 1 - 0.0000 -
1799.92/1805.12 c 1805 1363040 759826 1 - 0.0000 -
1806.08/1811.36 c 1811 1365564 761136 1 - 0.0000 -
1811.97/1817.22 c 1817 1367330 762214 1 - 0.0000 -
1817.86/1823.13 c 1823 1371476 764066 1 - 0.0000 -
1823.44/1828.76 c 1829 1374407 765411 1 - 0.0000 -
1829.12/1834.40 c 1834 1378126 767070 1 - 0.0000 -
1835.21/1840.59 c 1841 1381918 769022 1 - 0.0000 -
1841.10/1846.45 c 1846 1385115 770531 1 - 0.0000 -
1846.70/1852.09 c 1852 1388109 771853 1 - 0.0000 -
1852.78/1858.18 c 1858 1389259 772715 1 - 0.0000 -
1858.45/1863.81 c 1864 1390593 773703 1 - 0.0000 -
1863.54/1868.98 c 1869 1391363 774249 1 - 0.0000 -
1868.74/1874.15 c 1874 1392227 774909 1 - 0.0000 -
1874.42/1879.89 c 1880 1393877 775803 1 - 0.0000 -
1880.40/1885.86 c 1886 1395692 776978 1 - 0.0000 -
1886.49/1891.94 c 1892 1397695 778197 1 - 0.0000 -
1892.38/1897.85 c 1898 1400254 779556 1 - 0.0000 -
1898.06/1903.59 c 1904 1402968 781038 1 - 0.0000 -
1903.66/1909.16 c 1909 1405778 782484 1 - 0.0000 -
1909.55/1915.04 c 1915 1408614 783944 1 - 0.0000 -
1915.02/1920.50 c 1920 1410955 785271 1 - 0.0000 -
1920.90/1926.48 c 1926 1415356 787294 1 - 0.0000 -
1925.99/1931.53 c 1932 1416852 788212 1 - 0.0000 -
1931.78/1937.38 c 1937 1418622 789222 1 - 0.0000 -
1937.76/1943.39 c 1943 1421804 790772 1 - 0.0000 -
1943.14/1948.74 c 1949 1423730 791854 1 - 0.0000 -
1948.93/1954.57 c 1955 1424990 792642 1 - 0.0000 -
1954.54/1960.17 c 1960 1426932 793628 1 - 0.0000 -
1960.51/1966.12 c 1966 1429845 795033 1 - 0.0000 -
1966.09/1971.78 c 1972 1433163 796757 1 - 0.0000 -
1971.17/1976.85 c 1977 1434396 797428 1 - 0.0000 -
1976.76/1982.44 c 1982 1437443 798911 1 - 0.0000 -
1982.04/1987.73 c 1988 1440221 800233 1 - 0.0000 -
1987.34/1993.02 c 1993 1442947 801505 1 - 0.0000 -
1993.31/1999.04 c 1999 1445090 802682 1 - 0.0000 -
1998.88/2004.64 c 2005 1447650 803878 1 - 0.0000 -
2004.75/2010.58 c 2011 1450642 805324 1 - 0.0000 -
2010.25/2016.03 c 2016 1453907 806847 1 - 0.0000 -
2016.34/2022.14 c 2022 1456920 808312 1 - 0.0000 -
2022.39/2028.23 c 2028 1460545 810021 1 - 0.0000 -
2027.68/2033.57 c 2034 1462780 811086 1 - 0.0000 -
2032.96/2038.86 c 2039 1465255 812363 1 - 0.0000 -
2039.25/2045.19 c 2045 1469048 814108 1 - 0.0000 -
2045.02/2051.01 c 2051 1471372 815202 1 - 0.0000 -
2050.29/2056.25 c 2056 1474972 816826 1 - 0.0000 -
2055.98/2061.96 c 2062 1477649 818249 1 - 0.0000 -
2062.06/2068.03 c 2068 1479669 819299 1 - 0.0000 -
2067.44/2073.40 c 2073 1482444 820618 1 - 0.0000 -
2073.32/2079.38 c 2079 1485887 822073 1 - 0.0000 -
2079.01/2085.05 c 2085 1488694 823383 1 - 0.0000 -
2084.99/2091.02 c 2091 1491662 824805 1 - 0.0000 -
2090.65/2096.79 c 2097 1494406 826119 1 - 0.0000 -
2096.53/2102.60 c 2103 1498359 827870 1 - 0.0000 -
2101.93/2108.03 c 2108 1500333 828898 1 - 0.0000 -
2107.60/2113.75 c 2114 1503973 830564 1 - 0.0000 -
2112.68/2118.90 c 2119 1506236 831685 1 - 0.0000 -
2117.76/2123.95 c 2124 1507190 832373 1 - 0.0000 -
2123.25/2129.45 c 2129 1509144 833537 1 - 0.0000 -
2129.42/2135.62 c 2136 1511457 834734 1 - 0.0000 -
2135.20/2141.44 c 2141 1514190 836089 1 - 0.0000 -
2140.58/2146.88 c 2147 1518649 837974 1 - 0.0000 -
2146.36/2152.61 c 2153 1521523 839354 1 - 0.0000 -
2151.44/2157.70 c 2158 1523608 840441 1 - 0.0000 -
2157.23/2163.59 c 2164 1526670 841895 1 - 0.0000 -
2162.72/2169.05 c 2169 1529086 843035 1 - 0.0000 -
2168.29/2174.61 c 2175 1531905 844424 1 - 0.0000 -
2173.78/2180.16 c 2180 1534662 845731 1 - 0.0000 -
2179.84/2186.22 c 2186 1536809 847034 1 - 0.0000 -
2185.74/2192.14 c 2192 1539797 848468 1 - 0.0000 -
2191.11/2197.57 c 2198 1543671 850232 1 - 0.0000 -
2197.08/2203.58 c 2204 1546783 851740 1 - 0.0000 -
2202.26/2208.70 c 2209 1548574 852649 1 - 0.0000 -
2208.05/2214.52 c 2215 1550824 853805 1 - 0.0000 -
2213.23/2219.73 c 2220 1552289 854614 1 - 0.0000 -
2218.21/2224.78 c 2225 1554949 855920 1 - 0.0000 -
2224.10/2230.60 c 2231 1558352 857481 1 - 0.0000 -
2229.27/2235.89 c 2236 1560623 858554 1 - 0.0000 -
2234.47/2241.10 c 2241 1562045 859394 1 - 0.0000 -
2240.45/2247.06 c 2247 1564702 860627 1 - 0.0000 -
2246.32/2252.92 c 2253 1567191 861856 1 - 0.0000 -
2251.41/2258.06 c 2258 1568830 862785 1 - 0.0000 -
2256.88/2263.51 c 2264 1569599 863350 1 - 0.0000 -
2262.66/2269.39 c 2269 1571026 864225 1 - 0.0000 -
2268.64/2275.38 c 2275 1572582 865093 1 - 0.0000 -
2273.92/2280.63 c 2281 1574489 866130 1 - 0.0000 -
2279.70/2286.47 c 2286 1576892 867403 1 - 0.0000 -
2284.69/2291.48 c 2291 1577464 867861 1 - 0.0000 -
2290.38/2297.18 c 2297 1578887 868822 1 - 0.0000 -
2296.44/2303.25 c 2303 1580399 869754 1 - 0.0000 -
2302.42/2309.21 c 2309 1582332 870865 1 - 0.0000 -
2308.50/2315.36 c 2315 1584425 871958 1 - 0.0000 -
2313.89/2320.70 c 2321 1586827 873202 1 - 0.0000 -
2319.86/2326.78 c 2327 1588680 874283 1 - 0.0000 -
2326.44/2333.32 c 2333 1592313 876022 1 - 0.0000 -
2331.52/2338.46 c 2338 1594218 877019 1 - 0.0000 -
2337.22/2344.12 c 2344 1597990 878783 1 - 0.0000 -
2342.38/2349.32 c 2349 1600942 880189 1 - 0.0000 -
2348.27/2355.23 c 2355 1603932 881581 1 - 0.0000 -
2353.84/2360.89 c 2361 1607152 883071 1 - 0.0000 -
2359.04/2366.09 c 2366 1609305 884212 1 - 0.0000 -
2364.60/2371.66 c 2372 1611344 885285 1 - 0.0000 -
2370.59/2377.62 c 2378 1614649 886806 1 - 0.0000 -
2376.09/2383.15 c 2383 1618679 888544 1 - 0.0000 -
2382.06/2389.18 c 2389 1621518 889921 1 - 0.0000 -
2387.53/2394.68 c 2395 1622665 890672 1 - 0.0000 -
2393.41/2400.57 c 2401 1624752 891707 1 - 0.0000 -
2398.49/2405.66 c 2406 1626668 892727 1 - 0.0000 -
2404.77/2411.99 c 2412 1628903 893906 1 - 0.0000 -
2410.74/2418.01 c 2418 1631186 895115 1 - 0.0000 -
2416.53/2423.75 c 2424 1634196 896577 1 - 0.0000 -
2422.31/2429.52 c 2430 1636722 897779 1 - 0.0000 -
2427.58/2434.80 c 2435 1640297 899438 1 - 0.0000 -
2433.46/2440.78 c 2441 1642092 900465 1 - 0.0000 -
2439.24/2446.59 c 2447 1644095 901524 1 - 0.0000 -
2445.62/2452.93 c 2453 1646560 902903 1 - 0.0000 -
2450.90/2458.21 c 2458 1648452 903925 1 - 0.0000 -
2456.59/2464.01 c 2464 1652054 905653 1 - 0.0000 -
2461.79/2469.16 c 2469 1653679 906494 1 - 0.0000 -
2467.06/2474.42 c 2474 1657143 908022 1 - 0.0000 -
2472.45/2479.87 c 2480 1660079 909410 1 - 0.0000 -
2478.13/2485.50 c 2486 1662992 910689 1 - 0.0000 -
2483.52/2490.99 c 2491 1665355 911816 1 - 0.0000 -
2489.50/2496.95 c 2497 1667789 913072 1 - 0.0000 -
2494.99/2502.49 c 2502 1670586 914327 1 - 0.0000 -
2500.87/2508.37 c 2508 1673257 915666 1 - 0.0000 -
2506.75/2514.29 c 2514 1675682 916873 1 - 0.0000 -
2511.84/2519.31 c 2519 1677699 917862 1 - 0.0000 -
2518.22/2525.72 c 2526 1678672 918489 1 - 0.0000 -
2524.00/2531.54 c 2532 1681642 919883 1 - 0.0000 -
2530.37/2537.99 c 2538 1683272 920651 1 - 0.0000 -
2535.75/2543.30 c 2543 1684072 921189 1 - 0.0000 -
2541.24/2548.85 c 2549 1685240 921935 1 - 0.0000 -
2547.82/2555.40 c 2555 1686776 922841 1 - 0.0000 -
2553.89/2561.50 c 2562 1688045 923712 1 - 0.0000 -
2559.78/2567.47 c 2567 1690387 924894 1 - 0.0000 -
2565.47/2573.18 c 2573 1692049 925752 1 - 0.0000 -
2571.13/2578.84 c 2579 1693482 926587 1 - 0.0000 -
2577.12/2584.82 c 2585 1695862 927821 1 - 0.0000 -
2583.59/2591.30 c 2591 1697546 928863 1 - 0.0000 -
2589.47/2597.24 c 2597 1699636 930007 1 - 0.0000 -
2594.65/2602.49 c 2602 1702510 931331 1 - 0.0000 -
2600.73/2608.57 c 2609 1705804 932943 1 - 0.0000 -
2606.52/2614.33 c 2614 1709757 934570 1 - 0.0000 -
2611.99/2619.86 c 2620 1712289 935824 1 - 0.0000 -
2617.19/2625.07 c 2625 1714502 936852 1 - 0.0000 -
2623.46/2631.31 c 2631 1717613 938297 1 - 0.0000 -
2628.84/2636.72 c 2637 1721254 939696 1 - 0.0000 -
2634.51/2642.48 c 2642 1722142 940310 1 - 0.0000 -
2639.89/2647.83 c 2648 1723262 941032 1 - 0.0000 -
2645.68/2653.61 c 2654 1724719 941809 1 - 0.0000 -
2651.56/2659.54 c 2660 1726454 942746 1 - 0.0000 -
2657.15/2665.13 c 2665 1730023 944363 1 - 0.0000 -
2662.52/2670.58 c 2671 1733066 945726 1 - 0.0000 -
2667.80/2675.86 c 2676 1734834 946582 1 - 0.0000 -
2673.18/2681.21 c 2681 1736914 947616 1 - 0.0000 -
2678.27/2686.38 c 2686 1737904 948250 1 - 0.0000 -
2683.45/2691.54 c 2692 1738416 948678 1 - 0.0000 -
2689.33/2697.48 c 2697 1739369 949291 1 - 0.0000 -
2695.31/2703.44 c 2703 1741437 950471 1 - 0.0000 -
2700.70/2708.84 c 2709 1742444 951074 1 - 0.0000 -
2705.89/2714.09 c 2714 1744022 951966 1 - 0.0000 -
2711.87/2720.08 c 2720 1746415 953233 1 - 0.0000 -
2716.85/2725.09 c 2725 1748127 954173 1 - 0.0000 -
2723.02/2731.23 c 2731 1748970 954770 1 - 0.0000 -
2728.30/2736.53 c 2737 1750792 955854 1 - 0.0000 -
2733.99/2742.24 c 2742 1753366 957174 1 - 0.0000 -
2739.16/2747.42 c 2747 1754493 957947 1 - 0.0000 -
2744.76/2753.03 c 2753 1756712 959026 1 - 0.0000 -
2749.84/2758.19 c 2758 1759756 960400 1 - 0.0000 -
2754.91/2763.20 c 2763 1762419 961623 1 - 0.0000 -
2760.99/2769.35 c 2769 1765099 962953 1 - 0.0000 -
2766.57/2774.99 c 2775 1766865 963835 1 - 0.0000 -
2771.95/2780.31 c 2780 1768163 964605 1 - 0.0000 -
2778.14/2786.50 c 2786 1770944 965970 1 - 0.0000 -
2783.63/2792.10 c 2792 1774174 967384 1 - 0.0000 -
2789.40/2797.89 c 2798 1776988 968704 1 - 0.0000 -
2794.59/2803.10 c 2803 1779463 969991 1 - 0.0000 -
2799.68/2808.17 c 2808 1781930 971160 1 - 0.0000 -
2805.56/2814.01 c 2814 1784937 972503 1 - 0.0000 -
2811.23/2819.70 c 2820 1788116 973934 1 - 0.0000 -
2816.70/2825.26 c 2825 1790947 975287 1 - 0.0000 -
2822.18/2830.79 c 2831 1793559 976455 1 - 0.0000 -
2828.26/2836.87 c 2837 1797102 977988 1 - 0.0000 -
2834.24/2842.83 c 2843 1800876 979720 1 - 0.0000 -
2840.73/2849.32 c 2849 1803750 981154 1 - 0.0000 -
2846.52/2855.18 c 2855 1805176 982066 1 - 0.0000 -
2851.99/2860.68 c 2861 1806468 982910 1 - 0.0000 -
2858.27/2866.97 c 2867 1807909 983697 1 - 0.0000 -
2864.35/2873.09 c 2873 1810165 984793 1 - 0.0000 -
2869.83/2878.56 c 2879 1812872 986050 1 - 0.0000 -
2876.11/2884.89 c 2885 1814552 986882 1 - 0.0000 -
2882.40/2891.12 c 2891 1817829 988413 1 - 0.0000 -
2888.07/2896.80 c 2897 1819669 989363 1 - 0.0000 -
2893.26/2902.06 c 2902 1821546 990386 1 - 0.0000 -
2898.93/2907.71 c 2908 1824660 991748 1 - 0.0000 -
2904.01/2912.84 c 2913 1826592 992644 1 - 0.0000 -
2909.60/2918.40 c 2918 1828932 993764 1 - 0.0000 -
2915.77/2924.62 c 2925 1830367 994483 1 - 0.0000 -
2921.17/2930.02 c 2930 1832235 995495 1 - 0.0000 -
2926.25/2935.17 c 2935 1834166 996350 1 - 0.0000 -
2932.02/2941.01 c 2941 1836560 997382 1 - 0.0000 -
2938.00/2946.94 c 2947 1838265 998209 1 - 0.0000 -
2943.88/2952.80 c 2953 1839832 999076 1 - 0.0000 -
2948.97/2958.01 c 2958 1841852 1000014 1 - 0.0000 -
2954.06/2963.10 c 2963 1844120 1001140 1 - 0.0000 -
2960.04/2969.03 c 2969 1845915 1002127 1 - 0.0000 -
2966.03/2975.05 c 2975 1847810 1003168 1 - 0.0000 -
2971.40/2980.46 c 2980 1850103 1004259 1 - 0.0000 -
2977.49/2986.55 c 2987 1852037 1005165 1 - 0.0000 -
2983.27/2992.39 c 2992 1853633 1006005 1 - 0.0000 -
2988.98/2998.05 c 2998 1854929 1006723 1 - 0.0000 -
2994.35/3003.42 c 3003 1857513 1008035 1 - 0.0000 -
3000.34/3009.41 c 3009 1860150 1009274 1 - 0.0000 -
3006.31/3015.49 c 3015 1862988 1010606 1 - 0.0000 -
3011.40/3020.53 c 3021 1864722 1011506 1 - 0.0000 -
3017.68/3026.88 c 3027 1866954 1012534 1 - 0.0000 -
3022.88/3032.04 c 3032 1869715 1013715 1 - 0.0000 -
3027.96/3037.19 c 3037 1871680 1014698 1 - 0.0000 -
3034.94/3044.17 c 3044 1874254 1015944 1 - 0.0000 -
3041.10/3050.38 c 3050 1874854 1016422 1 - 0.0000 -
3047.58/3056.86 c 3057 1875920 1017164 1 - 0.0000 -
3053.47/3062.78 c 3063 1876769 1017737 1 - 0.0000 -
3058.86/3068.15 c 3068 1877923 1018511 1 - 0.0000 -
3065.03/3074.37 c 3074 1879004 1019200 1 - 0.0000 -
3070.73/3080.06 c 3080 1880342 1020040 1 - 0.0000 -
3076.39/3085.77 c 3086 1882240 1021172 1 - 0.0000 -
3081.69/3091.03 c 3091 1883910 1022094 1 - 0.0000 -
3087.06/3096.40 c 3096 1885900 1023152 1 - 0.0000 -
3093.54/3102.98 c 3103 1888162 1024338 1 - 0.0000 -
3099.02/3108.48 c 3108 1888834 1024862 1 - 0.0000 -
3104.40/3113.81 c 3114 1889570 1025450 1 - 0.0000 -
3109.89/3119.32 c 3119 1891617 1026581 1 - 0.0000 -
3115.36/3124.84 c 3125 1894175 1027807 1 - 0.0000 -
3121.04/3130.55 c 3131 1895863 1028707 1 - 0.0000 -
3126.83/3136.39 c 3136 1898011 1029879 1 - 0.0000 -
3133.20/3142.78 c 3143 1900458 1031116 1 - 0.0000 -
3138.89/3148.42 c 3148 1903417 1032515 1 - 0.0000 -
3145.07/3154.68 c 3155 1906504 1033918 1 - 0.0000 -
3150.65/3160.21 c 3160 1909225 1035237 1 - 0.0000 -
3156.55/3166.14 c 3166 1911942 1036396 1 - 0.0000 -
3162.21/3171.80 c 3172 1913084 1037088 1 - 0.0000 -
3168.10/3177.78 c 3178 1915939 1038443 1 - 0.0000 -
3174.28/3183.94 c 3184 1918628 1039730 1 - 0.0000 -
3179.55/3189.24 c 3189 1921074 1040788 1 - 0.0000 -
3185.35/3195.10 c 3195 1922649 1041601 1 - 0.0000 -
3190.62/3200.36 c 3200 1925642 1042928 1 - 0.0000 -
3197.69/3207.40 c 3207 1928130 1044102 1 - 0.0000 -
3203.07/3212.87 c 3213 1930215 1045107 1 - 0.0000 -
3208.46/3218.27 c 3218 1932442 1046080 1 - 0.0000 -
3213.74/3223.52 c 3224 1933809 1046821 1 - 0.0000 -
3219.24/3229.04 c 3229 1936386 1047950 1 - 0.0000 -
3224.91/3234.76 c 3235 1938586 1048998 1 - 0.0000 -
3230.79/3240.61 c 3241 1940600 1049972 1 - 0.0000 -
3235.87/3245.70 c 3246 1941994 1050714 1 - 0.0000 -
3240.95/3250.89 c 3251 1944517 1051719 1 - 0.0000 -
3246.84/3256.73 c 3257 1945081 1052201 1 - 0.0000 -
3252.23/3262.17 c 3262 1946332 1053020 1 - 0.0000 -
3257.60/3267.55 c 3268 1947922 1053954 1 - 0.0000 -
3263.58/3273.54 c 3274 1949744 1054928 1 - 0.0000 -
3269.46/3279.48 c 3279 1951363 1055781 1 - 0.0000 -
3274.84/3284.88 c 3285 1954653 1057235 1 - 0.0000 -
3280.73/3290.75 c 3291 1956093 1058063 1 - 0.0000 -
3286.21/3296.26 c 3296 1960005 1059680 1 - 0.0000 -
3292.10/3302.14 c 3302 1962677 1060918 1 - 0.0000 -
3297.37/3307.41 c 3307 1963169 1061362 1 - 0.0000 -
3302.66/3312.73 c 3313 1963902 1061951 1 - 0.0000 -
3307.74/3317.84 c 3318 1964430 1062277 1 - 0.0000 -
3313.82/3323.96 c 3324 1965379 1062964 1 - 0.0000 -
3319.60/3329.72 c 3330 1967349 1064016 1 - 0.0000 -
3325.89/3336.05 c 3336 1968783 1064864 1 - 0.0000 -
3331.88/3342.11 c 3342 1970892 1066001 1 - 0.0000 -
3337.24/3347.44 c 3347 1972916 1066929 1 - 0.0000 -
3342.94/3353.18 c 3353 1974829 1068026 1 - 0.0000 -
3348.82/3359.05 c 3359 1976723 1068942 1 - 0.0000 -
3353.90/3364.16 c 3364 1979104 1070013 1 - 0.0000 -
3359.67/3369.98 c 3370 1982179 1071474 1 - 0.0000 -
3364.77/3375.02 c 3375 1982799 1071924 1 - 0.0000 -
3370.23/3380.53 c 3381 1984293 1072740 1 - 0.0000 -
3375.32/3385.60 c 3386 1985560 1073487 1 - 0.0000 -
3380.60/3390.95 c 3391 1986943 1074298 1 - 0.0000 -
3386.59/3396.94 c 3397 1988056 1074955 1 - 0.0000 -
3392.86/3403.27 c 3403 1989595 1075790 1 - 0.0000 -
3398.45/3408.88 c 3409 1990993 1076630 1 - 0.0000 -
3404.03/3414.41 c 3414 1993212 1077735 1 - 0.0000 -
3409.51/3419.98 c 3420 1995390 1078821 1 - 0.0000 -
3415.89/3426.37 c 3426 1997197 1079912 1 - 0.0000 -
3421.48/3431.90 c 3432 1998848 1080819 1 - 0.0000 -
3426.96/3437.49 c 3438 2000202 1081627 1 - 0.0000 -
3432.73/3443.23 c 3443 2002652 1082775 1 - 0.0000 -
3437.82/3448.38 c 3448 2005146 1083943 1 - 0.0000 -
3443.10/3453.64 c 3454 2006650 1084763 1 - 0.0000 -
3448.68/3459.29 c 3459 2009367 1085952 1 - 0.0000 -
3454.36/3464.90 c 3465 2012186 1087345 1 - 0.0000 -
3460.75/3471.30 c 3471 2014788 1088547 1 - 0.0000 -
3466.23/3476.87 c 3477 2017097 1089566 1 - 0.0000 -
3472.31/3482.97 c 3483 2020442 1091101 1 - 0.0000 -
3477.30/3487.98 c 3488 2022412 1092119 1 - 0.0000 -
3482.39/3493.06 c 3493 2025336 1093427 1 - 0.0000 -
3487.96/3498.60 c 3499 2026637 1094094 1 - 0.0000 -
3493.14/3503.85 c 3504 2027745 1094770 1 - 0.0000 -
3499.44/3510.11 c 3510 2029627 1095722 1 - 0.0000 -
3504.91/3515.62 c 3516 2030712 1096393 1 - 0.0000 -
3510.98/3521.77 c 3522 2032265 1097316 1 - 0.0000 -
3517.06/3527.84 c 3528 2034763 1098536 1 - 0.0000 -
3523.05/3533.89 c 3534 2038466 1100047 1 - 0.0000 -
3528.72/3539.56 c 3540 2040865 1101314 1 - 0.0000 -
3534.61/3545.45 c 3545 2043708 1102581 1 - 0.0000 -
3539.80/3550.66 c 3551 2045660 1103399 1 - 0.0000 -
3545.67/3556.59 c 3557 2048010 1104421 1 - 0.0000 -
3550.97/3561.86 c 3562 2050522 1105477 1 - 0.0000 -
3556.95/3567.86 c 3568 2052192 1106231 1 - 0.0000 -
3562.93/3573.84 c 3574 2054042 1107179 1 - 0.0000 -
3568.31/3579.20 c 3579 2056216 1108105 1 - 0.0000 -
3574.30/3585.28 c 3585 2057756 1108985 1 - 0.0000 -
3579.98/3590.93 c 3591 2060323 1110060 1 - 0.0000 -
3585.77/3596.76 c 3597 2063032 1111367 1 - 0.0000 -
3591.56/3602.55 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.56/3602.55 c Total Time : 3602.5500
3591.56/3602.55 c solving : 3602.5500
3591.56/3602.55 c presolving : 0.0256 (included in solving)
3591.56/3602.55 c B&B Tree :
3591.56/3602.55 c nodes (total) : 1
3591.56/3602.55 c Solution :
3591.56/3602.55 c Solutions found : 0
3591.56/3602.55 c Primal Bound : -
3591.56/3602.55 c Dual Bound : +0.00000000000000e+00
3591.56/3602.55 c Gap : -
3591.56/3602.55 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61071 MiB free)
memory of node 1: 64510 MiB (62194 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434693-1721095524/watcher-4434693-1721095524 -o /tmp/evaluation-result-4434693-1721095524/solver-4434693-1721095524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830635 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434693-1721095524.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=830694, runsolver pid=830682
Current StackSize limit: 8192 KiB
[startup+0.100758 s]*
/proc/loadavg: 3.90 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126179528/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=109260 memory=21992 CPUtime=0.11 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 2559 0 0 0 10 1 0 0 20 0 3 0 161711168 111882240 5498 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 27315 5498 2798 3032 0 8441 0
[pid=830694/tid=830705] ppid=830682 vsize=109260 memory=4026561586 CPUtime=0.06 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 981 0 0 0 6 0 0 0 20 0 3 0 161711172 111882240 5498 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=109260 memory=232851243367 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711173 111882240 5498 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 109260 KiB
Current children cumulated memory: 21992 KiB
[startup+0.215237 s]*
/proc/loadavg: 3.90 4.14 4.13 7/251 830707
/proc/meminfo: memFree=126161444/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=109260 memory=29600 CPUtime=0.21 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 4349 0 0 0 20 1 0 0 20 0 3 0 161711168 111882240 7400 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 27315 7400 2926 3032 0 10229 0
[pid=830694/tid=830705] ppid=830682 vsize=109260 memory=664970851429515395 CPUtime=0.18 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 2771 0 0 0 17 1 0 0 20 0 3 0 161711172 111882240 7400 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=109260 memory=19017 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711173 111882240 7400 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 109260 KiB
Current children cumulated memory: 29600 KiB
[startup+0.315217 s]*
/proc/loadavg: 3.90 4.14 4.13 7/251 830707
/proc/meminfo: memFree=126151420/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=109812 memory=33032 CPUtime=0.32 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 5166 0 0 0 30 2 0 0 20 0 3 0 161711168 112447488 8258 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 27453 8258 2926 3032 0 11288 0
[pid=830694/tid=830705] ppid=830682 vsize=109812 memory=-6153162199148968810 CPUtime=0.27 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 3588 0 0 0 26 1 0 0 20 0 3 0 161711172 112447488 8258 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=109812 memory=-9044459746194447340 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711173 112447488 8258 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 109812 KiB
Current children cumulated memory: 33032 KiB
[startup+0.700406 s]
/proc/loadavg: 3.90 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126133656/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=112764 memory=41480 CPUtime=0.68 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 7304 0 0 0 66 2 0 0 20 0 3 0 161711168 115470336 10370 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 28191 10370 2926 3032 0 13770 0
[pid=830694/tid=830705] ppid=830682 vsize=112764 memory=0 CPUtime=0.64 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 5726 0 0 0 63 1 0 0 20 0 3 0 161711172 115470336 10370 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=112764 memory=0 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711173 115470336 10370 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112764 KiB
Current children cumulated memory: 41480 KiB
[startup+1.50041 s]
/proc/loadavg: 3.90 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126122712/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=115504 memory=46964 CPUtime=1.48 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 10989 0 0 0 145 3 0 0 20 0 3 0 161711168 118276096 11741 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 28876 11741 2926 3032 0 15427 0
[pid=830694/tid=830705] ppid=830682 vsize=115504 memory=0 CPUtime=1.43 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 9399 0 0 0 141 2 0 0 20 0 3 0 161711172 118276096 11741 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=115504 memory=0 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711173 118276096 11741 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115504 KiB
Current children cumulated memory: 46964 KiB
[startup+3.11422 s]
/proc/loadavg: 3.91 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126099724/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=116348 memory=50092 CPUtime=3.09 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 12523 0 0 0 305 4 0 0 20 0 3 0 161711168 119140352 12523 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 29087 12523 2926 3032 0 16286 0
[pid=830694/tid=830705] ppid=830682 vsize=116348 memory=0 CPUtime=3.05 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 10931 0 0 0 302 3 0 0 20 0 3 0 161711172 119140352 12523 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=116348 memory=2273 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 161711173 119140352 12523 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 116348 KiB
Current children cumulated memory: 50092 KiB
[startup+6.30032 s]
/proc/loadavg: 3.91 4.14 4.13 8/251 830708
/proc/meminfo: memFree=126074196/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=117940 memory=56272 CPUtime=6.27 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 18264 0 0 0 621 6 0 0 20 0 3 0 161711168 120770560 14068 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 29485 14068 2926 3032 0 17672 0
[pid=830694/tid=830705] ppid=830682 vsize=117940 memory=0 CPUtime=6.22 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 16654 0 0 0 617 5 0 0 20 0 3 0 161711172 120770560 14068 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=117940 memory=280231717990256 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 161711173 120770560 14068 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117940 KiB
Current children cumulated memory: 56272 KiB
[startup+12.7003 s]
/proc/loadavg: 3.93 4.14 4.13 8/251 830708
/proc/meminfo: memFree=126029768/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=125064 memory=69616 CPUtime=12.65 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 32228 0 0 0 1255 10 0 0 20 0 3 0 161711168 128065536 17404 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 31266 17404 2974 3032 0 21143 0
[pid=830694/tid=830705] ppid=830682 vsize=125064 memory=54740 CPUtime=12.6 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 30585 0 0 0 1251 9 0 0 20 0 3 0 161711172 128065536 17404 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=125064 memory=20918 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 161711173 128065536 17404 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 125064 KiB
Current children cumulated memory: 69616 KiB
[startup+25.5004 s]
/proc/loadavg: 3.94 4.13 4.12 8/251 830711
/proc/meminfo: memFree=125957512/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=141516 memory=93312 CPUtime=25.4 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 53963 0 0 0 2524 16 0 0 20 0 3 0 161711168 144912384 23328 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 35379 23328 2974 3032 0 27511 0
[pid=830694/tid=830705] ppid=830682 vsize=141516 memory=90016 CPUtime=25.36 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 52275 0 0 0 2521 15 0 0 20 0 3 0 161711172 144912384 23328 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=141516 memory=81032 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 161711173 144912384 23328 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 141516 KiB
Current children cumulated memory: 93312 KiB
[startup+51.1139 s]
/proc/loadavg: 4.02 4.14 4.13 8/251 830714
/proc/meminfo: memFree=125833892/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=179756 memory=140296 CPUtime=50.93 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 101318 0 0 0 5067 26 0 0 20 0 3 0 161711168 184070144 35074 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 44939 35074 2974 3032 0 40763 0
[pid=830694/tid=830705] ppid=830682 vsize=179756 memory=137816 CPUtime=50.89 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 99562 0 0 0 5064 25 0 0 20 0 3 0 161711172 184070144 35074 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=179756 memory=115648 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 161711173 184070144 35074 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 179756 KiB
Current children cumulated memory: 140296 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.13 4.12 8/251 830723
/proc/meminfo: memFree=125633456/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=300496 memory=212664 CPUtime=101.96 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 178425 0 0 0 10150 46 0 0 20 0 3 0 161711168 307707904 53166 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 75124 53166 2974 3032 0 59769 0
[pid=830694/tid=830705] ppid=830682 vsize=300496 memory=41416 CPUtime=101.91 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 176602 0 0 0 10146 45 0 0 20 0 3 0 161711172 307707904 53166 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=300496 memory=11516 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 161711173 307707904 53166 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 300496 KiB
Current children cumulated memory: 212664 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.12 8/251 830734
/proc/meminfo: memFree=125423620/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=359924 memory=289476 CPUtime=161.79 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 259303 0 0 0 16110 69 0 0 20 0 3 0 161711168 368562176 72369 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 89981 72369 2974 3032 0 79514 0
[pid=830694/tid=830705] ppid=830682 vsize=359924 memory=41416 CPUtime=161.74 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 257438 0 0 0 16106 68 0 0 20 0 3 0 161711172 368562176 72369 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=359924 memory=12020 CPUtime=0 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 161711173 368562176 72369 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 359924 KiB
################
# More data... #
################
/proc/830694/statm: 439399 410625 2974 3032 0 427534 0
[pid=830694/tid=830705] ppid=830682 vsize=1757596 memory=1608692 CPUtime=3451.44 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 4047013 0 0 0 344571 573 0 0 20 0 3 0 161711172 1799778304 410625 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=1757596 memory=1608804 CPUtime=0.05 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 125 0 0 0 2 3 0 0 20 0 3 0 161711173 1799778304 410625 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 1757596 KiB
Current children cumulated memory: 1642500 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.16 7/252 832572
/proc/meminfo: memFree=120467132/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=1766088 memory=1658816 CPUtime=3511.58 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 4158650 0 0 0 350564 594 0 0 20 0 3 0 161711168 1808474112 414704 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 441522 414704 2974 3032 0 430409 0
[pid=830694/tid=830705] ppid=830682 vsize=1766088 memory=1648440 CPUtime=3511.24 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 4155637 0 0 0 350543 581 0 0 20 0 3 0 161711172 1808474112 414704 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=1766088 memory=11516 CPUtime=0.05 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 131 0 0 0 2 3 0 0 20 0 3 0 161711173 1808474112 414704 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 1766088 KiB
Current children cumulated memory: 1658816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.14 4.16 7/251 832583
/proc/meminfo: memFree=120384848/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=1781208 memory=1676556 CPUtime=3571.41 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 4268647 0 0 0 356535 606 0 0 20 0 3 0 161711168 1823956992 419139 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 445302 419139 2974 3032 0 434909 0
[pid=830694/tid=830705] ppid=830682 vsize=1781208 memory=11516 CPUtime=3571.06 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 4265623 0 0 0 356513 593 0 0 20 0 3 0 161711172 1823956992 419139 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=1781208 memory=1665124 CPUtime=0.05 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 132 0 0 0 2 3 0 0 20 0 3 0 161711173 1823956992 419139 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3571.41 s
Current children cumulated vsize: 1781208 KiB
Current children cumulated memory: 1676556 KiB
[startup+3602.56 s]
# the end of solver process 830694 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.44 s, system=6.18989 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.14 4.16 7/251 832584
/proc/meminfo: memFree=120383160/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=1781208 memory=1676556 CPUtime=3573.11 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 4269120 0 0 0 356705 606 0 0 20 0 3 0 161711168 1823956992 419139 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 445302 419139 2974 3032 0 434909 0
[pid=830694/tid=830705] ppid=830682 vsize=1781208 memory=6720659948264570219 CPUtime=3572.77 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 4266096 0 0 0 356684 593 0 0 20 0 3 0 161711172 1823956992 419139 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=1781208 memory=13884 CPUtime=0.05 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 132 0 0 0 2 3 0 0 20 0 3 0 161711173 1823956992 419139 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 1781208 KiB
Current children cumulated memory: 1676556 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.14 4.16 7/251 832584
/proc/meminfo: memFree=120373580/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=1781208 memory=1677168 CPUtime=3579.49 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 4297208 0 0 0 357341 608 0 0 20 0 3 0 161711168 1823956992 419292 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 445302 419292 2974 3032 0 435279 0
[pid=830694/tid=830705] ppid=830682 vsize=1781208 memory=1676556 CPUtime=3579.14 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 4294176 0 0 0 357319 595 0 0 20 0 3 0 161711172 1823956992 419292 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=1781208 memory=1676568 CPUtime=0.05 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 132 0 0 0 2 3 0 0 20 0 3 0 161711173 1823956992 419292 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3579.49 s
Current children cumulated vsize: 1781208 KiB
Current children cumulated memory: 1677168 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.13 4.16 7/251 832586
/proc/meminfo: memFree=120367984/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=1781788 memory=1680032 CPUtime=3585.87 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 4302681 0 0 0 357978 609 0 0 20 0 3 0 161711168 1824550912 420008 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 445447 420008 2974 3032 0 435424 0
[pid=830694/tid=830705] ppid=830682 vsize=1781788 memory=1676556 CPUtime=3585.52 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 4299649 0 0 0 357956 596 0 0 20 0 3 0 161711172 1824550912 420008 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=1781788 memory=1676576 CPUtime=0.05 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 132 0 0 0 2 3 0 0 20 0 3 0 161711173 1824550912 420008 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 1781788 KiB
Current children cumulated memory: 1680032 KiB
[startup+3600 s]*
/proc/loadavg: 4.12 4.13 4.16 7/250 832586
/proc/meminfo: memFree=120361704/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=1781788 memory=1680036 CPUtime=3589.08 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 4312732 0 0 0 358298 610 0 0 20 0 3 0 161711168 1824550912 420009 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 445447 420009 2974 3032 0 435424 0
[pid=830694/tid=830705] ppid=830682 vsize=1781788 memory=6720659948264570219 CPUtime=3588.73 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 4309700 0 0 0 358276 597 0 0 20 0 3 0 161711172 1824550912 420009 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=1781788 memory=7044 CPUtime=0.05 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 132 0 0 0 2 3 0 0 20 0 3 0 161711173 1824550912 420009 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3589.08 s
Current children cumulated vsize: 1781788 KiB
Current children cumulated memory: 1680036 KiB
[startup+3601.6 s]
/proc/loadavg: 4.12 4.13 4.16 7/250 832586
/proc/meminfo: memFree=120407180/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=1649760 memory=1548012 CPUtime=3590.66 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 4372580 0 0 0 358452 614 0 0 20 0 3 0 161711168 1689354240 387003 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 412440 387003 2974 3032 0 402417 0
[pid=830694/tid=830705] ppid=830682 vsize=1649760 memory=1680036 CPUtime=3590.31 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 4369546 0 0 0 358430 601 0 0 20 0 3 0 161711172 1689354240 387003 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=1649760 memory=41416 CPUtime=0.05 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 132 0 0 0 2 3 0 0 20 0 3 0 161711173 1689354240 387003 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3590.66 s
Current children cumulated vsize: 1649760 KiB
Current children cumulated memory: 1548012 KiB
[startup+3602 s]*
/proc/loadavg: 4.12 4.13 4.16 7/250 832586
/proc/meminfo: memFree=120551516/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=1573276 memory=1471532 CPUtime=3591.07 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 4373621 0 0 0 358493 614 0 0 20 0 3 0 161711168 1611034624 367883 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 393319 367883 2974 3032 0 383296 0
[pid=830694/tid=830705] ppid=830682 vsize=1572252 memory=5624 CPUtime=3590.72 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 4370587 0 0 0 358471 601 0 0 20 0 3 0 161711172 1609986048 367627 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=1572252 memory=26060 CPUtime=0.05 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 132 0 0 0 2 3 0 0 20 0 3 0 161711173 1609986048 367627 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3591.07 s
Current children cumulated vsize: 1573276 KiB
Current children cumulated memory: 1471532 KiB
[startup+3602.4 s]
/proc/loadavg: 4.12 4.13 4.16 7/250 832586
/proc/meminfo: memFree=120551516/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=1499636 memory=1397892 CPUtime=3591.45 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 4373837 0 0 0 358531 614 0 0 20 0 3 0 161711168 1535627264 349473 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 374909 349473 2974 3032 0 364886 0
[pid=830694/tid=830705] ppid=830682 vsize=1499636 memory=7260 CPUtime=3591.1 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 4370803 0 0 0 358509 601 0 0 20 0 3 0 161711172 1535627264 349473 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=1499636 memory=28344 CPUtime=0.05 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 132 0 0 0 2 3 0 0 20 0 3 0 161711173 1535627264 349473 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3591.45 s
Current children cumulated vsize: 1499636 KiB
Current children cumulated memory: 1397892 KiB
[startup+3602.5 s]
/proc/loadavg: 4.12 4.13 4.16 7/250 832586
/proc/meminfo: memFree=120551516/131655788 swapFree=131071996/131071996
[pid=830694] ppid=830682 vsize=1470832 memory=1369088 CPUtime=3591.56 cores=4,6
/proc/830694/stat : 830694 (fscip) S 830682 830694 830624 0 -1 1077936128 4373918 0 0 0 358541 615 0 0 20 0 3 0 161711168 1506131968 342272 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
/proc/830694/statm: 367708 342272 2974 3032 0 357685 0
[pid=830694/tid=830705] ppid=830682 vsize=1470832 memory=1635444 CPUtime=3591.2 cores=4,6
/proc/830694/task/830705/stat : 830705 (fscip) R 830682 830694 830624 0 -1 4194368 4370884 0 0 0 358519 601 0 0 20 0 3 0 161711172 1506131968 342272 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
[pid=830694/tid=830707] ppid=830682 vsize=1470832 memory=11516 CPUtime=0.05 cores=4,6
/proc/830694/task/830707/stat : 830707 (fscip) S 830682 830694 830624 0 -1 1077936192 132 0 0 0 2 3 0 0 20 0 3 0 161711173 1506131968 342272 134679101440 4194304 16613245 140735072977344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38412288 140735072986133 140735072986249 140735072986249 140735072993264 0
Current children cumulated CPU time: 3591.56 s
Current children cumulated vsize: 1470832 KiB
Current children cumulated memory: 1369088 KiB
Child status: 0
Real time (s): 3602.56
CPU time (s): 3591.63
CPU user time (s): 3585.44
CPU system time (s): 6.18989
CPU usage (%): 99.6965
Max. virtual memory (cumulated for all children) (KiB): 1781788
Max. memory (cumulated for all children) (KiB): 1680036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.44
system time used= 6.18989
maximum resident set size= 1680036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4374489
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= 9909
involuntary context switches= 4715
# summary of solver processes directly reported to runsolver:
# pid: 830694
# total CPU time (s): 3591.63
# total CPU user time (s): 3585.44
# total CPU system time (s): 6.18989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3055 second user time and 40.5653 second system time
The end
Begin job on nodeC006 at 2024-07-16 04:05:36
IDJOB=4434693
IDBENCH=147583
IDSOLVER=3064
FILE ID=nodeC006/4434693-1721095524
RUNJOBID= nodeC006-1721095536-830635
SLURM_JOB_ID= 7505606
Free space on /tmp= 723776 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.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-4434693-1721095524/watcher-4434693-1721095524 -o /tmp/evaluation-result-4434693-1721095524/solver-4434693-1721095524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830635 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434693-1721095524.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b
RANDOM SEED=941439795
nodeC006.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 : 0xb00001f
cpu MHz : 1197.257
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.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 : 0xb00001f
cpu MHz : 1197.245
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.249
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.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 : 0xb00001f
cpu MHz : 1197.256
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.249
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.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 : 0xb00001f
cpu MHz : 1202.619
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1203.753
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.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 : 0xb00001f
cpu MHz : 1193.921
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126224836 kB
MemAvailable: 129912060 kB
Buffers: 392016 kB
Cached: 4092660 kB
SwapCached: 0 kB
Active: 689460 kB
Inactive: 4119264 kB
Active(anon): 1340 kB
Inactive(anon): 360408 kB
Active(file): 688120 kB
Inactive(file): 3758856 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112716 kB
Writeback: 4 kB
AnonPages: 323984 kB
Mapped: 103072 kB
Shmem: 37704 kB
KReclaimable: 160556 kB
Slab: 265364 kB
SReclaimable: 160556 kB
SUnreclaim: 104808 kB
KernelStack: 3584 kB
PageTables: 9288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 736696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 219976 kB
DirectMap2M: 27996160 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC006 at 2024-07-16 05:05:39