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 = 23658496, getVmSize() = 23658496, SCIPgetMemUsed() = 1653334, SCIPgetMemTotal() = 2116510, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 16687104, getVmSize() = 26402816, SCIPgetMemUsed() = 1932447, SCIPgetMemTotal() = 3708519, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4447400-1721354072
0.00/0.01 c Variables : 222 (222 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 592
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 222 (222 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 592
0.00/0.01 c Constraints : Number
0.00/0.01 c logicor : 592
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.17/5.23 c 5 1312 262 1 - 0.0000 -
10.15/10.28 c 10 6013 4926 1 - 0.0000 -
15.23/15.33 c 15 10379 9280 1 - 0.0000 -
20.22/20.39 c 20 15349 14242 1 - 0.0000 -
25.31/25.43 c 25 20634 19500 1 - 0.0000 -
30.29/30.49 c 30 25184 24042 1 - 0.0000 -
35.37/35.54 c 36 30134 28964 1 - 0.0000 -
40.36/40.59 c 41 36677 33251 1 - 0.0000 -
45.44/45.65 c 46 42246 37231 1 - 0.0000 -
50.52/50.71 c 51 47116 42084 1 - 0.0000 -
55.50/55.76 c 56 52127 46916 1 - 0.0000 -
60.59/60.82 c 61 57275 51539 1 - 0.0000 -
65.58/65.86 c 66 62217 56308 1 - 0.0000 -
70.66/70.93 c 71 66867 60817 1 - 0.0000 -
75.64/75.99 c 76 72132 64789 1 - 0.0000 -
80.72/81.05 c 81 76962 69394 1 - 0.0000 -
85.81/86.13 c 86 82004 74183 1 - 0.0000 -
90.79/91.19 c 91 87462 78987 1 - 0.0000 -
95.86/96.23 c 96 92469 83847 1 - 0.0000 -
100.85/101.28 c 101 97682 88735 1 - 0.0000 -
105.92/106.38 c 106 103104 94004 1 - 0.0000 -
111.01/111.42 c 111 108123 98939 1 - 0.0000 -
115.99/116.47 c 116 113250 103675 1 - 0.0000 -
121.07/121.52 c 122 118514 108607 1 - 0.0000 -
126.15/126.65 c 127 123853 113723 1 - 0.0000 -
131.23/131.71 c 132 128962 118357 1 - 0.0000 -
136.21/136.77 c 137 134184 122805 1 - 0.0000 -
141.29/141.82 c 142 139758 127879 1 - 0.0000 -
146.28/146.89 c 147 144638 132399 1 - 0.0000 -
151.36/151.96 c 152 149537 137079 1 - 0.0000 -
156.45/157.06 c 157 154762 142001 1 - 0.0000 -
161.54/162.13 c 162 159583 146421 1 - 0.0000 -
166.61/167.20 c 167 164215 150692 1 - 0.0000 -
171.60/172.25 c 172 169544 155353 1 - 0.0000 -
176.68/177.31 c 177 174528 159664 1 - 0.0000 -
181.67/182.37 c 182 179364 164102 1 - 0.0000 -
186.75/187.45 c 187 184277 168510 1 - 0.0000 -
191.84/192.52 c 193 189289 172969 1 - 0.0000 -
196.81/197.57 c 198 194153 177400 1 - 0.0000 -
201.90/202.66 c 203 198779 181434 1 - 0.0000 -
206.98/207.75 c 208 204221 185676 1 - 0.0000 -
212.07/212.82 c 213 208956 189354 1 - 0.0000 -
217.15/217.91 c 218 213621 193676 1 - 0.0000 -
222.13/222.97 c 223 218115 197818 1 - 0.0000 -
227.22/228.03 c 228 222705 201967 1 - 0.0000 -
232.21/233.10 c 233 227485 206470 1 - 0.0000 -
237.30/238.15 c 238 232481 210716 1 - 0.0000 -
242.36/243.20 c 243 237354 214942 1 - 0.0000 -
247.35/248.28 c 248 242486 219084 1 - 0.0000 -
252.44/253.33 c 253 247804 223071 1 - 0.0000 -
257.52/258.40 c 258 252574 227014 1 - 0.0000 -
262.51/263.46 c 263 258224 231579 1 - 0.0000 -
267.59/268.57 c 269 263455 236267 1 - 0.0000 -
272.78/273.74 c 274 267869 240466 1 - 0.0000 -
277.86/278.87 c 279 273111 244910 1 - 0.0000 -
282.94/283.91 c 284 278156 248923 1 - 0.0000 -
288.02/289.10 c 289 282461 253133 1 - 0.0000 -
293.20/294.23 c 294 287814 257498 1 - 0.0000 -
298.28/299.31 c 299 293211 262116 1 - 0.0000 -
303.37/304.41 c 304 298529 266629 1 - 0.0000 -
308.35/309.48 c 309 303719 271058 1 - 0.0000 -
313.44/314.53 c 315 307881 275029 1 - 0.0000 -
318.52/319.64 c 320 313297 279858 1 - 0.0000 -
323.60/324.74 c 325 318396 284215 1 - 0.0000 -
328.68/329.84 c 330 323624 288488 1 - 0.0000 -
333.77/334.92 c 335 328204 292382 1 - 0.0000 -
338.86/340.04 c 340 333374 297071 1 - 0.0000 -
343.94/345.13 c 345 338189 301388 1 - 0.0000 -
349.02/350.26 c 350 342911 305684 1 - 0.0000 -
354.10/355.37 c 355 347565 309955 1 - 0.0000 -
359.19/360.42 c 360 352227 314209 1 - 0.0000 -
364.27/365.52 c 366 356993 318850 1 - 0.0000 -
369.35/370.65 c 371 361942 323201 1 - 0.0000 -
374.44/375.73 c 376 366821 327614 1 - 0.0000 -
379.52/380.84 c 381 371685 332037 1 - 0.0000 -
384.51/385.89 c 386 376349 336356 1 - 0.0000 -
389.59/390.96 c 391 381005 340509 1 - 0.0000 -
394.77/396.13 c 396 385836 345086 1 - 0.0000 -
399.96/401.30 c 401 390513 349534 1 - 0.0000 -
405.04/406.40 c 406 395309 353849 1 - 0.0000 -
410.02/411.48 c 411 399929 358017 1 - 0.0000 -
415.11/416.55 c 417 404332 362089 1 - 0.0000 -
420.29/421.71 c 422 409286 366266 1 - 0.0000 -
425.48/426.90 c 427 414162 370724 1 - 0.0000 -
430.57/432.09 c 432 419225 375014 1 - 0.0000 -
435.74/437.25 c 437 424317 379430 1 - 0.0000 -
440.83/442.38 c 442 429451 383821 1 - 0.0000 -
445.91/447.49 c 447 433991 388133 1 - 0.0000 -
450.99/452.55 c 453 438921 392283 1 - 0.0000 -
456.07/457.63 c 458 443409 396410 1 - 0.0000 -
461.36/462.91 c 463 448679 401160 1 - 0.0000 -
466.45/468.07 c 468 453221 405650 1 - 0.0000 -
471.73/473.37 c 473 458171 410084 1 - 0.0000 -
476.81/478.42 c 478 462479 414162 1 - 0.0000 -
481.89/483.55 c 484 467188 418296 1 - 0.0000 -
487.09/488.71 c 489 472080 422608 1 - 0.0000 -
492.26/493.92 c 494 476753 426889 1 - 0.0000 -
497.25/498.98 c 499 481357 431147 1 - 0.0000 -
502.34/504.03 c 504 486098 435473 1 - 0.0000 -
507.42/509.12 c 509 490867 439822 1 - 0.0000 -
512.60/514.35 c 514 495420 443693 1 - 0.0000 -
517.79/519.53 c 520 499607 447450 1 - 0.0000 -
522.77/524.59 c 525 504785 451194 1 - 0.0000 -
527.95/529.79 c 530 509678 455378 1 - 0.0000 -
533.04/534.85 c 535 514280 459177 1 - 0.0000 -
538.13/539.97 c 540 519252 463203 1 - 0.0000 -
543.31/545.17 c 545 523648 466887 1 - 0.0000 -
548.39/550.29 c 550 528427 470828 1 - 0.0000 -
553.47/555.37 c 555 532381 474628 1 - 0.0000 -
558.65/560.51 c 561 536691 478895 1 - 0.0000 -
563.64/565.56 c 566 540777 482981 1 - 0.0000 -
568.82/570.78 c 571 544579 486783 1 - 0.0000 -
573.90/575.86 c 576 548249 490453 1 - 0.0000 -
579.09/581.06 c 581 552432 494018 1 - 0.0000 -
584.18/586.18 c 586 556790 497819 1 - 0.0000 -
589.26/591.28 c 591 561174 501763 1 - 0.0000 -
594.33/596.33 c 596 565519 505860 1 - 0.0000 -
599.52/601.52 c 602 569943 509755 1 - 0.0000 -
604.59/606.63 c 607 574504 513728 1 - 0.0000 -
609.58/611.69 c 612 578470 517147 1 - 0.0000 -
614.75/616.84 c 617 582375 520973 1 - 0.0000 -
619.83/621.98 c 622 586801 524913 1 - 0.0000 -
624.91/627.05 c 627 591169 529000 1 - 0.0000 -
630.00/632.13 c 632 595809 533226 1 - 0.0000 -
635.28/637.41 c 637 600053 537081 1 - 0.0000 -
640.26/642.46 c 642 603613 540641 1 - 0.0000 -
645.64/647.81 c 648 607217 544239 1 - 0.0000 -
650.63/652.85 c 653 610581 547588 1 - 0.0000 -
655.82/658.03 c 658 614454 551296 1 - 0.0000 -
660.91/663.12 c 663 619158 555392 1 - 0.0000 -
665.98/668.24 c 668 623034 559103 1 - 0.0000 -
671.16/673.48 c 673 627291 563048 1 - 0.0000 -
676.35/678.63 c 679 631430 566845 1 - 0.0000 -
681.34/683.68 c 684 635217 570499 1 - 0.0000 -
686.42/688.74 c 689 639373 574157 1 - 0.0000 -
691.90/694.28 c 694 644019 578221 1 - 0.0000 -
696.99/699.37 c 699 648032 581845 1 - 0.0000 -
702.07/704.46 c 704 651796 585187 1 - 0.0000 -
707.16/709.55 c 710 655633 588819 1 - 0.0000 -
712.44/714.83 c 715 659951 592590 1 - 0.0000 -
717.73/720.13 c 720 664652 596575 1 - 0.0000 -
722.91/725.30 c 725 668502 600337 1 - 0.0000 -
727.98/730.46 c 730 672518 603946 1 - 0.0000 -
733.06/735.59 c 736 676282 607406 1 - 0.0000 -
738.14/740.66 c 741 680672 610997 1 - 0.0000 -
743.42/745.94 c 746 684653 614532 1 - 0.0000 -
748.40/750.99 c 751 688214 617500 1 - 0.0000 -
753.68/756.26 c 756 692479 621284 1 - 0.0000 -
758.76/761.30 c 761 696241 624771 1 - 0.0000 -
764.14/766.79 c 767 700814 628863 1 - 0.0000 -
769.42/772.10 c 772 705107 632722 1 - 0.0000 -
774.69/777.33 c 777 708949 636361 1 - 0.0000 -
779.68/782.38 c 782 712801 639867 1 - 0.0000 -
784.76/787.44 c 787 716596 643479 1 - 0.0000 -
789.74/792.48 c 792 720532 647044 1 - 0.0000 -
794.92/797.62 c 798 724271 650594 1 - 0.0000 -
800.09/802.83 c 803 728489 654760 1 - 0.0000 -
805.17/807.91 c 808 732193 658173 1 - 0.0000 -
810.26/813.07 c 813 735901 661343 1 - 0.0000 -
815.53/818.31 c 818 739025 663883 1 - 0.0000 -
820.61/823.49 c 823 742041 666274 1 - 0.0000 -
825.89/828.76 c 829 745717 668609 1 - 0.0000 -
830.97/833.87 c 834 749484 670832 1 - 0.0000 -
836.16/839.01 c 839 753320 672835 1 - 0.0000 -
841.33/844.29 c 844 756641 675471 1 - 0.0000 -
846.41/849.38 c 849 760316 678704 1 - 0.0000 -
851.69/854.60 c 855 764394 682176 1 - 0.0000 -
856.67/859.66 c 860 767705 685176 1 - 0.0000 -
861.85/864.85 c 865 771068 688404 1 - 0.0000 -
866.93/869.90 c 870 774756 691964 1 - 0.0000 -
872.21/875.23 c 875 778796 695879 1 - 0.0000 -
877.38/880.40 c 880 782699 699404 1 - 0.0000 -
882.46/885.59 c 886 786366 702974 1 - 0.0000 -
887.65/890.74 c 891 790022 706465 1 - 0.0000 -
892.73/895.82 c 896 793741 709919 1 - 0.0000 -
897.91/901.09 c 901 797331 713329 1 - 0.0000 -
903.18/906.37 c 906 800889 716788 1 - 0.0000 -
908.46/911.67 c 912 805161 720412 1 - 0.0000 -
913.54/916.71 c 917 809073 724022 1 - 0.0000 -
919.02/922.25 c 922 813028 727775 1 - 0.0000 -
924.30/927.53 c 928 816801 731043 1 - 0.0000 -
929.28/932.59 c 933 820220 734231 1 - 0.0000 -
934.46/937.79 c 938 823815 737640 1 - 0.0000 -
939.64/942.95 c 943 827273 741045 1 - 0.0000 -
944.92/948.28 c 948 831097 744648 1 - 0.0000 -
950.00/953.39 c 953 834409 747833 1 - 0.0000 -
955.08/958.44 c 958 837792 751216 1 - 0.0000 -
960.16/963.58 c 964 841082 754378 1 - 0.0000 -
965.54/968.98 c 969 844887 757902 1 - 0.0000 -
970.92/974.37 c 974 848198 761202 1 - 0.0000 -
976.30/979.74 c 980 851718 764339 1 - 0.0000 -
981.47/984.91 c 985 855768 768208 1 - 0.0000 -
986.85/990.38 c 990 859474 771743 1 - 0.0000 -
991.94/995.47 c 995 863119 774989 1 - 0.0000 -
997.31/1000.83 c 1001 866593 778381 1 - 0.0000 -
1002.51/1006.04 c 1006 869847 781627 1 - 0.0000 -
1007.88/1011.45 c 1011 873576 785326 1 - 0.0000 -
1013.36/1016.94 c 1017 877234 788950 1 - 0.0000 -
1018.55/1022.17 c 1022 880879 792576 1 - 0.0000 -
1024.13/1027.76 c 1028 884341 795986 1 - 0.0000 -
1029.31/1032.96 c 1033 887685 799240 1 - 0.0000 -
1034.60/1038.26 c 1038 891139 802575 1 - 0.0000 -
1040.19/1043.80 c 1044 894887 805844 1 - 0.0000 -
1045.27/1048.99 c 1049 898553 808951 1 - 0.0000 -
1050.75/1054.49 c 1054 902064 812371 1 - 0.0000 -
1056.04/1059.72 c 1060 905673 815551 1 - 0.0000 -
1061.32/1065.08 c 1065 909690 819206 1 - 0.0000 -
1066.69/1070.41 c 1070 913834 822787 1 - 0.0000 -
1071.98/1075.70 c 1076 917288 825700 1 - 0.0000 -
1077.16/1080.94 c 1081 921080 829079 1 - 0.0000 -
1082.55/1086.30 c 1086 924424 832211 1 - 0.0000 -
1088.03/1091.88 c 1092 928253 835486 1 - 0.0000 -
1093.52/1097.32 c 1097 931840 838832 1 - 0.0000 -
1098.80/1102.62 c 1103 935201 842016 1 - 0.0000 -
1103.89/1107.71 c 1108 938731 845259 1 - 0.0000 -
1109.17/1113.07 c 1113 942229 848582 1 - 0.0000 -
1114.26/1118.19 c 1118 945584 851789 1 - 0.0000 -
1119.44/1123.33 c 1123 948789 854904 1 - 0.0000 -
1124.83/1128.78 c 1129 952062 857977 1 - 0.0000 -
1130.01/1133.92 c 1134 955758 861161 1 - 0.0000 -
1135.10/1139.04 c 1139 959555 864136 1 - 0.0000 -
1140.18/1144.16 c 1144 963402 867392 1 - 0.0000 -
1145.46/1149.43 c 1149 966577 870106 1 - 0.0000 -
1150.94/1154.96 c 1155 969893 873347 1 - 0.0000 -
1156.03/1160.02 c 1160 973702 876360 1 - 0.0000 -
1161.21/1165.29 c 1165 977522 879471 1 - 0.0000 -
1166.59/1170.68 c 1171 981404 882567 1 - 0.0000 -
1171.99/1176.09 c 1176 985088 885859 1 - 0.0000 -
1177.37/1181.45 c 1181 988393 888744 1 - 0.0000 -
1182.54/1186.61 c 1187 991847 891628 1 - 0.0000 -
1187.83/1191.94 c 1192 995163 894287 1 - 0.0000 -
1192.92/1197.04 c 1197 998679 896985 1 - 0.0000 -
1198.10/1202.22 c 1202 1002116 899737 1 - 0.0000 -
1203.18/1207.37 c 1207 1005566 902593 1 - 0.0000 -
1208.36/1212.50 c 1213 1009027 905463 1 - 0.0000 -
1213.45/1217.66 c 1218 1012651 908190 1 - 0.0000 -
1218.74/1222.97 c 1223 1016203 911398 1 - 0.0000 -
1224.02/1228.24 c 1228 1019911 914513 1 - 0.0000 -
1229.21/1233.41 c 1233 1023759 917987 1 - 0.0000 -
1234.49/1238.73 c 1239 1027163 920916 1 - 0.0000 -
1239.88/1244.17 c 1244 1030451 923962 1 - 0.0000 -
1245.06/1249.34 c 1249 1033732 926710 1 - 0.0000 -
1250.44/1254.74 c 1255 1037573 930144 1 - 0.0000 -
1255.83/1260.14 c 1260 1041391 933430 1 - 0.0000 -
1261.20/1265.51 c 1266 1045206 936766 1 - 0.0000 -
1266.39/1270.78 c 1271 1048999 939809 1 - 0.0000 -
1271.58/1275.99 c 1276 1052492 942795 1 - 0.0000 -
1276.77/1281.15 c 1281 1055705 945537 1 - 0.0000 -
1281.94/1286.36 c 1286 1059727 948990 1 - 0.0000 -
1287.13/1291.54 c 1292 1062766 951511 1 - 0.0000 -
1292.11/1296.59 c 1297 1065870 954514 1 - 0.0000 -
1297.40/1301.89 c 1302 1069385 957486 1 - 0.0000 -
1302.49/1306.95 c 1307 1073047 960446 1 - 0.0000 -
1307.58/1312.10 c 1312 1076472 963302 1 - 0.0000 -
1312.75/1317.28 c 1317 1079485 966020 1 - 0.0000 -
1318.04/1322.59 c 1323 1083157 969326 1 - 0.0000 -
1323.52/1328.06 c 1328 1086757 972489 1 - 0.0000 -
1328.80/1333.36 c 1333 1090077 975670 1 - 0.0000 -
1334.07/1338.60 c 1339 1093933 978571 1 - 0.0000 -
1339.16/1343.77 c 1344 1097121 981199 1 - 0.0000 -
1344.33/1348.93 c 1349 1100013 984038 1 - 0.0000 -
1349.62/1354.29 c 1354 1103096 986959 1 - 0.0000 -
1355.10/1359.70 c 1360 1106928 990373 1 - 0.0000 -
1360.17/1364.87 c 1365 1110351 993005 1 - 0.0000 -
1365.26/1369.95 c 1370 1113559 995356 1 - 0.0000 -
1370.63/1375.37 c 1375 1116151 997643 1 - 0.0000 -
1376.01/1380.79 c 1381 1118851 1000160 1 - 0.0000 -
1381.19/1385.99 c 1386 1122321 1003398 1 - 0.0000 -
1386.76/1391.56 c 1392 1125916 1006587 1 - 0.0000 -
1391.84/1396.60 c 1397 1129168 1009601 1 - 0.0000 -
1397.03/1401.81 c 1402 1132925 1012917 1 - 0.0000 -
1402.11/1406.99 c 1407 1135992 1015243 1 - 0.0000 -
1407.29/1412.16 c 1412 1138356 1017046 1 - 0.0000 -
1412.77/1417.63 c 1418 1141771 1020072 1 - 0.0000 -
1418.15/1423.01 c 1423 1145289 1023255 1 - 0.0000 -
1423.42/1428.34 c 1428 1148457 1026400 1 - 0.0000 -
1428.71/1433.63 c 1434 1151311 1029237 1 - 0.0000 -
1433.99/1438.91 c 1439 1154558 1032206 1 - 0.0000 -
1439.26/1444.23 c 1444 1157762 1034985 1 - 0.0000 -
1444.55/1449.52 c 1450 1161316 1038248 1 - 0.0000 -
1449.92/1454.91 c 1455 1164769 1041241 1 - 0.0000 -
1455.50/1460.54 c 1461 1168407 1044529 1 - 0.0000 -
1461.08/1466.14 c 1466 1171529 1047552 1 - 0.0000 -
1466.36/1471.47 c 1471 1174678 1050316 1 - 0.0000 -
1471.44/1476.57 c 1477 1177697 1053327 1 - 0.0000 -
1477.22/1482.39 c 1482 1181191 1056555 1 - 0.0000 -
1483.00/1488.13 c 1488 1184559 1059765 1 - 0.0000 -
1488.08/1493.27 c 1493 1187658 1062643 1 - 0.0000 -
1493.15/1498.37 c 1498 1190803 1065424 1 - 0.0000 -
1498.64/1503.87 c 1504 1194261 1068467 1 - 0.0000 -
1504.31/1509.52 c 1510 1197762 1071623 1 - 0.0000 -
1509.89/1515.16 c 1515 1201307 1074620 1 - 0.0000 -
1515.37/1520.63 c 1521 1204429 1077391 1 - 0.0000 -
1521.05/1526.37 c 1526 1207578 1080458 1 - 0.0000 -
1526.32/1531.60 c 1532 1210442 1082932 1 - 0.0000 -
1531.61/1536.90 c 1537 1212961 1085064 1 - 0.0000 -
1536.88/1542.21 c 1542 1216015 1087929 1 - 0.0000 -
1542.77/1548.19 c 1548 1219541 1090820 1 - 0.0000 -
1548.04/1553.48 c 1553 1222206 1093190 1 - 0.0000 -
1553.63/1559.06 c 1559 1225081 1095903 1 - 0.0000 -
1559.09/1564.51 c 1565 1228096 1098790 1 - 0.0000 -
1564.38/1569.81 c 1570 1231351 1101721 1 - 0.0000 -
1569.85/1575.31 c 1575 1234314 1104539 1 - 0.0000 -
1575.14/1580.64 c 1581 1237743 1107851 1 - 0.0000 -
1580.62/1586.20 c 1586 1240542 1110532 1 - 0.0000 -
1586.20/1591.72 c 1592 1243833 1113609 1 - 0.0000 -
1591.39/1596.90 c 1597 1246858 1116345 1 - 0.0000 -
1596.96/1602.50 c 1603 1249783 1119179 1 - 0.0000 -
1602.15/1607.72 c 1608 1252928 1122074 1 - 0.0000 -
1607.45/1613.03 c 1613 1256150 1124659 1 - 0.0000 -
1612.92/1618.57 c 1619 1259459 1126689 1 - 0.0000 -
1618.21/1623.85 c 1624 1262021 1128976 1 - 0.0000 -
1623.39/1629.07 c 1629 1264854 1131403 1 - 0.0000 -
1628.87/1634.53 c 1635 1267695 1134102 1 - 0.0000 -
1634.26/1639.92 c 1640 1270939 1136956 1 - 0.0000 -
1639.74/1645.42 c 1645 1273749 1139356 1 - 0.0000 -
1645.33/1651.09 c 1651 1277353 1142616 1 - 0.0000 -
1650.51/1656.25 c 1656 1280244 1145047 1 - 0.0000 -
1656.00/1661.74 c 1662 1283289 1147917 1 - 0.0000 -
1661.67/1667.47 c 1667 1286156 1150283 1 - 0.0000 -
1667.16/1672.95 c 1673 1290226 1153517 1 - 0.0000 -
1672.55/1678.30 c 1678 1293021 1155477 1 - 0.0000 -
1677.63/1683.40 c 1683 1295128 1156924 1 - 0.0000 -
1683.32/1689.17 c 1689 1298288 1158769 1 - 0.0000 -
1688.79/1694.60 c 1695 1301081 1159899 1 - 0.0000 -
1693.78/1699.69 c 1700 1303621 1161807 1 - 0.0000 -
1699.27/1705.16 c 1705 1306407 1164421 1 - 0.0000 -
1704.45/1710.36 c 1710 1308951 1166782 1 - 0.0000 -
1710.24/1716.13 c 1716 1311414 1169075 1 - 0.0000 -
1715.91/1721.85 c 1722 1314299 1171775 1 - 0.0000 -
1721.20/1727.15 c 1727 1317301 1174590 1 - 0.0000 -
1726.48/1732.43 c 1732 1319496 1176640 1 - 0.0000 -
1732.26/1738.22 c 1738 1322542 1179414 1 - 0.0000 -
1737.54/1743.51 c 1744 1325465 1182163 1 - 0.0000 -
1742.73/1748.74 c 1749 1328528 1184874 1 - 0.0000 -
1748.21/1754.22 c 1754 1331202 1187383 1 - 0.0000 -
1753.29/1759.37 c 1759 1334013 1189870 1 - 0.0000 -
1759.27/1765.35 c 1765 1336875 1192726 1 - 0.0000 -
1765.34/1771.43 c 1771 1339819 1195661 1 - 0.0000 -
1770.93/1777.05 c 1777 1342781 1198391 1 - 0.0000 -
1776.21/1782.36 c 1782 1345599 1201087 1 - 0.0000 -
1781.59/1787.76 c 1788 1348965 1203957 1 - 0.0000 -
1787.06/1793.21 c 1793 1351797 1206625 1 - 0.0000 -
1792.34/1798.53 c 1799 1354371 1208883 1 - 0.0000 -
1798.21/1804.46 c 1804 1357509 1211693 1 - 0.0000 -
1803.70/1809.93 c 1810 1359927 1214053 1 - 0.0000 -
1809.28/1815.53 c 1816 1362268 1216307 1 - 0.0000 -
1814.45/1820.72 c 1821 1365042 1218883 1 - 0.0000 -
1819.53/1825.87 c 1826 1368085 1221594 1 - 0.0000 -
1824.82/1831.19 c 1831 1370721 1224021 1 - 0.0000 -
1830.00/1836.33 c 1836 1373698 1226751 1 - 0.0000 -
1835.27/1841.67 c 1842 1376602 1229471 1 - 0.0000 -
1841.05/1847.46 c 1847 1379592 1232295 1 - 0.0000 -
1846.74/1853.16 c 1853 1382407 1234879 1 - 0.0000 -
1852.01/1858.41 c 1858 1385013 1237224 1 - 0.0000 -
1857.78/1864.26 c 1864 1388534 1240531 1 - 0.0000 -
1863.27/1869.79 c 1870 1391374 1243164 1 - 0.0000 -
1868.84/1875.35 c 1875 1394261 1245763 1 - 0.0000 -
1874.32/1880.84 c 1881 1397334 1248383 1 - 0.0000 -
1880.30/1886.88 c 1887 1400245 1251097 1 - 0.0000 -
1885.77/1892.34 c 1892 1402947 1253767 1 - 0.0000 -
1891.46/1898.05 c 1898 1405992 1256518 1 - 0.0000 -
1897.03/1903.66 c 1904 1408938 1259165 1 - 0.0000 -
1902.81/1909.48 c 1909 1411649 1261691 1 - 0.0000 -
1908.39/1915.00 c 1915 1414632 1264242 1 - 0.0000 -
1913.57/1920.29 c 1920 1417575 1266716 1 - 0.0000 -
1919.45/1926.12 c 1926 1420863 1269834 1 - 0.0000 -
1925.12/1931.87 c 1932 1424087 1272610 1 - 0.0000 -
1930.19/1936.92 c 1937 1426737 1275075 1 - 0.0000 -
1936.47/1943.27 c 1943 1430191 1278012 1 - 0.0000 -
1942.26/1949.03 c 1949 1432925 1280574 1 - 0.0000 -
1947.73/1954.58 c 1955 1436198 1283492 1 - 0.0000 -
1953.71/1960.54 c 1961 1439298 1286453 1 - 0.0000 -
1959.08/1965.95 c 1966 1441591 1288723 1 - 0.0000 -
1964.66/1971.58 c 1972 1443915 1291047 1 - 0.0000 -
1970.64/1977.58 c 1978 1446870 1293802 1 - 0.0000 -
1976.02/1982.95 c 1983 1449529 1296197 1 - 0.0000 -
1981.59/1988.58 c 1989 1452477 1298979 1 - 0.0000 -
1986.88/1993.81 c 1994 1455306 1301634 1 - 0.0000 -
1992.25/1999.27 c 1999 1458193 1304237 1 - 0.0000 -
1997.93/2004.90 c 2005 1460852 1306705 1 - 0.0000 -
2003.11/2010.11 c 2010 1463593 1309353 1 - 0.0000 -
2008.40/2015.43 c 2015 1466281 1311686 1 - 0.0000 -
2013.57/2020.64 c 2021 1468739 1313775 1 - 0.0000 -
2018.75/2025.83 c 2026 1471329 1316258 1 - 0.0000 -
2023.73/2030.88 c 2031 1473846 1318473 1 - 0.0000 -
2029.21/2036.38 c 2036 1476447 1320836 1 - 0.0000 -
2035.09/2042.28 c 2042 1479712 1323523 1 - 0.0000 -
2040.47/2047.67 c 2048 1482639 1325968 1 - 0.0000 -
2046.14/2053.35 c 2053 1485804 1328253 1 - 0.0000 -
2051.42/2058.66 c 2059 1488302 1330463 1 - 0.0000 -
2057.30/2064.52 c 2065 1490925 1333086 1 - 0.0000 -
2062.79/2070.05 c 2070 1493767 1335854 1 - 0.0000 -
2068.06/2075.36 c 2075 1496193 1337933 1 - 0.0000 -
2073.74/2081.07 c 2081 1498892 1340563 1 - 0.0000 -
2079.32/2086.62 c 2087 1501753 1343114 1 - 0.0000 -
2084.50/2091.81 c 2092 1503743 1344521 1 - 0.0000 -
2090.17/2097.58 c 2098 1506381 1346954 1 - 0.0000 -
2095.45/2102.84 c 2103 1508811 1349263 1 - 0.0000 -
2101.43/2108.81 c 2109 1511809 1352141 1 - 0.0000 -
2107.11/2114.57 c 2115 1514684 1354794 1 - 0.0000 -
2112.39/2119.87 c 2120 1517173 1357186 1 - 0.0000 -
2118.07/2125.59 c 2126 1520063 1359798 1 - 0.0000 -
2123.85/2131.31 c 2131 1522803 1362347 1 - 0.0000 -
2129.32/2136.83 c 2137 1525709 1365119 1 - 0.0000 -
2135.30/2142.81 c 2143 1529011 1367898 1 - 0.0000 -
2140.68/2148.20 c 2148 1531309 1370137 1 - 0.0000 -
2146.15/2153.77 c 2154 1534287 1372874 1 - 0.0000 -
2151.74/2159.31 c 2159 1536647 1375028 1 - 0.0000 -
2157.22/2164.84 c 2165 1539484 1377815 1 - 0.0000 -
2162.79/2170.44 c 2170 1541931 1380257 1 - 0.0000 -
2168.18/2175.83 c 2176 1544792 1383114 1 - 0.0000 -
2173.25/2180.93 c 2181 1547380 1385657 1 - 0.0000 -
2178.73/2186.40 c 2186 1549583 1387757 1 - 0.0000 -
2184.42/2192.17 c 2192 1552155 1390329 1 - 0.0000 -
2189.98/2197.72 c 2198 1554777 1392882 1 - 0.0000 -
2195.76/2203.52 c 2204 1557513 1395502 1 - 0.0000 -
2201.25/2209.02 c 2209 1560174 1398012 1 - 0.0000 -
2206.52/2214.31 c 2214 1562930 1400700 1 - 0.0000 -
2211.80/2219.69 c 2220 1565191 1402922 1 - 0.0000 -
2217.28/2225.15 c 2225 1567701 1405392 1 - 0.0000 -
2222.76/2230.60 c 2231 1569981 1407568 1 - 0.0000 -
2228.25/2236.11 c 2236 1572824 1410213 1 - 0.0000 -
2233.72/2241.63 c 2242 1575742 1412773 1 - 0.0000 -
2239.00/2246.97 c 2247 1578921 1415488 1 - 0.0000 -
2244.67/2252.63 c 2253 1581367 1417581 1 - 0.0000 -
2250.55/2258.54 c 2259 1584085 1420187 1 - 0.0000 -
2255.83/2263.83 c 2264 1586516 1422406 1 - 0.0000 -
2261.51/2269.57 c 2270 1589304 1424604 1 - 0.0000 -
2267.68/2275.78 c 2276 1592033 1427259 1 - 0.0000 -
2272.97/2281.04 c 2281 1594641 1429703 1 - 0.0000 -
2278.25/2286.30 c 2286 1597231 1432065 1 - 0.0000 -
2283.63/2291.77 c 2292 1599996 1434478 1 - 0.0000 -
2288.91/2297.05 c 2297 1602581 1436811 1 - 0.0000 -
2294.38/2302.57 c 2303 1605232 1439103 1 - 0.0000 -
2299.96/2308.18 c 2308 1608177 1441868 1 - 0.0000 -
2305.44/2313.67 c 2314 1611001 1444449 1 - 0.0000 -
2310.62/2318.84 c 2319 1613339 1446457 1 - 0.0000 -
2316.10/2324.30 c 2324 1616151 1448958 1 - 0.0000 -
2321.58/2329.82 c 2330 1618653 1451369 1 - 0.0000 -
2326.96/2335.29 c 2335 1621552 1453807 1 - 0.0000 -
2332.63/2340.92 c 2341 1624367 1456306 1 - 0.0000 -
2338.31/2346.60 c 2347 1627215 1458776 1 - 0.0000 -
2344.09/2352.49 c 2352 1629890 1461106 1 - 0.0000 -
2349.47/2357.82 c 2358 1632099 1463136 1 - 0.0000 -
2355.24/2363.65 c 2364 1635118 1465840 1 - 0.0000 -
2360.73/2369.11 c 2369 1637894 1468089 1 - 0.0000 -
2365.91/2374.39 c 2374 1640235 1469875 1 - 0.0000 -
2370.99/2379.43 c 2379 1642733 1472259 1 - 0.0000 -
2376.36/2384.89 c 2385 1645296 1474585 1 - 0.0000 -
2381.65/2390.17 c 2390 1647673 1476685 1 - 0.0000 -
2386.72/2395.24 c 2395 1650207 1479106 1 - 0.0000 -
2392.21/2400.73 c 2401 1652676 1481391 1 - 0.0000 -
2397.78/2406.34 c 2406 1655753 1483899 1 - 0.0000 -
2402.87/2411.43 c 2411 1658206 1486054 1 - 0.0000 -
2408.14/2416.75 c 2417 1661139 1488635 1 - 0.0000 -
2413.92/2422.54 c 2423 1663978 1491088 1 - 0.0000 -
2419.00/2427.67 c 2428 1666013 1492997 1 - 0.0000 -
2424.58/2433.26 c 2433 1668587 1495297 1 - 0.0000 -
2430.16/2438.84 c 2439 1671175 1497811 1 - 0.0000 -
2435.23/2443.93 c 2444 1673199 1499791 1 - 0.0000 -
2440.51/2449.29 c 2449 1675637 1502037 1 - 0.0000 -
2446.20/2454.99 c 2455 1678263 1504501 1 - 0.0000 -
2451.57/2460.36 c 2460 1680533 1506367 1 - 0.0000 -
2457.16/2465.92 c 2466 1685585 1509516 1 - 0.0000 -
2463.13/2471.95 c 2472 1687323 1510984 1 - 0.0000 -
2469.00/2477.85 c 2478 1689725 1513268 1 - 0.0000 -
2474.38/2483.29 c 2483 1692265 1515757 1 - 0.0000 -
2480.16/2489.06 c 2489 1695301 1518427 1 - 0.0000 -
2485.74/2494.69 c 2495 1697727 1520662 1 - 0.0000 -
2491.02/2499.95 c 2500 1700421 1522957 1 - 0.0000 -
2496.99/2505.93 c 2506 1703289 1525727 1 - 0.0000 -
2502.48/2511.49 c 2511 1705796 1528184 1 - 0.0000 -
2507.96/2516.91 c 2517 1708481 1530848 1 - 0.0000 -
2513.93/2522.99 c 2523 1710959 1533320 1 - 0.0000 -
2519.91/2528.96 c 2529 1713698 1536045 1 - 0.0000 -
2525.59/2534.63 c 2535 1716175 1538522 1 - 0.0000 -
2531.56/2540.62 c 2541 1718949 1541284 1 - 0.0000 -
2536.65/2545.79 c 2546 1721126 1543424 1 - 0.0000 -
2542.52/2551.67 c 2552 1723826 1546124 1 - 0.0000 -
2548.59/2557.78 c 2558 1726754 1549052 1 - 0.0000 -
2554.18/2563.33 c 2563 1729163 1551423 1 - 0.0000 -
2559.26/2568.43 c 2568 1731219 1553470 1 - 0.0000 -
2564.43/2573.69 c 2574 1733416 1555661 1 - 0.0000 -
2570.41/2579.65 c 2580 1735977 1557927 1 - 0.0000 -
2576.09/2585.38 c 2585 1738904 1560222 1 - 0.0000 -
2581.47/2590.79 c 2591 1741231 1562485 1 - 0.0000 -
2587.95/2597.25 c 2597 1743891 1565110 1 - 0.0000 -
2593.93/2603.25 c 2603 1746540 1567737 1 - 0.0000 -
2599.72/2609.10 c 2609 1749011 1570168 1 - 0.0000 -
2604.99/2614.34 c 2614 1751140 1572213 1 - 0.0000 -
2609.98/2619.37 c 2619 1753456 1574122 1 - 0.0000 -
2615.56/2624.93 c 2625 1755922 1576291 1 - 0.0000 -
2620.66/2630.08 c 2630 1758417 1578064 1 - 0.0000 -
2626.43/2635.84 c 2636 1761083 1580498 1 - 0.0000 -
2631.92/2641.35 c 2641 1763485 1582623 1 - 0.0000 -
2637.89/2647.34 c 2647 1765959 1585022 1 - 0.0000 -
2643.38/2652.87 c 2653 1768541 1587367 1 - 0.0000 -
2648.96/2658.46 c 2658 1771229 1589928 1 - 0.0000 -
2654.05/2663.59 c 2664 1773781 1592388 1 - 0.0000 -
2659.93/2669.46 c 2669 1776319 1594879 1 - 0.0000 -
2665.52/2675.05 c 2675 1778951 1597393 1 - 0.0000 -
2671.00/2680.59 c 2681 1781476 1599765 1 - 0.0000 -
2676.38/2685.94 c 2686 1784307 1602348 1 - 0.0000 -
2681.46/2691.02 c 2691 1786605 1604422 1 - 0.0000 -
2687.24/2696.83 c 2697 1789239 1606810 1 - 0.0000 -
2692.83/2702.45 c 2702 1791805 1609299 1 - 0.0000 -
2698.91/2708.56 c 2709 1794815 1611965 1 - 0.0000 -
2705.09/2714.79 c 2715 1797634 1614643 1 - 0.0000 -
2710.87/2720.57 c 2721 1800174 1617046 1 - 0.0000 -
2716.05/2725.77 c 2726 1802517 1619272 1 - 0.0000 -
2721.24/2730.94 c 2731 1805015 1621642 1 - 0.0000 -
2727.52/2737.28 c 2737 1807643 1624264 1 - 0.0000 -
2733.31/2743.02 c 2743 1810229 1626754 1 - 0.0000 -
2739.39/2749.17 c 2749 1813002 1629405 1 - 0.0000 -
2745.47/2755.25 c 2755 1815727 1631880 1 - 0.0000 -
2751.25/2761.03 c 2761 1818161 1634179 1 - 0.0000 -
2757.33/2767.19 c 2767 1820931 1636765 1 - 0.0000 -
2763.01/2772.82 c 2773 1823552 1639176 1 - 0.0000 -
2768.70/2778.54 c 2779 1826161 1641736 1 - 0.0000 -
2774.08/2783.92 c 2784 1828546 1644016 1 - 0.0000 -
2779.17/2789.04 c 2789 1830961 1646251 1 - 0.0000 -
2784.85/2794.72 c 2795 1833421 1648579 1 - 0.0000 -
2790.82/2800.77 c 2801 1835879 1650854 1 - 0.0000 -
2796.11/2806.10 c 2806 1838296 1653167 1 - 0.0000 -
2801.69/2811.67 c 2812 1840697 1655350 1 - 0.0000 -
2806.77/2816.72 c 2817 1842979 1657540 1 - 0.0000 -
2812.36/2822.31 c 2822 1845013 1659510 1 - 0.0000 -
2817.84/2827.81 c 2828 1847323 1661787 1 - 0.0000 -
2823.43/2833.42 c 2833 1849633 1664014 1 - 0.0000 -
2829.12/2839.17 c 2839 1852188 1666379 1 - 0.0000 -
2834.29/2844.39 c 2844 1854593 1668649 1 - 0.0000 -
2839.68/2849.78 c 2850 1856827 1670489 1 - 0.0000 -
2845.36/2855.41 c 2855 1859423 1672965 1 - 0.0000 -
2850.65/2860.76 c 2861 1861954 1674951 1 - 0.0000 -
2856.13/2866.24 c 2866 1864356 1677172 1 - 0.0000 -
2862.11/2872.21 c 2872 1866843 1679506 1 - 0.0000 -
2868.20/2878.31 c 2878 1869004 1681460 1 - 0.0000 -
2874.07/2884.27 c 2884 1871559 1683840 1 - 0.0000 -
2879.56/2889.77 c 2890 1873459 1685666 1 - 0.0000 -
2885.84/2896.01 c 2896 1876348 1688213 1 - 0.0000 -
2891.02/2901.29 c 2901 1878632 1690431 1 - 0.0000 -
2896.30/2906.54 c 2907 1880781 1692569 1 - 0.0000 -
2902.19/2912.42 c 2912 1883089 1694859 1 - 0.0000 -
2908.07/2918.37 c 2918 1885780 1697536 1 - 0.0000 -
2913.26/2923.55 c 2924 1888404 1700103 1 - 0.0000 -
2919.44/2929.72 c 2930 1890983 1702673 1 - 0.0000 -
2925.52/2935.82 c 2936 1893779 1705443 1 - 0.0000 -
2931.00/2941.31 c 2941 1896106 1707715 1 - 0.0000 -
2936.19/2946.52 c 2947 1898319 1709898 1 - 0.0000 -
2941.68/2952.06 c 2952 1900577 1712072 1 - 0.0000 -
2946.77/2957.17 c 2957 1902778 1714267 1 - 0.0000 -
2952.54/2962.94 c 2963 1905051 1716540 1 - 0.0000 -
2958.53/2968.98 c 2969 1907492 1718964 1 - 0.0000 -
2964.61/2975.07 c 2975 1910122 1721454 1 - 0.0000 -
2970.58/2981.07 c 2981 1912697 1723988 1 - 0.0000 -
2975.86/2986.37 c 2986 1914831 1726106 1 - 0.0000 -
2981.56/2992.00 c 2992 1917165 1728436 1 - 0.0000 -
2987.13/2997.68 c 2998 1919402 1730670 1 - 0.0000 -
2992.52/3003.08 c 3003 1921918 1733157 1 - 0.0000 -
2998.20/3008.78 c 3009 1924071 1735298 1 - 0.0000 -
3003.88/3014.40 c 3014 1926447 1737636 1 - 0.0000 -
3009.77/3020.33 c 3020 1928621 1739810 1 - 0.0000 -
3015.24/3025.81 c 3026 1930766 1741955 1 - 0.0000 -
3020.33/3030.94 c 3031 1933046 1744227 1 - 0.0000 -
3026.22/3036.82 c 3037 1935374 1746476 1 - 0.0000 -
3032.10/3042.79 c 3043 1937431 1748427 1 - 0.0000 -
3037.38/3048.07 c 3048 1939605 1750514 1 - 0.0000 -
3042.47/3053.11 c 3053 1941782 1752612 1 - 0.0000 -
3048.15/3058.86 c 3059 1943702 1754375 1 - 0.0000 -
3053.53/3064.21 c 3064 1945782 1756443 1 - 0.0000 -
3059.22/3069.92 c 3070 1947716 1758267 1 - 0.0000 -
3064.80/3075.54 c 3076 1949909 1760385 1 - 0.0000 -
3069.78/3080.59 c 3081 1952765 1762733 1 - 0.0000 -
3075.86/3086.63 c 3087 1955162 1764937 1 - 0.0000 -
3081.35/3092.15 c 3092 1957127 1766804 1 - 0.0000 -
3086.74/3097.51 c 3098 1959514 1769009 1 - 0.0000 -
3092.41/3103.24 c 3103 1961622 1771066 1 - 0.0000 -
3098.00/3108.84 c 3109 1963934 1773364 1 - 0.0000 -
3103.19/3114.02 c 3114 1966279 1775408 1 - 0.0000 -
3108.47/3119.37 c 3119 1968537 1777335 1 - 0.0000 -
3113.55/3124.46 c 3124 1970641 1779419 1 - 0.0000 -
3118.93/3129.81 c 3130 1973176 1781880 1 - 0.0000 -
3124.02/3134.92 c 3135 1975354 1783933 1 - 0.0000 -
3129.90/3140.82 c 3141 1977929 1786504 1 - 0.0000 -
3135.59/3146.57 c 3147 1980471 1788988 1 - 0.0000 -
3141.27/3152.23 c 3152 1983128 1791085 1 - 0.0000 -
3147.05/3158.04 c 3158 1985779 1793623 1 - 0.0000 -
3152.84/3163.83 c 3164 1988203 1795733 1 - 0.0000 -
3158.02/3169.09 c 3169 1990455 1797789 1 - 0.0000 -
3163.60/3174.67 c 3175 1993026 1800091 1 - 0.0000 -
3169.39/3180.43 c 3180 1994911 1801684 1 - 0.0000 -
3174.77/3185.80 c 3186 1997294 1803716 1 - 0.0000 -
3180.36/3191.45 c 3191 1999427 1805383 1 - 0.0000 -
3186.05/3197.15 c 3197 2001513 1807375 1 - 0.0000 -
3191.72/3202.82 c 3203 2003995 1809777 1 - 0.0000 -
3197.40/3208.54 c 3209 2006261 1811908 1 - 0.0000 -
3202.47/3213.62 c 3214 2008431 1813788 1 - 0.0000 -
3208.35/3219.58 c 3220 2010736 1816082 1 - 0.0000 -
3214.03/3225.28 c 3225 2013363 1818589 1 - 0.0000 -
3219.61/3230.80 c 3231 2015777 1820803 1 - 0.0000 -
3225.59/3236.80 c 3237 2018121 1822744 1 - 0.0000 -
3231.47/3242.71 c 3243 2020456 1824930 1 - 0.0000 -
3236.85/3248.15 c 3248 2022731 1827027 1 - 0.0000 -
3242.23/3253.57 c 3254 2024647 1828824 1 - 0.0000 -
3247.61/3258.92 c 3259 2026566 1830718 1 - 0.0000 -
3253.58/3264.92 c 3265 2029129 1833185 1 - 0.0000 -
3259.36/3270.74 c 3271 2031232 1834966 1 - 0.0000 -
3264.84/3276.29 c 3276 2033374 1836825 1 - 0.0000 -
3270.62/3282.00 c 3282 2035347 1838633 1 - 0.0000 -
3275.60/3287.08 c 3287 2037907 1840882 1 - 0.0000 -
3281.28/3292.72 c 3293 2040345 1843027 1 - 0.0000 -
3287.26/3298.70 c 3299 2042877 1845002 1 - 0.0000 -
3292.56/3304.08 c 3304 2045052 1847086 1 - 0.0000 -
3297.94/3309.43 c 3309 2047327 1848971 1 - 0.0000 -
3302.92/3314.47 c 3314 2049592 1851236 1 - 0.0000 -
3309.20/3320.76 c 3321 2051941 1853573 1 - 0.0000 -
3315.28/3326.83 c 3327 2054376 1855975 1 - 0.0000 -
3320.27/3331.87 c 3332 2056738 1858077 1 - 0.0000 -
3325.95/3337.57 c 3338 2058729 1859977 1 - 0.0000 -
3331.34/3342.97 c 3343 2060908 1862123 1 - 0.0000 -
3337.22/3348.85 c 3349 2063317 1864306 1 - 0.0000 -
3343.09/3354.78 c 3355 2066125 1866863 1 - 0.0000 -
3349.08/3360.78 c 3361 2068686 1869037 1 - 0.0000 -
3354.86/3366.58 c 3367 2071283 1871432 1 - 0.0000 -
3360.64/3372.36 c 3372 2073855 1873962 1 - 0.0000 -
3365.73/3377.48 c 3377 2075494 1875601 1 - 0.0000 -
3371.32/3383.09 c 3383 2077911 1877862 1 - 0.0000 -
3376.89/3388.64 c 3389 2080038 1879963 1 - 0.0000 -
3382.88/3394.67 c 3395 2082413 1882338 1 - 0.0000 -
3388.76/3400.57 c 3401 2084751 1884615 1 - 0.0000 -
3394.25/3406.01 c 3406 2087218 1886941 1 - 0.0000 -
3400.03/3411.84 c 3412 2089636 1889034 1 - 0.0000 -
3405.01/3416.89 c 3417 2091409 1890801 1 - 0.0000 -
3410.89/3422.79 c 3423 2093638 1893018 1 - 0.0000 -
3417.19/3429.03 c 3429 2095827 1895198 1 - 0.0000 -
3423.16/3435.00 c 3435 2098079 1897444 1 - 0.0000 -
3428.25/3440.19 c 3440 2100371 1899604 1 - 0.0000 -
3433.63/3445.59 c 3446 2102414 1901541 1 - 0.0000 -
3439.40/3451.32 c 3451 2104319 1903288 1 - 0.0000 -
3445.58/3457.56 c 3458 2106843 1905589 1 - 0.0000 -
3451.16/3463.14 c 3463 2109067 1907813 1 - 0.0000 -
3456.74/3468.78 c 3469 2111037 1909783 1 - 0.0000 -
3461.92/3473.91 c 3474 2113013 1911759 1 - 0.0000 -
3468.00/3480.01 c 3480 2115003 1913749 1 - 0.0000 -
3473.98/3486.03 c 3486 2117145 1915891 1 - 0.0000 -
3478.96/3491.07 c 3491 2119099 1917822 1 - 0.0000 -
3485.03/3497.13 c 3497 2121162 1919865 1 - 0.0000 -
3490.02/3502.19 c 3502 2122964 1921651 1 - 0.0000 -
3496.00/3508.19 c 3508 2125013 1923700 1 - 0.0000 -
3501.68/3513.85 c 3514 2127009 1925696 1 - 0.0000 -
3507.16/3519.30 c 3519 2128742 1927425 1 - 0.0000 -
3512.54/3524.71 c 3525 2130735 1929412 1 - 0.0000 -
3518.52/3530.71 c 3531 2133063 1931734 1 - 0.0000 -
3524.60/3536.88 c 3537 2135044 1933715 1 - 0.0000 -
3530.38/3542.64 c 3543 2137271 1935844 1 - 0.0000 -
3535.97/3548.29 c 3548 2139331 1937860 1 - 0.0000 -
3541.85/3554.18 c 3554 2141501 1939971 1 - 0.0000 -
3547.63/3559.99 c 3560 2143629 1942099 1 - 0.0000 -
3552.72/3565.03 c 3565 2145735 1944144 1 - 0.0000 -
3558.60/3570.90 c 3571 2147621 1946030 1 - 0.0000 -
3563.58/3575.96 c 3576 2149335 1947744 1 - 0.0000 -
3569.07/3581.47 c 3581 2150391 1948788 1 - 0.0000 -
3575.14/3587.55 c 3588 2152953 1951350 1 - 0.0000 -
3580.53/3592.96 c 3593 2155153 1953550 1 - 0.0000 -
3586.21/3598.61 c 3599 2157261 1955650 1 - 0.0000 -
3589.81/3602.22 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.81/3602.22 c Total Time : 3602.2300
3589.81/3602.22 c solving : 3602.2300
3589.81/3602.22 c presolving : 0.0081 (included in solving)
3589.81/3602.22 c B&B Tree :
3589.81/3602.22 c nodes (total) : 1
3589.81/3602.22 c Solution :
3589.81/3602.22 c Solutions found : 0
3589.81/3602.22 c Primal Bound : -
3589.81/3602.22 c Dual Bound : +0.00000000000000e+00
3589.81/3602.22 c Gap : -
3589.81/3602.23 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: 63968 MiB (62865 MiB free)
memory of node 1: 64473 MiB (63329 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447400-1721354072/watcher-4447400-1721354072 -o /tmp/evaluation-result-4447400-1721354072/solver-4447400-1721354072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982054 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447400-1721354072.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=982109, runsolver pid=982095
Current StackSize limit: 8192 KiB
[startup+0.101058 s]*
/proc/loadavg: 1.97 2.26 2.89 6/258 982124
/proc/meminfo: memFree=129183684/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=109388 memory=26940 CPUtime=0.09 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 4158 0 0 0 9 0 0 0 20 0 3 0 187574219 112013312 6735 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 27347 6735 2926 3032 0 10342 0
[pid=982109/tid=982121] ppid=982095 vsize=109388 memory=4026531959 CPUtime=0.08 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2356 0 0 0 8 0 0 0 20 0 3 0 187574221 112013312 6735 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=109388 memory=219967997612 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574221 112013312 6735 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109388 KiB
Current children cumulated memory: 26940 KiB
[startup+0.205478 s]*
/proc/loadavg: 1.97 2.26 2.89 4/252 982140
/proc/meminfo: memFree=129181268/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=109388 memory=29112 CPUtime=0.19 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 4682 0 0 0 19 0 0 0 20 0 3 0 187574219 112013312 7278 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 27347 7278 2942 3032 0 10790 0
[pid=982109/tid=982121] ppid=982095 vsize=109388 memory=3472328300254212346 CPUtime=0.18 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2880 0 0 0 18 0 0 0 20 0 3 0 187574221 112013312 7278 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=109388 memory=1656777 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574221 112013312 7278 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109388 KiB
Current children cumulated memory: 29112 KiB
[startup+0.305895 s]*
/proc/loadavg: 1.97 2.26 2.89 4/256 982152
/proc/meminfo: memFree=129170868/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=109388 memory=32544 CPUtime=0.3 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 5509 0 0 0 29 1 0 0 20 0 3 0 187574219 112013312 8136 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 27347 8136 2942 3032 0 11404 0
[pid=982109/tid=982121] ppid=982095 vsize=109388 memory=8390339637985935414 CPUtime=0.28 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 3707 0 0 0 28 0 0 0 20 0 3 0 187574221 112013312 8136 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=109388 memory=4210021459480626854 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574221 112013312 8136 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109388 KiB
Current children cumulated memory: 32544 KiB
[startup+0.700179 s]
/proc/loadavg: 1.97 2.26 2.89 7/264 982218
/proc/meminfo: memFree=129146348/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=109388 memory=33072 CPUtime=0.69 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 5640 0 0 0 68 1 0 0 20 0 3 0 187574219 112013312 8268 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 27347 8268 2942 3032 0 11559 0
[pid=982109/tid=982121] ppid=982095 vsize=109388 memory=0 CPUtime=0.67 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 3838 0 0 0 67 0 0 0 20 0 3 0 187574221 112013312 8268 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=109388 memory=3472275528340474041 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574221 112013312 8268 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 109388 KiB
Current children cumulated memory: 33072 KiB
[startup+1.5002 s]
/proc/loadavg: 1.97 2.26 2.89 7/266 982220
/proc/meminfo: memFree=129098776/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=109388 memory=35252 CPUtime=1.48 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 9922 0 0 0 147 1 0 0 20 0 3 0 187574219 112013312 8813 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 27347 8813 2942 3032 0 12036 0
[pid=982109/tid=982121] ppid=982095 vsize=109388 memory=0 CPUtime=1.47 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 8105 0 0 0 146 1 0 0 20 0 3 0 187574221 112013312 8813 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=109388 memory=0 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574221 112013312 8813 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109388 KiB
Current children cumulated memory: 35252 KiB
[startup+3.10634 s]
/proc/loadavg: 2.13 2.29 2.90 6/266 982220
/proc/meminfo: memFree=129065100/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=109388 memory=37760 CPUtime=3.08 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 10717 0 0 0 307 1 0 0 20 0 3 0 187574219 112013312 9440 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 27347 9440 2942 3032 0 12691 0
[pid=982109/tid=982121] ppid=982095 vsize=109388 memory=0 CPUtime=3.07 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 8897 0 0 0 306 1 0 0 20 0 3 0 187574221 112013312 9440 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=109388 memory=0 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 187574221 112013312 9440 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 109388 KiB
Current children cumulated memory: 37760 KiB
[startup+6.3002 s]
/proc/loadavg: 2.13 2.29 2.90 6/266 982220
/proc/meminfo: memFree=129040628/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=112104 memory=54084 CPUtime=6.27 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 20767 0 0 0 624 3 0 0 20 0 3 0 187574219 114794496 13521 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 28026 13521 2990 3032 0 16750 0
[pid=982109/tid=982121] ppid=982095 vsize=112104 memory=-6082791234456435559 CPUtime=6.25 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 18915 0 0 0 623 2 0 0 20 0 3 0 187574221 114794496 13521 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=112104 memory=0 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 187574221 114794496 13521 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 112104 KiB
Current children cumulated memory: 54084 KiB
[startup+12.7002 s]
/proc/loadavg: 2.28 2.32 2.91 6/266 982222
/proc/meminfo: memFree=129012452/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=112104 memory=60328 CPUtime=12.64 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 33859 0 0 0 1260 4 0 0 20 0 3 0 187574219 114794496 15082 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 28026 15082 2990 3032 0 18319 0
[pid=982109/tid=982121] ppid=982095 vsize=112104 memory=0 CPUtime=12.63 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 31962 0 0 0 1259 4 0 0 20 0 3 0 187574221 114794496 15082 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=112104 memory=11608 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 187574221 114794496 15082 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 112104 KiB
Current children cumulated memory: 60328 KiB
[startup+25.5002 s]
/proc/loadavg: 2.73 2.42 2.93 6/266 982223
/proc/meminfo: memFree=128961436/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=114116 memory=70428 CPUtime=25.41 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 57145 0 0 0 2532 9 0 0 20 0 3 0 187574219 116854784 17607 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 28529 17607 2990 3032 0 20826 0
[pid=982109/tid=982121] ppid=982095 vsize=114116 memory=4580 CPUtime=25.39 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 55155 0 0 0 2531 8 0 0 20 0 3 0 187574221 116854784 17607 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=114116 memory=68996 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 187574221 116854784 17607 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 114116 KiB
Current children cumulated memory: 70428 KiB
[startup+51.106 s]
/proc/loadavg: 3.23 2.56 2.96 6/264 982228
/proc/meminfo: memFree=128864672/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=189640 memory=98572 CPUtime=50.93 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 92764 0 0 0 5077 16 0 0 20 0 3 0 187574219 194191360 24643 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 47410 24643 2990 3032 0 28236 0
[pid=982109/tid=982121] ppid=982095 vsize=189640 memory=11608 CPUtime=50.91 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 90674 0 0 0 5076 15 0 0 20 0 3 0 187574221 194191360 24643 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=189640 memory=88004 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 187574221 194191360 24643 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 189640 KiB
Current children cumulated memory: 98572 KiB
[startup+102.3 s]
/proc/loadavg: 3.87 2.83 3.04 6/266 982620
/proc/meminfo: memFree=128675844/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=207448 memory=144140 CPUtime=101.94 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 143996 0 0 0 10167 27 0 0 20 0 3 0 187574219 212426752 36035 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 51862 36035 2990 3032 0 39292 0
[pid=982109/tid=982121] ppid=982095 vsize=207448 memory=141084 CPUtime=101.92 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 141820 0 0 0 10166 26 0 0 20 0 3 0 187574221 212426752 36035 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=207448 memory=134672 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 187574221 212426752 36035 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 207448 KiB
Current children cumulated memory: 144140 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.08 3.11 6/266 982630
/proc/meminfo: memFree=128484016/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=225328 memory=194508 CPUtime=161.73 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 174853 0 0 0 16133 40 0 0 20 0 3 0 187574219 230735872 48627 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 56332 48627 2990 3032 0 51905 0
[pid=982109/tid=982121] ppid=982095 vsize=225328 memory=183440 CPUtime=161.7 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 172637 0 0 0 16131 39 0 0 20 0 3 0 187574221 230735872 48627 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=225328 memory=12384 CPUtime=0 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 187574221 230735872 48627 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 225328 KiB
################
# More data... #
################
/proc/982109/statm: 433004 415276 2990 3032 0 421021 0
[pid=982109/tid=982121] ppid=982095 vsize=1732016 memory=1640704 CPUtime=3390.33 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2376285 0 0 0 338498 535 0 0 20 0 3 0 187574221 1773584384 415276 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=1732016 memory=1640716 CPUtime=0.02 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 154 0 0 0 1 1 0 0 20 0 3 0 187574221 1773584384 415276 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3390.56 s
Current children cumulated vsize: 1732016 KiB
Current children cumulated memory: 1661104 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.22 4.15 6/264 984025
/proc/meminfo: memFree=123532684/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=1745224 memory=1685364 CPUtime=3450.36 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 2430633 0 0 0 344486 550 0 0 20 0 3 0 187574219 1787109376 421341 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 436306 421341 2990 3032 0 426355 0
[pid=982109/tid=982121] ppid=982095 vsize=1745224 memory=1640704 CPUtime=3450.13 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2427250 0 0 0 344470 543 0 0 20 0 3 0 187574221 1787109376 421341 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=1745224 memory=1640716 CPUtime=0.02 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 156 0 0 0 1 1 0 0 20 0 3 0 187574221 1787109376 421341 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3450.36 s
Current children cumulated vsize: 1745224 KiB
Current children cumulated memory: 1685364 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.15 6/265 984037
/proc/meminfo: memFree=123460876/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=1752300 memory=1701764 CPUtime=3510.15 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 2468016 0 0 0 350458 557 0 0 20 0 3 0 187574219 1794355200 425441 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 438075 425441 2990 3032 0 430418 0
[pid=982109/tid=982121] ppid=982095 vsize=1752300 memory=1683564 CPUtime=3509.91 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2464610 0 0 0 350442 549 0 0 20 0 3 0 187574221 1794355200 425441 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=1752300 memory=1694644 CPUtime=0.03 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 158 0 0 0 1 2 0 0 20 0 3 0 187574221 1794355200 425441 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3510.15 s
Current children cumulated vsize: 1752300 KiB
Current children cumulated memory: 1701764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.20 4.15 6/265 984048
/proc/meminfo: memFree=123394856/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=1763480 memory=1716360 CPUtime=3569.97 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 2505306 0 0 0 356433 564 0 0 20 0 3 0 187574219 1805803520 429090 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 440870 429090 2990 3032 0 435254 0
[pid=982109/tid=982121] ppid=982095 vsize=1763480 memory=12384 CPUtime=3569.72 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2501878 0 0 0 356416 556 0 0 20 0 3 0 187574221 1805803520 429090 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=1763480 memory=1715680 CPUtime=0.03 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 187574221 1805803520 429090 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3569.97 s
Current children cumulated vsize: 1763480 KiB
Current children cumulated memory: 1716360 KiB
[startup+3602.25 s]
# the end of solver process 982109 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.07 s, system=5.79852 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.19 4.15 6/265 984048
/proc/meminfo: memFree=123392884/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=1763480 memory=1716988 CPUtime=3571.66 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 2514320 0 0 0 356602 564 0 0 20 0 3 0 187574219 1805803520 429247 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 440870 429247 2990 3032 0 435342 0
[pid=982109/tid=982121] ppid=982095 vsize=1763480 memory=4820 CPUtime=3571.42 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2510892 0 0 0 356585 557 0 0 20 0 3 0 187574221 1805803520 429247 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=1763480 memory=4968 CPUtime=0.03 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 187574221 1805803520 429247 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 1763480 KiB
Current children cumulated memory: 1716988 KiB
[startup+3590.4 s]
/proc/loadavg: 4.28 4.22 4.16 6/265 984050
/proc/meminfo: memFree=123387224/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=1764504 memory=1719360 CPUtime=3578.04 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 2515385 0 0 0 357239 565 0 0 20 0 3 0 187574219 1806852096 429840 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 441126 429840 2990 3032 0 435886 0
[pid=982109/tid=982121] ppid=982095 vsize=1764504 memory=11608 CPUtime=3577.79 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2511957 0 0 0 357222 557 0 0 20 0 3 0 187574221 1806852096 429840 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=1764504 memory=11608 CPUtime=0.03 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 187574221 1806852096 429840 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3578.04 s
Current children cumulated vsize: 1764504 KiB
Current children cumulated memory: 1719360 KiB
[startup+3596.8 s]
/proc/loadavg: 4.26 4.22 4.16 6/265 984050
/proc/meminfo: memFree=123379856/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=1764504 memory=1719928 CPUtime=3584.42 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 2520663 0 0 0 357876 566 0 0 20 0 3 0 187574219 1806852096 429982 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 441126 429982 2990 3032 0 435982 0
[pid=982109/tid=982121] ppid=982095 vsize=1764504 memory=1714416 CPUtime=3584.18 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2517235 0 0 0 357859 559 0 0 20 0 3 0 187574221 1806852096 429982 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=1764504 memory=1715672 CPUtime=0.03 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 187574221 1806852096 429982 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 1764504 KiB
Current children cumulated memory: 1719928 KiB
[startup+3600 s]*
/proc/loadavg: 4.24 4.22 4.16 6/265 984051
/proc/meminfo: memFree=123373920/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=1765532 memory=1722884 CPUtime=3587.61 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 2525175 0 0 0 358195 566 0 0 20 0 3 0 187574219 1807904768 430721 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 441383 430721 2990 3032 0 436709 0
[pid=982109/tid=982121] ppid=982095 vsize=1765532 memory=6720662134302327406 CPUtime=3587.37 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2521747 0 0 0 358178 559 0 0 20 0 3 0 187574221 1807904768 430721 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=1765532 memory=-7448521292198273920 CPUtime=0.03 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 187574221 1807904768 430721 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3587.61 s
Current children cumulated vsize: 1765532 KiB
Current children cumulated memory: 1722884 KiB
[startup+3601.6 s]
/proc/loadavg: 4.24 4.22 4.16 6/265 984051
/proc/meminfo: memFree=123443440/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=1473972 memory=1431328 CPUtime=3589.2 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 2668293 0 0 0 358345 575 0 0 20 0 3 0 187574219 1509347328 357832 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 368493 357832 2990 3032 0 363819 0
[pid=982109/tid=982121] ppid=982095 vsize=1473972 memory=11608 CPUtime=3588.96 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2664862 0 0 0 358328 568 0 0 20 0 3 0 187574221 1509347328 357832 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=1473972 memory=1720856 CPUtime=0.03 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 187574221 1509347328 357832 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3589.2 s
Current children cumulated vsize: 1473972 KiB
Current children cumulated memory: 1431328 KiB
[startup+3602 s]*
/proc/loadavg: 4.24 4.22 4.16 5/261 984099
/proc/meminfo: memFree=124720588/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=1297868 memory=1255224 CPUtime=3589.62 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 2674142 0 0 0 358385 577 0 0 20 0 3 0 187574219 1329016832 313806 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 324467 313806 2990 3032 0 319793 0
[pid=982109/tid=982121] ppid=982095 vsize=1297868 memory=-6098642906627668926 CPUtime=3589.37 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2670714 0 0 0 358368 569 0 0 20 0 3 0 187574221 1329016832 313806 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=1297868 memory=6720662134302327406 CPUtime=0.03 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 187574221 1329016832 313806 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3589.62 s
Current children cumulated vsize: 1297868 KiB
Current children cumulated memory: 1255224 KiB
[startup+3602.2 s]
/proc/loadavg: 4.24 4.22 4.16 5/261 984099
/proc/meminfo: memFree=124720588/131524600 swapFree=131071996/131071996
[pid=982109] ppid=982095 vsize=1220928 memory=1178284 CPUtime=3589.81 cores=5,7
/proc/982109/stat : 982109 (fscip) S 982095 982109 982041 0 -1 1077936128 2676012 0 0 0 358404 577 0 0 20 0 3 0 187574219 1250230272 294571 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
/proc/982109/statm: 305232 294571 2990 3032 0 300558 0
[pid=982109/tid=982121] ppid=982095 vsize=1220928 memory=1656719 CPUtime=3589.57 cores=5,7
/proc/982109/task/982121/stat : 982121 (fscip) R 982095 982109 982041 0 -1 4194368 2672581 0 0 0 358387 570 0 0 20 0 3 0 187574221 1250230272 294571 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
[pid=982109/tid=982122] ppid=982095 vsize=1220928 memory=1657299 CPUtime=0.03 cores=5,7
/proc/982109/task/982122/stat : 982122 (fscip) S 982095 982109 982041 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 187574221 1250230272 294571 134679101440 4194304 16613245 140722367995296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47366144 140722368001044 140722368001160 140722368001160 140722368008176 0
Current children cumulated CPU time: 3589.81 s
Current children cumulated vsize: 1220928 KiB
Current children cumulated memory: 1178284 KiB
Child status: 0
Real time (s): 3602.25
CPU time (s): 3589.86
CPU user time (s): 3584.07
CPU system time (s): 5.79852
CPU usage (%): 99.6562
Max. virtual memory (cumulated for all children) (KiB): 1765532
Max. memory (cumulated for all children) (KiB): 1722884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.07
system time used= 5.79852
maximum resident set size= 1722884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2676178
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= 10374
involuntary context switches= 4890
# summary of solver processes directly reported to runsolver:
# pid: 982109
# total CPU time (s): 3589.86
# total CPU user time (s): 3584.07
# total CPU system time (s): 5.79852
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39069 second user time and 18.3488 second system time
The end
Begin job on nodeC028 at 2024-07-19 03:54:44
IDJOB=4447400
IDBENCH=158687
IDSOLVER=3064
FILE ID=nodeC028/4447400-1721354072
RUNJOBID= nodeC028-1721354084-982054
SLURM_JOB_ID= 7542773
Free space on /tmp= 890068 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n148-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447400-1721354072/watcher-4447400-1721354072 -o /tmp/evaluation-result-4447400-1721354072/solver-4447400-1721354072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982054 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447400-1721354072.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fefb64a1b2a7fa00e7ba601f2504d0e0
RANDOM SEED=641860416
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3816.202
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.56
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 : 3819.745
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.59
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 : 3716.537
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.56
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 : 3745.714
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.59
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 : 3711.586
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.56
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 : 3806.466
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.59
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 : 3675.234
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.56
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 : 3609.559
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129225900 kB
MemAvailable: 129748172 kB
Buffers: 503188 kB
Cached: 860920 kB
SwapCached: 0 kB
Active: 1003160 kB
Inactive: 700728 kB
Active(anon): 1424 kB
Inactive(anon): 376072 kB
Active(file): 1001736 kB
Inactive(file): 324656 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112624 kB
Writeback: 20 kB
AnonPages: 337052 kB
Mapped: 106280 kB
Shmem: 37720 kB
KReclaimable: 71404 kB
Slab: 178796 kB
SReclaimable: 71404 kB
SUnreclaim: 107392 kB
KernelStack: 3776 kB
PageTables: 9696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 831112 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889984 MiB
End job on nodeC028 at 2024-07-19 04:54:47