0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 23674880, getVmSize() = 23674880, SCIPgetMemUsed() = 1653414, 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 = 16696661, getVmSize() = 26415104, SCIPgetMemUsed() = 1932527, 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-4464544-1722385800
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.25 c 5 1104 54 1 - 0.0000 -
10.25/10.32 c 10 5594 4507 1 - 0.0000 -
15.24/15.37 c 15 9739 8640 1 - 0.0000 -
20.33/20.41 c 20 14445 13338 1 - 0.0000 -
25.30/25.46 c 25 19302 18188 1 - 0.0000 -
30.39/30.51 c 31 23947 22805 1 - 0.0000 -
35.38/35.59 c 36 28906 27736 1 - 0.0000 -
40.46/40.64 c 41 35843 32529 1 - 0.0000 -
45.45/45.69 c 46 41249 36243 1 - 0.0000 -
50.53/50.74 c 51 45911 40896 1 - 0.0000 -
55.62/55.81 c 56 51129 45939 1 - 0.0000 -
60.59/60.86 c 61 56326 50623 1 - 0.0000 -
65.68/65.91 c 66 61307 55407 1 - 0.0000 -
70.66/70.96 c 71 66049 60055 1 - 0.0000 -
75.75/76.01 c 76 71218 63976 1 - 0.0000 -
80.73/81.06 c 81 76218 68660 1 - 0.0000 -
85.82/86.11 c 86 81295 73483 1 - 0.0000 -
90.81/91.18 c 91 86882 78422 1 - 0.0000 -
95.89/96.23 c 96 91857 83247 1 - 0.0000 -
100.86/101.29 c 101 96966 88175 1 - 0.0000 -
105.96/106.35 c 106 102443 93396 1 - 0.0000 -
111.04/111.41 c 111 107574 98390 1 - 0.0000 -
116.02/116.46 c 116 112613 103077 1 - 0.0000 -
121.10/121.52 c 122 117638 107765 1 - 0.0000 -
126.09/126.58 c 127 122961 112853 1 - 0.0000 -
131.18/131.67 c 132 128102 117532 1 - 0.0000 -
136.26/136.73 c 137 133283 122017 1 - 0.0000 -
141.34/141.84 c 142 138617 126873 1 - 0.0000 -
146.44/146.90 c 147 143727 131495 1 - 0.0000 -
151.41/151.96 c 152 148517 136181 1 - 0.0000 -
156.51/157.01 c 157 153709 140983 1 - 0.0000 -
161.49/162.06 c 162 158568 145579 1 - 0.0000 -
166.57/167.12 c 167 163136 149631 1 - 0.0000 -
171.57/172.16 c 172 168541 154551 1 - 0.0000 -
176.65/177.22 c 177 173570 158873 1 - 0.0000 -
181.73/182.31 c 182 178391 163251 1 - 0.0000 -
186.72/187.38 c 187 183223 167664 1 - 0.0000 -
191.90/192.50 c 192 188371 172146 1 - 0.0000 -
196.88/197.54 c 198 193315 176722 1 - 0.0000 -
201.97/202.60 c 203 198197 180921 1 - 0.0000 -
206.95/207.66 c 208 203173 184955 1 - 0.0000 -
212.04/212.71 c 213 208157 188601 1 - 0.0000 -
217.03/217.76 c 218 212784 192914 1 - 0.0000 -
222.10/222.82 c 223 217373 197174 1 - 0.0000 -
227.30/228.01 c 228 222132 201530 1 - 0.0000 -
232.39/233.19 c 233 227237 206222 1 - 0.0000 -
237.56/238.30 c 238 232254 210497 1 - 0.0000 -
242.54/243.36 c 243 236865 214518 1 - 0.0000 -
247.62/248.46 c 248 241848 218685 1 - 0.0000 -
252.70/253.52 c 254 247136 222570 1 - 0.0000 -
257.78/258.61 c 259 251788 226239 1 - 0.0000 -
262.76/263.66 c 264 257129 230592 1 - 0.0000 -
267.85/268.73 c 269 262389 235320 1 - 0.0000 -
272.92/273.86 c 274 267113 239723 1 - 0.0000 -
278.01/278.91 c 279 271885 243968 1 - 0.0000 -
282.98/283.96 c 284 277209 248292 1 - 0.0000 -
288.27/289.20 c 289 281572 252290 1 - 0.0000 -
293.25/294.25 c 294 286817 256650 1 - 0.0000 -
298.23/299.30 c 299 292446 261398 1 - 0.0000 -
303.51/304.52 c 305 297762 266087 1 - 0.0000 -
308.59/309.64 c 310 303395 270745 1 - 0.0000 -
313.57/314.69 c 315 307472 274620 1 - 0.0000 -
318.66/319.74 c 320 312451 279095 1 - 0.0000 -
323.63/324.79 c 325 317755 283663 1 - 0.0000 -
328.71/329.89 c 330 323038 287958 1 - 0.0000 -
333.80/334.95 c 335 327562 291909 1 - 0.0000 -
338.78/340.00 c 340 332817 296563 1 - 0.0000 -
343.87/345.07 c 345 337582 300790 1 - 0.0000 -
348.94/350.17 c 350 342355 305211 1 - 0.0000 -
354.02/355.29 c 355 347017 309407 1 - 0.0000 -
359.20/360.40 c 360 351782 313790 1 - 0.0000 -
364.18/365.45 c 365 356465 318322 1 - 0.0000 -
369.26/370.56 c 371 361567 322872 1 - 0.0000 -
374.34/375.68 c 376 366425 327218 1 - 0.0000 -
379.53/380.82 c 381 371341 331705 1 - 0.0000 -
384.61/385.99 c 386 376241 336248 1 - 0.0000 -
389.69/391.08 c 391 380971 340475 1 - 0.0000 -
394.78/396.16 c 396 385874 345124 1 - 0.0000 -
400.06/401.40 c 401 390531 349552 1 - 0.0000 -
405.14/406.51 c 407 395414 353954 1 - 0.0000 -
410.21/411.64 c 412 400081 358167 1 - 0.0000 -
415.29/416.79 c 417 404547 362304 1 - 0.0000 -
420.47/421.92 c 422 409583 366563 1 - 0.0000 -
425.56/427.01 c 427 414520 371035 1 - 0.0000 -
430.64/432.18 c 432 419397 375148 1 - 0.0000 -
435.82/437.37 c 437 424813 379647 1 - 0.0000 -
440.90/442.41 c 442 429507 383877 1 - 0.0000 -
445.89/447.47 c 447 434063 388205 1 - 0.0000 -
451.06/452.64 c 453 439074 392433 1 - 0.0000 -
456.14/457.77 c 458 443749 396742 1 - 0.0000 -
461.23/462.81 c 463 448739 401220 1 - 0.0000 -
466.30/468.00 c 468 453144 405573 1 - 0.0000 -
471.39/473.07 c 473 457902 409836 1 - 0.0000 -
476.57/478.22 c 478 462368 414064 1 - 0.0000 -
481.75/483.43 c 483 466909 418017 1 - 0.0000 -
486.83/488.51 c 489 471717 422272 1 - 0.0000 -
491.91/493.62 c 494 476379 426531 1 - 0.0000 -
496.99/498.71 c 499 481119 430981 1 - 0.0000 -
501.98/503.76 c 504 485881 435256 1 - 0.0000 -
507.05/508.83 c 509 490666 439673 1 - 0.0000 -
512.03/513.88 c 514 494941 443290 1 - 0.0000 -
517.22/519.01 c 519 499321 447235 1 - 0.0000 -
522.20/524.07 c 524 504411 450918 1 - 0.0000 -
527.28/529.20 c 529 509119 454819 1 - 0.0000 -
532.56/534.44 c 534 513759 458742 1 - 0.0000 -
537.64/539.55 c 540 518637 462637 1 - 0.0000 -
542.72/544.68 c 545 522648 466130 1 - 0.0000 -
548.10/550.00 c 550 527441 470023 1 - 0.0000 -
553.18/555.19 c 555 531828 474075 1 - 0.0000 -
558.36/560.32 c 560 536161 478365 1 - 0.0000 -
563.45/565.45 c 565 540605 482809 1 - 0.0000 -
568.63/570.61 c 571 544488 486692 1 - 0.0000 -
573.81/575.82 c 576 548418 490622 1 - 0.0000 -
578.79/580.88 c 581 552687 494249 1 - 0.0000 -
583.87/585.98 c 586 557051 498014 1 - 0.0000 -
589.05/591.17 c 591 561939 502528 1 - 0.0000 -
594.33/596.43 c 596 566809 506859 1 - 0.0000 -
599.51/601.68 c 602 571397 510900 1 - 0.0000 -
604.69/606.84 c 607 575868 514900 1 - 0.0000 -
609.77/611.97 c 612 580206 518851 1 - 0.0000 -
615.16/617.38 c 617 584704 522984 1 - 0.0000 -
620.33/622.52 c 623 589311 527216 1 - 0.0000 -
625.52/627.71 c 628 594226 531853 1 - 0.0000 -
630.50/632.76 c 633 598942 535970 1 - 0.0000 -
635.58/637.83 c 638 602659 539687 1 - 0.0000 -
640.56/642.89 c 643 606317 543339 1 - 0.0000 -
645.85/648.13 c 648 609759 546772 1 - 0.0000 -
650.84/653.17 c 653 613764 550753 1 - 0.0000 -
655.90/658.24 c 658 618512 555011 1 - 0.0000 -
661.09/663.40 c 663 622920 558989 1 - 0.0000 -
666.17/668.53 c 669 627268 563025 1 - 0.0000 -
671.25/673.68 c 674 631610 567025 1 - 0.0000 -
676.44/678.82 c 679 635686 570958 1 - 0.0000 -
681.62/684.06 c 684 640279 575020 1 - 0.0000 -
686.79/689.26 c 689 644924 578999 1 - 0.0000 -
691.97/694.41 c 694 649412 582978 1 - 0.0000 -
697.06/699.52 c 700 653261 586554 1 - 0.0000 -
702.24/704.73 c 705 657301 590436 1 - 0.0000 -
707.33/709.82 c 710 661877 594220 1 - 0.0000 -
712.50/715.00 c 715 666531 598435 1 - 0.0000 -
717.59/720.10 c 720 670603 602427 1 - 0.0000 -
722.67/725.28 c 725 674714 605954 1 - 0.0000 -
727.76/730.33 c 730 679275 609940 1 - 0.0000 -
732.84/735.50 c 736 683477 613482 1 - 0.0000 -
738.02/740.61 c 741 687305 616889 1 - 0.0000 -
743.01/745.66 c 746 691679 620501 1 - 0.0000 -
748.40/751.03 c 751 696103 624637 1 - 0.0000 -
753.48/756.15 c 756 700658 628707 1 - 0.0000 -
758.67/761.34 c 761 704773 632436 1 - 0.0000 -
763.75/766.46 c 766 708891 636303 1 - 0.0000 -
768.84/771.51 c 772 713031 640097 1 - 0.0000 -
773.92/776.61 c 777 716961 643844 1 - 0.0000 -
779.11/781.85 c 782 721177 647562 1 - 0.0000 -
784.20/786.94 c 787 725389 651710 1 - 0.0000 -
789.29/792.02 c 792 729687 655898 1 - 0.0000 -
794.27/797.08 c 797 733703 659552 1 - 0.0000 -
799.45/802.23 c 802 737471 662698 1 - 0.0000 -
804.54/807.33 c 807 740538 665130 1 - 0.0000 -
809.52/812.38 c 812 743599 667228 1 - 0.0000 -
814.61/817.49 c 817 747782 669803 1 - 0.0000 -
819.89/822.72 c 823 751939 672131 1 - 0.0000 -
824.97/827.80 c 828 755784 674628 1 - 0.0000 -
830.06/832.92 c 833 759216 677764 1 - 0.0000 -
835.04/837.97 c 838 763479 681386 1 - 0.0000 -
840.14/843.06 c 843 767061 684566 1 - 0.0000 -
845.32/848.24 c 848 770393 687782 1 - 0.0000 -
850.50/853.44 c 853 774427 691637 1 - 0.0000 -
855.98/858.92 c 859 778891 695974 1 - 0.0000 -
860.98/863.97 c 864 782883 699582 1 - 0.0000 -
866.07/869.09 c 869 786573 703148 1 - 0.0000 -
871.25/874.26 c 874 790239 706676 1 - 0.0000 -
876.43/879.46 c 879 794245 710403 1 - 0.0000 -
881.71/884.78 c 885 798195 714193 1 - 0.0000 -
886.80/889.86 c 890 802360 718105 1 - 0.0000 -
891.99/895.10 c 895 806539 721745 1 - 0.0000 -
897.27/900.33 c 900 810547 725406 1 - 0.0000 -
902.36/905.45 c 905 814621 729119 1 - 0.0000 -
907.54/910.67 c 911 818193 732328 1 - 0.0000 -
912.72/915.87 c 916 821989 735990 1 - 0.0000 -
918.01/921.16 c 921 825655 739480 1 - 0.0000 -
923.10/926.27 c 926 829495 743192 1 - 0.0000 -
928.38/931.57 c 932 833285 746709 1 - 0.0000 -
933.47/936.67 c 937 836854 750278 1 - 0.0000 -
938.75/941.94 c 942 840619 753930 1 - 0.0000 -
943.84/947.02 c 947 844305 757348 1 - 0.0000 -
949.12/952.31 c 952 848105 761109 1 - 0.0000 -
954.11/957.37 c 957 851650 764271 1 - 0.0000 -
959.19/962.47 c 962 855747 768187 1 - 0.0000 -
964.38/967.64 c 968 859308 771577 1 - 0.0000 -
969.47/972.72 c 973 863192 775062 1 - 0.0000 -
974.76/978.04 c 978 866939 778721 1 - 0.0000 -
980.03/983.33 c 983 870476 782256 1 - 0.0000 -
985.02/988.39 c 988 874212 785939 1 - 0.0000 -
990.20/993.53 c 994 877657 789367 1 - 0.0000 -
995.29/998.68 c 999 881325 793022 1 - 0.0000 -
1000.88/1004.25 c 1004 885031 796670 1 - 0.0000 -
1005.96/1009.37 c 1009 888444 799996 1 - 0.0000 -
1011.35/1014.73 c 1015 892017 803354 1 - 0.0000 -
1016.43/1019.87 c 1020 895881 806730 1 - 0.0000 -
1021.62/1025.07 c 1025 899559 809951 1 - 0.0000 -
1026.71/1030.12 c 1030 903711 813707 1 - 0.0000 -
1031.98/1035.40 c 1035 907253 816895 1 - 0.0000 -
1037.17/1040.62 c 1041 911401 820659 1 - 0.0000 -
1042.55/1046.00 c 1046 915322 824158 1 - 0.0000 -
1047.64/1051.16 c 1051 919478 827648 1 - 0.0000 -
1052.72/1056.21 c 1056 923111 830929 1 - 0.0000 -
1057.91/1061.41 c 1061 926478 834041 1 - 0.0000 -
1062.89/1066.49 c 1066 930011 837185 1 - 0.0000 -
1068.58/1072.15 c 1072 933591 840526 1 - 0.0000 -
1073.66/1077.20 c 1077 937011 843575 1 - 0.0000 -
1078.65/1082.26 c 1082 940465 846967 1 - 0.0000 -
1083.84/1087.47 c 1087 944205 850454 1 - 0.0000 -
1088.92/1092.53 c 1093 947509 853705 1 - 0.0000 -
1094.30/1097.95 c 1098 950909 856857 1 - 0.0000 -
1099.59/1103.25 c 1103 954950 860460 1 - 0.0000 -
1104.68/1108.39 c 1108 958795 863542 1 - 0.0000 -
1109.96/1113.68 c 1114 962996 867033 1 - 0.0000 -
1115.45/1119.11 c 1119 966687 870204 1 - 0.0000 -
1120.93/1124.67 c 1125 970389 873831 1 - 0.0000 -
1126.22/1129.95 c 1130 974471 876976 1 - 0.0000 -
1131.31/1135.04 c 1135 978416 880229 1 - 0.0000 -
1136.30/1140.09 c 1140 982340 883424 1 - 0.0000 -
1141.57/1145.38 c 1145 985853 886624 1 - 0.0000 -
1147.26/1151.00 c 1151 989497 889701 1 - 0.0000 -
1152.34/1156.19 c 1156 992815 892524 1 - 0.0000 -
1157.52/1161.36 c 1161 996021 895039 1 - 0.0000 -
1162.71/1166.52 c 1167 999666 897573 1 - 0.0000 -
1168.00/1171.83 c 1172 1003299 900800 1 - 0.0000 -
1173.38/1177.23 c 1177 1006781 903565 1 - 0.0000 -
1178.46/1182.35 c 1182 1010601 906570 1 - 0.0000 -
1183.65/1187.57 c 1188 1014507 909794 1 - 0.0000 -
1188.74/1192.62 c 1193 1018414 913192 1 - 0.0000 -
1194.13/1198.08 c 1198 1022406 916781 1 - 0.0000 -
1199.71/1203.63 c 1204 1026371 920169 1 - 0.0000 -
1204.89/1208.84 c 1209 1029712 923226 1 - 0.0000 -
1210.08/1214.02 c 1214 1033027 926139 1 - 0.0000 -
1215.66/1219.69 c 1220 1037008 929609 1 - 0.0000 -
1220.95/1224.93 c 1225 1041026 933155 1 - 0.0000 -
1226.23/1230.23 c 1230 1044747 936307 1 - 0.0000 -
1231.52/1235.53 c 1236 1048604 939540 1 - 0.0000 -
1237.01/1241.02 c 1241 1051957 942314 1 - 0.0000 -
1242.48/1246.54 c 1247 1055207 945108 1 - 0.0000 -
1247.87/1251.95 c 1252 1058905 948291 1 - 0.0000 -
1253.44/1257.54 c 1258 1062261 951050 1 - 0.0000 -
1258.43/1262.59 c 1263 1065067 953711 1 - 0.0000 -
1263.82/1267.91 c 1268 1068725 956928 1 - 0.0000 -
1269.01/1273.13 c 1273 1071715 959231 1 - 0.0000 -
1274.29/1278.42 c 1278 1075461 962363 1 - 0.0000 -
1279.67/1283.86 c 1284 1079019 965566 1 - 0.0000 -
1284.96/1289.16 c 1289 1082182 968532 1 - 0.0000 -
1290.54/1294.72 c 1295 1086197 971963 1 - 0.0000 -
1295.83/1300.06 c 1300 1089749 975348 1 - 0.0000 -
1300.91/1305.15 c 1305 1093701 978383 1 - 0.0000 -
1305.91/1310.20 c 1310 1097063 981166 1 - 0.0000 -
1310.98/1315.26 c 1315 1100116 984141 1 - 0.0000 -
1316.07/1320.35 c 1320 1103096 986959 1 - 0.0000 -
1321.36/1325.65 c 1326 1107148 990555 1 - 0.0000 -
1326.54/1330.85 c 1331 1110620 993212 1 - 0.0000 -
1331.82/1336.16 c 1336 1113859 995627 1 - 0.0000 -
1336.91/1341.21 c 1341 1116406 997884 1 - 0.0000 -
1342.09/1346.43 c 1346 1119121 1000427 1 - 0.0000 -
1347.58/1351.99 c 1352 1123055 1004132 1 - 0.0000 -
1352.86/1357.28 c 1357 1126597 1007212 1 - 0.0000 -
1358.04/1362.46 c 1362 1130110 1010534 1 - 0.0000 -
1363.13/1367.60 c 1368 1133955 1013688 1 - 0.0000 -
1368.42/1372.81 c 1373 1136566 1015609 1 - 0.0000 -
1373.50/1377.93 c 1378 1139358 1017943 1 - 0.0000 -
1378.69/1383.13 c 1383 1142837 1021019 1 - 0.0000 -
1384.17/1388.69 c 1389 1146291 1024257 1 - 0.0000 -
1389.36/1393.81 c 1394 1149188 1027131 1 - 0.0000 -
1394.54/1399.08 c 1399 1152425 1030267 1 - 0.0000 -
1400.23/1404.74 c 1405 1155766 1033330 1 - 0.0000 -
1405.52/1410.01 c 1410 1159297 1036334 1 - 0.0000 -
1410.60/1415.17 c 1415 1162782 1039466 1 - 0.0000 -
1415.98/1420.52 c 1421 1166251 1042589 1 - 0.0000 -
1421.46/1426.05 c 1426 1169772 1045888 1 - 0.0000 -
1426.75/1431.39 c 1431 1172752 1048490 1 - 0.0000 -
1431.94/1436.52 c 1437 1175703 1051341 1 - 0.0000 -
1437.22/1441.84 c 1442 1179087 1054603 1 - 0.0000 -
1442.51/1447.11 c 1447 1182468 1057696 1 - 0.0000 -
1447.59/1452.28 c 1452 1185591 1060765 1 - 0.0000 -
1452.68/1457.40 c 1457 1189135 1063889 1 - 0.0000 -
1457.96/1462.60 c 1463 1192619 1067134 1 - 0.0000 -
1463.15/1467.82 c 1468 1196346 1070427 1 - 0.0000 -
1468.43/1473.19 c 1473 1200005 1073518 1 - 0.0000 -
1473.92/1478.64 c 1479 1203531 1076541 1 - 0.0000 -
1479.09/1483.84 c 1484 1206869 1079757 1 - 0.0000 -
1484.58/1489.35 c 1489 1210222 1082743 1 - 0.0000 -
1489.67/1494.50 c 1494 1213014 1085117 1 - 0.0000 -
1495.15/1499.99 c 1500 1216325 1088231 1 - 0.0000 -
1500.24/1505.08 c 1505 1220114 1091298 1 - 0.0000 -
1505.62/1510.45 c 1510 1222981 1093900 1 - 0.0000 -
1511.00/1515.82 c 1516 1226402 1097135 1 - 0.0000 -
1516.30/1521.16 c 1521 1229764 1100208 1 - 0.0000 -
1521.38/1526.21 c 1526 1232751 1103004 1 - 0.0000 -
1526.66/1531.59 c 1532 1235957 1106138 1 - 0.0000 -
1532.05/1536.92 c 1537 1239096 1109169 1 - 0.0000 -
1537.43/1542.32 c 1542 1241937 1111856 1 - 0.0000 -
1542.61/1547.58 c 1548 1245126 1114858 1 - 0.0000 -
1548.10/1553.06 c 1553 1248097 1117519 1 - 0.0000 -
1553.48/1558.45 c 1558 1250988 1120325 1 - 0.0000 -
1558.77/1563.70 c 1564 1254011 1123014 1 - 0.0000 -
1563.95/1568.96 c 1569 1257559 1125392 1 - 0.0000 -
1569.04/1574.10 c 1574 1260718 1127879 1 - 0.0000 -
1574.22/1579.23 c 1579 1263438 1130235 1 - 0.0000 -
1579.41/1584.44 c 1584 1266533 1133015 1 - 0.0000 -
1584.79/1589.85 c 1590 1270038 1136169 1 - 0.0000 -
1589.88/1594.92 c 1595 1273036 1138753 1 - 0.0000 -
1594.87/1599.98 c 1600 1276719 1142020 1 - 0.0000 -
1600.34/1605.41 c 1605 1280426 1145215 1 - 0.0000 -
1605.64/1610.75 c 1611 1284301 1148604 1 - 0.0000 -
1610.72/1615.84 c 1616 1287078 1151151 1 - 0.0000 -
1616.01/1621.10 c 1621 1291041 1154114 1 - 0.0000 -
1621.09/1626.26 c 1626 1294079 1156241 1 - 0.0000 -
1626.27/1631.50 c 1632 1297201 1158106 1 - 0.0000 -
1631.46/1636.63 c 1637 1300006 1159711 1 - 0.0000 -
1636.74/1641.98 c 1642 1303384 1161596 1 - 0.0000 -
1642.03/1647.23 c 1647 1306671 1164685 1 - 0.0000 -
1647.12/1652.38 c 1652 1309357 1167124 1 - 0.0000 -
1652.50/1657.78 c 1658 1312101 1169756 1 - 0.0000 -
1657.60/1662.84 c 1663 1315337 1172813 1 - 0.0000 -
1662.98/1668.23 c 1668 1318014 1175210 1 - 0.0000 -
1668.36/1673.65 c 1674 1320449 1177500 1 - 0.0000 -
1674.04/1679.39 c 1679 1323298 1180073 1 - 0.0000 -
1679.62/1684.96 c 1685 1326399 1182958 1 - 0.0000 -
1684.81/1690.16 c 1690 1329945 1186186 1 - 0.0000 -
1690.49/1695.81 c 1696 1333143 1189045 1 - 0.0000 -
1695.58/1700.97 c 1701 1335745 1191602 1 - 0.0000 -
1700.96/1706.37 c 1706 1338635 1194477 1 - 0.0000 -
1706.34/1711.74 c 1712 1342093 1197782 1 - 0.0000 -
1711.64/1717.08 c 1717 1345399 1200892 1 - 0.0000 -
1716.92/1722.30 c 1722 1349061 1204038 1 - 0.0000 -
1722.11/1727.50 c 1728 1352369 1207081 1 - 0.0000 -
1727.49/1732.94 c 1733 1355615 1209987 1 - 0.0000 -
1732.58/1738.08 c 1738 1358629 1212801 1 - 0.0000 -
1737.86/1743.30 c 1743 1361267 1215361 1 - 0.0000 -
1743.15/1748.67 c 1749 1364461 1218336 1 - 0.0000 -
1748.64/1754.12 c 1754 1367826 1221385 1 - 0.0000 -
1753.92/1759.42 c 1759 1370901 1224201 1 - 0.0000 -
1759.21/1764.72 c 1765 1374308 1227355 1 - 0.0000 -
1764.60/1770.11 c 1770 1377895 1230700 1 - 0.0000 -
1769.77/1775.32 c 1775 1380956 1233603 1 - 0.0000 -
1774.86/1780.48 c 1780 1383537 1235930 1 - 0.0000 -
1780.04/1785.61 c 1786 1386583 1238671 1 - 0.0000 -
1785.53/1791.17 c 1791 1389617 1241553 1 - 0.0000 -
1791.02/1796.62 c 1797 1392744 1244437 1 - 0.0000 -
1796.60/1802.27 c 1802 1395921 1247152 1 - 0.0000 -
1802.08/1807.73 c 1808 1399562 1250440 1 - 0.0000 -
1807.38/1813.05 c 1813 1401992 1252830 1 - 0.0000 -
1812.65/1818.35 c 1818 1404636 1255190 1 - 0.0000 -
1818.23/1823.96 c 1824 1407916 1258300 1 - 0.0000 -
1823.62/1829.38 c 1829 1410535 1260621 1 - 0.0000 -
1828.69/1834.45 c 1834 1413413 1263136 1 - 0.0000 -
1833.78/1839.52 c 1840 1416767 1266032 1 - 0.0000 -
1839.06/1844.87 c 1845 1420268 1269275 1 - 0.0000 -
1844.44/1850.25 c 1850 1423711 1272272 1 - 0.0000 -
1849.62/1855.46 c 1855 1426879 1275185 1 - 0.0000 -
1855.20/1861.06 c 1861 1430426 1278247 1 - 0.0000 -
1861.08/1866.95 c 1867 1433682 1281158 1 - 0.0000 -
1866.66/1872.53 c 1873 1437081 1284310 1 - 0.0000 -
1872.04/1877.91 c 1878 1440266 1287398 1 - 0.0000 -
1877.32/1883.21 c 1883 1442681 1289813 1 - 0.0000 -
1882.40/1888.33 c 1888 1445075 1292167 1 - 0.0000 -
1887.58/1893.55 c 1894 1447991 1294783 1 - 0.0000 -
1892.77/1898.73 c 1899 1450451 1297096 1 - 0.0000 -
1898.35/1904.32 c 1904 1453369 1299835 1 - 0.0000 -
1903.53/1909.56 c 1910 1456493 1302766 1 - 0.0000 -
1909.11/1915.11 c 1915 1459237 1305229 1 - 0.0000 -
1914.39/1920.44 c 1920 1462355 1308177 1 - 0.0000 -
1919.47/1925.56 c 1926 1465728 1311180 1 - 0.0000 -
1924.85/1930.90 c 1931 1468445 1313539 1 - 0.0000 -
1930.23/1936.34 c 1936 1471402 1316327 1 - 0.0000 -
1935.31/1941.43 c 1941 1474106 1318731 1 - 0.0000 -
1940.40/1946.59 c 1947 1476994 1321265 1 - 0.0000 -
1946.07/1952.25 c 1952 1480244 1323924 1 - 0.0000 -
1951.46/1957.60 c 1958 1483457 1326325 1 - 0.0000 -
1956.74/1962.94 c 1963 1486691 1328972 1 - 0.0000 -
1962.21/1968.46 c 1968 1489747 1331908 1 - 0.0000 -
1967.80/1974.00 c 1974 1492503 1334620 1 - 0.0000 -
1973.07/1979.35 c 1979 1495444 1337376 1 - 0.0000 -
1978.26/1984.59 c 1985 1498302 1339992 1 - 0.0000 -
1983.64/1989.91 c 1990 1500815 1342325 1 - 0.0000 -
1989.22/1995.55 c 1996 1503351 1344228 1 - 0.0000 -
1994.81/2001.14 c 2001 1505822 1346403 1 - 0.0000 -
2000.19/2006.58 c 2007 1508252 1348710 1 - 0.0000 -
2005.78/2012.17 c 2012 1510908 1351247 1 - 0.0000 -
2011.16/2017.58 c 2018 1513921 1354107 1 - 0.0000 -
2016.35/2022.77 c 2023 1516719 1356738 1 - 0.0000 -
2021.93/2028.34 c 2028 1519608 1359343 1 - 0.0000 -
2027.31/2033.79 c 2034 1522671 1362236 1 - 0.0000 -
2032.80/2039.24 c 2039 1525964 1365345 1 - 0.0000 -
2038.38/2044.80 c 2045 1529337 1368165 1 - 0.0000 -
2043.47/2049.95 c 2050 1531987 1370815 1 - 0.0000 -
2048.75/2055.22 c 2055 1535192 1373629 1 - 0.0000 -
2054.14/2060.70 c 2061 1537638 1376013 1 - 0.0000 -
2059.53/2066.04 c 2066 1540513 1378841 1 - 0.0000 -
2065.11/2071.61 c 2072 1543279 1381605 1 - 0.0000 -
2070.39/2076.99 c 2077 1545997 1384291 1 - 0.0000 -
2075.59/2082.18 c 2082 1548426 1386640 1 - 0.0000 -
2081.17/2087.76 c 2088 1550621 1388795 1 - 0.0000 -
2086.95/2093.55 c 2094 1553356 1391500 1 - 0.0000 -
2092.34/2098.95 c 2099 1555827 1393923 1 - 0.0000 -
2097.72/2104.33 c 2104 1558647 1396624 1 - 0.0000 -
2102.70/2109.38 c 2109 1561539 1399336 1 - 0.0000 -
2107.89/2114.51 c 2115 1564489 1402220 1 - 0.0000 -
2113.38/2120.04 c 2120 1567097 1404804 1 - 0.0000 -
2118.56/2125.27 c 2125 1569832 1407419 1 - 0.0000 -
2124.15/2130.81 c 2131 1572901 1410290 1 - 0.0000 -
2129.34/2136.08 c 2136 1576152 1413134 1 - 0.0000 -
2134.52/2141.29 c 2141 1579511 1415869 1 - 0.0000 -
2139.80/2146.59 c 2147 1582060 1418189 1 - 0.0000 -
2145.09/2151.80 c 2152 1584867 1420837 1 - 0.0000 -
2150.38/2157.16 c 2157 1587595 1423099 1 - 0.0000 -
2155.46/2162.26 c 2162 1590107 1425333 1 - 0.0000 -
2160.64/2167.49 c 2167 1592761 1427975 1 - 0.0000 -
2165.73/2172.58 c 2173 1595455 1430476 1 - 0.0000 -
2171.01/2177.89 c 2178 1598713 1433392 1 - 0.0000 -
2176.40/2183.23 c 2183 1601194 1435545 1 - 0.0000 -
2181.88/2188.74 c 2189 1603563 1437771 1 - 0.0000 -
2187.66/2194.52 c 2195 1606496 1440367 1 - 0.0000 -
2192.85/2199.71 c 2200 1609510 1443080 1 - 0.0000 -
2197.83/2204.80 c 2205 1612294 1445455 1 - 0.0000 -
2203.23/2210.10 c 2210 1615316 1448261 1 - 0.0000 -
2208.40/2215.30 c 2215 1617988 1450715 1 - 0.0000 -
2213.49/2220.45 c 2220 1620960 1453327 1 - 0.0000 -
2218.68/2225.64 c 2226 1623697 1455732 1 - 0.0000 -
2224.36/2231.38 c 2231 1627116 1458707 1 - 0.0000 -
2229.64/2236.62 c 2237 1629501 1460777 1 - 0.0000 -
2235.33/2242.39 c 2242 1632194 1463231 1 - 0.0000 -
2240.72/2247.71 c 2248 1635118 1465840 1 - 0.0000 -
2246.00/2253.10 c 2253 1638049 1468235 1 - 0.0000 -
2251.58/2258.63 c 2259 1640927 1470559 1 - 0.0000 -
2256.97/2264.08 c 2264 1643882 1473322 1 - 0.0000 -
2262.55/2269.65 c 2270 1646642 1475859 1 - 0.0000 -
2268.23/2275.38 c 2275 1649975 1478907 1 - 0.0000 -
2273.62/2280.74 c 2281 1652916 1481583 1 - 0.0000 -
2279.01/2286.17 c 2286 1656335 1484404 1 - 0.0000 -
2284.39/2291.58 c 2292 1659506 1487208 1 - 0.0000 -
2289.57/2296.79 c 2297 1662685 1489957 1 - 0.0000 -
2294.86/2302.04 c 2302 1665524 1492554 1 - 0.0000 -
2300.35/2307.56 c 2308 1668164 1494926 1 - 0.0000 -
2305.43/2312.69 c 2313 1670923 1497616 1 - 0.0000 -
2310.82/2318.00 c 2318 1673434 1500017 1 - 0.0000 -
2316.00/2323.27 c 2323 1676221 1502612 1 - 0.0000 -
2321.18/2328.42 c 2328 1678901 1504984 1 - 0.0000 -
2326.78/2334.04 c 2334 1682117 1507839 1 - 0.0000 -
2331.96/2339.25 c 2339 1686381 1510154 1 - 0.0000 -
2337.44/2344.78 c 2345 1688721 1512356 1 - 0.0000 -
2343.12/2350.45 c 2350 1691796 1515316 1 - 0.0000 -
2348.41/2355.70 c 2356 1694619 1517930 1 - 0.0000 -
2354.00/2361.31 c 2361 1697794 1520729 1 - 0.0000 -
2359.18/2366.55 c 2367 1700783 1523265 1 - 0.0000 -
2364.37/2371.74 c 2372 1703384 1525822 1 - 0.0000 -
2370.15/2377.59 c 2378 1706387 1528775 1 - 0.0000 -
2376.04/2383.40 c 2383 1709087 1531448 1 - 0.0000 -
2381.32/2388.71 c 2389 1711924 1534277 1 - 0.0000 -
2387.21/2394.60 c 2395 1714624 1536971 1 - 0.0000 -
2392.60/2400.07 c 2400 1716908 1539255 1 - 0.0000 -
2398.47/2405.94 c 2406 1720055 1542377 1 - 0.0000 -
2404.16/2411.67 c 2412 1722783 1545081 1 - 0.0000 -
2410.14/2417.66 c 2418 1725915 1548213 1 - 0.0000 -
2415.72/2423.21 c 2423 1728637 1550897 1 - 0.0000 -
2421.01/2428.53 c 2429 1730972 1553223 1 - 0.0000 -
2426.60/2434.12 c 2434 1733416 1555661 1 - 0.0000 -
2432.37/2439.99 c 2440 1736059 1557985 1 - 0.0000 -
2437.86/2445.47 c 2445 1739061 1560344 1 - 0.0000 -
2443.55/2451.13 c 2451 1741662 1562916 1 - 0.0000 -
2449.13/2456.78 c 2457 1744530 1565749 1 - 0.0000 -
2454.61/2462.23 c 2462 1747200 1568392 1 - 0.0000 -
2460.09/2467.76 c 2468 1749854 1570972 1 - 0.0000 -
2465.97/2473.60 c 2474 1752951 1573724 1 - 0.0000 -
2471.26/2478.96 c 2479 1755708 1576109 1 - 0.0000 -
2476.34/2484.07 c 2484 1758333 1578010 1 - 0.0000 -
2482.02/2489.72 c 2490 1761184 1580581 1 - 0.0000 -
2488.21/2495.95 c 2496 1764082 1583220 1 - 0.0000 -
2494.09/2501.84 c 2502 1767112 1585987 1 - 0.0000 -
2499.38/2507.17 c 2507 1769910 1588634 1 - 0.0000 -
2504.86/2512.68 c 2513 1772623 1591284 1 - 0.0000 -
2510.64/2518.43 c 2518 1775234 1593805 1 - 0.0000 -
2516.33/2524.13 c 2524 1777783 1596237 1 - 0.0000 -
2522.12/2529.96 c 2530 1780082 1598513 1 - 0.0000 -
2527.50/2535.33 c 2535 1783304 1601400 1 - 0.0000 -
2532.98/2540.88 c 2541 1786331 1604148 1 - 0.0000 -
2538.47/2546.30 c 2546 1789239 1606810 1 - 0.0000 -
2543.96/2551.86 c 2552 1792177 1609596 1 - 0.0000 -
2549.54/2557.46 c 2557 1795382 1612486 1 - 0.0000 -
2555.23/2563.11 c 2563 1798278 1615277 1 - 0.0000 -
2561.00/2568.90 c 2569 1801157 1617966 1 - 0.0000 -
2566.39/2574.34 c 2574 1804131 1620814 1 - 0.0000 -
2571.77/2579.74 c 2580 1806775 1623402 1 - 0.0000 -
2577.26/2585.28 c 2585 1809577 1626169 1 - 0.0000 -
2582.64/2590.69 c 2591 1812027 1628464 1 - 0.0000 -
2588.52/2596.51 c 2597 1814445 1630803 1 - 0.0000 -
2593.61/2601.64 c 2602 1817135 1633169 1 - 0.0000 -
2599.50/2607.58 c 2608 1819828 1635761 1 - 0.0000 -
2604.98/2613.08 c 2613 1822577 1638261 1 - 0.0000 -
2610.77/2618.82 c 2619 1825457 1641055 1 - 0.0000 -
2616.14/2624.22 c 2624 1828117 1643591 1 - 0.0000 -
2621.83/2629.96 c 2630 1830933 1646223 1 - 0.0000 -
2627.92/2636.01 c 2636 1833574 1648708 1 - 0.0000 -
2633.40/2641.58 c 2642 1836547 1651506 1 - 0.0000 -
2638.78/2647.00 c 2647 1839264 1654020 1 - 0.0000 -
2644.36/2652.53 c 2653 1841734 1656338 1 - 0.0000 -
2649.35/2657.57 c 2658 1843953 1658508 1 - 0.0000 -
2654.85/2663.05 c 2663 1846311 1660781 1 - 0.0000 -
2660.43/2668.62 c 2669 1848687 1663086 1 - 0.0000 -
2665.91/2674.17 c 2674 1851629 1665847 1 - 0.0000 -
2671.29/2679.59 c 2680 1854308 1668393 1 - 0.0000 -
2676.67/2685.00 c 2685 1856382 1670044 1 - 0.0000 -
2682.56/2690.81 c 2691 1858702 1672284 1 - 0.0000 -
2687.95/2696.21 c 2696 1861548 1674545 1 - 0.0000 -
2693.23/2701.55 c 2702 1864375 1677191 1 - 0.0000 -
2698.41/2706.73 c 2707 1866851 1679514 1 - 0.0000 -
2703.91/2712.22 c 2712 1869082 1681538 1 - 0.0000 -
2709.08/2717.41 c 2717 1871598 1683871 1 - 0.0000 -
2714.27/2722.69 c 2723 1873789 1685960 1 - 0.0000 -
2720.35/2728.76 c 2729 1876717 1688516 1 - 0.0000 -
2725.84/2734.23 c 2734 1879428 1691227 1 - 0.0000 -
2731.53/2739.92 c 2740 1881819 1693607 1 - 0.0000 -
2737.91/2746.35 c 2746 1884706 1696462 1 - 0.0000 -
2743.50/2751.90 c 2752 1888039 1699750 1 - 0.0000 -
2748.58/2757.02 c 2757 1890366 1702056 1 - 0.0000 -
2754.76/2763.25 c 2763 1893219 1704883 1 - 0.0000 -
2760.05/2768.57 c 2769 1895501 1707110 1 - 0.0000 -
2765.93/2774.46 c 2774 1897834 1709413 1 - 0.0000 -
2771.52/2780.07 c 2780 1900271 1711766 1 - 0.0000 -
2777.00/2785.55 c 2786 1903003 1714492 1 - 0.0000 -
2782.18/2790.78 c 2791 1905059 1716548 1 - 0.0000 -
2787.57/2796.16 c 2796 1907492 1718964 1 - 0.0000 -
2793.25/2801.81 c 2802 1910122 1721454 1 - 0.0000 -
2799.04/2807.69 c 2808 1912953 1724244 1 - 0.0000 -
2804.62/2813.22 c 2813 1915397 1726672 1 - 0.0000 -
2810.11/2818.76 c 2819 1917819 1729087 1 - 0.0000 -
2815.59/2824.24 c 2824 1920609 1731868 1 - 0.0000 -
2821.77/2830.45 c 2830 1922973 1734200 1 - 0.0000 -
2827.76/2836.47 c 2836 1925583 1736772 1 - 0.0000 -
2833.44/2842.18 c 2842 1927911 1739100 1 - 0.0000 -
2839.82/2848.56 c 2849 1930191 1741380 1 - 0.0000 -
2845.61/2854.38 c 2854 1933182 1744363 1 - 0.0000 -
2850.89/2859.69 c 2860 1935466 1746568 1 - 0.0000 -
2856.58/2865.40 c 2865 1937721 1748678 1 - 0.0000 -
2861.96/2870.74 c 2871 1940244 1751150 1 - 0.0000 -
2867.45/2876.24 c 2876 1942605 1753402 1 - 0.0000 -
2873.03/2881.84 c 2882 1944902 1755575 1 - 0.0000 -
2878.52/2887.32 c 2887 1947127 1757768 1 - 0.0000 -
2883.60/2892.41 c 2892 1949182 1759710 1 - 0.0000 -
2889.19/2898.08 c 2898 1952014 1762241 1 - 0.0000 -
2894.47/2903.32 c 2903 1954805 1764580 1 - 0.0000 -
2899.66/2908.53 c 2909 1956591 1766352 1 - 0.0000 -
2904.75/2913.62 c 2914 1958987 1768587 1 - 0.0000 -
2910.62/2919.58 c 2920 1961622 1771066 1 - 0.0000 -
2915.81/2924.77 c 2925 1964367 1773674 1 - 0.0000 -
2921.30/2930.22 c 2930 1966873 1775947 1 - 0.0000 -
2926.49/2935.45 c 2935 1969553 1778334 1 - 0.0000 -
2931.77/2940.79 c 2941 1972320 1781092 1 - 0.0000 -
2937.26/2946.28 c 2946 1975075 1783654 1 - 0.0000 -
2942.74/2951.72 c 2952 1978007 1786582 1 - 0.0000 -
2948.23/2957.25 c 2957 1980911 1789385 1 - 0.0000 -
2953.32/2962.35 c 2962 1983812 1791764 1 - 0.0000 -
2959.01/2968.04 c 2968 1986719 1794471 1 - 0.0000 -
2964.09/2973.17 c 2973 1989381 1796771 1 - 0.0000 -
2970.17/2979.27 c 2979 1992421 1799563 1 - 0.0000 -
2975.75/2984.83 c 2985 1994791 1801589 1 - 0.0000 -
2980.95/2990.07 c 2990 1997331 1803741 1 - 0.0000 -
2986.72/2995.88 c 2996 1999849 1805790 1 - 0.0000 -
2992.62/3001.72 c 3002 2002777 1808587 1 - 0.0000 -
2997.70/3006.81 c 3007 2005323 1811052 1 - 0.0000 -
3002.89/3012.01 c 3012 2008106 1813475 1 - 0.0000 -
3009.07/3018.22 c 3018 2010736 1816082 1 - 0.0000 -
3014.65/3023.83 c 3024 2013617 1818832 1 - 0.0000 -
3020.14/3029.33 c 3029 2016342 1821249 1 - 0.0000 -
3026.02/3035.28 c 3035 2018843 1823439 1 - 0.0000 -
3032.11/3041.32 c 3041 2021386 1825717 1 - 0.0000 -
3037.39/3046.66 c 3047 2023761 1827938 1 - 0.0000 -
3042.78/3052.07 c 3052 2025921 1830078 1 - 0.0000 -
3048.56/3057.85 c 3058 2028228 1832347 1 - 0.0000 -
3054.45/3063.79 c 3064 2030989 1834766 1 - 0.0000 -
3060.73/3070.04 c 3070 2033374 1836825 1 - 0.0000 -
3066.42/3075.70 c 3076 2035758 1839003 1 - 0.0000 -
3072.09/3081.41 c 3081 2038796 1841671 1 - 0.0000 -
3077.58/3086.92 c 3087 2041308 1843848 1 - 0.0000 -
3083.07/3092.47 c 3092 2043976 1846040 1 - 0.0000 -
3088.25/3097.65 c 3098 2046526 1848352 1 - 0.0000 -
3093.44/3102.86 c 3103 2048794 1850438 1 - 0.0000 -
3099.02/3108.43 c 3108 2051488 1853120 1 - 0.0000 -
3104.81/3114.27 c 3114 2054195 1855819 1 - 0.0000 -
3110.49/3119.90 c 3120 2056741 1858080 1 - 0.0000 -
3115.68/3125.17 c 3125 2058729 1859977 1 - 0.0000 -
3121.16/3130.61 c 3131 2060908 1862123 1 - 0.0000 -
3126.85/3136.35 c 3136 2063557 1864516 1 - 0.0000 -
3131.83/3141.38 c 3141 2066125 1866863 1 - 0.0000 -
3137.42/3146.98 c 3147 2068931 1869264 1 - 0.0000 -
3143.10/3152.67 c 3153 2071909 1872039 1 - 0.0000 -
3149.19/3158.72 c 3159 2074701 1874808 1 - 0.0000 -
3155.17/3164.72 c 3165 2077627 1877578 1 - 0.0000 -
3160.36/3169.94 c 3170 2079669 1879594 1 - 0.0000 -
3165.75/3175.37 c 3175 2082059 1881984 1 - 0.0000 -
3171.33/3180.98 c 3181 2084855 1884716 1 - 0.0000 -
3176.81/3186.48 c 3186 2087602 1887316 1 - 0.0000 -
3182.60/3192.22 c 3192 2090498 1889890 1 - 0.0000 -
3188.49/3198.12 c 3198 2092864 1892256 1 - 0.0000 -
3194.07/3203.79 c 3204 2095265 1894642 1 - 0.0000 -
3199.65/3209.30 c 3209 2097872 1897237 1 - 0.0000 -
3205.34/3215.08 c 3215 2100451 1899684 1 - 0.0000 -
3210.43/3220.20 c 3220 2103071 1902132 1 - 0.0000 -
3216.01/3225.71 c 3226 2104903 1903872 1 - 0.0000 -
3221.20/3230.97 c 3231 2107389 1906135 1 - 0.0000 -
3226.39/3236.13 c 3236 2109539 1908285 1 - 0.0000 -
3232.38/3242.16 c 3242 2112086 1910832 1 - 0.0000 -
3237.46/3247.20 c 3247 2114228 1912974 1 - 0.0000 -
3242.65/3252.41 c 3252 2116252 1914998 1 - 0.0000 -
3248.53/3258.37 c 3258 2118599 1917330 1 - 0.0000 -
3253.71/3263.59 c 3264 2120671 1919374 1 - 0.0000 -
3259.60/3269.47 c 3269 2122999 1921686 1 - 0.0000 -
3265.68/3275.59 c 3276 2125032 1923719 1 - 0.0000 -
3271.27/3281.19 c 3281 2127322 1926009 1 - 0.0000 -
3276.36/3286.26 c 3286 2129251 1927934 1 - 0.0000 -
3282.33/3292.29 c 3292 2131617 1930294 1 - 0.0000 -
3288.32/3298.28 c 3298 2133871 1932542 1 - 0.0000 -
3293.40/3303.31 c 3303 2135703 1934374 1 - 0.0000 -
3298.99/3308.96 c 3309 2138177 1936743 1 - 0.0000 -
3304.78/3314.74 c 3315 2140531 1939009 1 - 0.0000 -
3309.86/3319.86 c 3320 2142394 1940864 1 - 0.0000 -
3315.64/3325.63 c 3326 2144620 1943029 1 - 0.0000 -
3320.83/3330.87 c 3331 2146506 1944915 1 - 0.0000 -
3326.42/3336.49 c 3336 2148368 1946777 1 - 0.0000 -
3331.71/3341.71 c 3342 2149881 1948290 1 - 0.0000 -
3336.99/3347.06 c 3347 2150899 1949296 1 - 0.0000 -
3342.48/3352.59 c 3353 2152953 1951350 1 - 0.0000 -
3347.56/3357.64 c 3358 2154747 1953144 1 - 0.0000 -
3352.75/3362.88 c 3363 2156909 1955300 1 - 0.0000 -
3358.04/3368.14 c 3368 2159667 1957727 1 - 0.0000 -
3363.82/3373.92 c 3374 2162078 1960054 1 - 0.0000 -
3369.60/3379.75 c 3380 2164631 1962200 1 - 0.0000 -
3374.90/3385.00 c 3385 2166867 1964419 1 - 0.0000 -
3380.98/3391.15 c 3391 2169646 1967018 1 - 0.0000 -
3386.77/3396.93 c 3397 2172193 1969464 1 - 0.0000 -
3392.55/3402.78 c 3403 2174521 1971575 1 - 0.0000 -
3398.23/3408.49 c 3408 2176702 1973657 1 - 0.0000 -
3404.22/3414.44 c 3414 2179232 1975808 1 - 0.0000 -
3410.00/3420.28 c 3420 2181613 1978096 1 - 0.0000 -
3415.58/3425.89 c 3426 2183953 1979565 1 - 0.0000 -
3421.07/3431.31 c 3431 2186398 1981906 1 - 0.0000 -
3426.16/3436.42 c 3436 2188113 1983605 1 - 0.0000 -
3432.04/3442.32 c 3442 2190688 1986042 1 - 0.0000 -
3438.22/3448.52 c 3449 2193264 1988599 1 - 0.0000 -
3444.00/3454.32 c 3454 2195641 1990821 1 - 0.0000 -
3449.99/3460.39 c 3460 2197787 1992865 1 - 0.0000 -
3455.38/3465.76 c 3466 2200112 1995105 1 - 0.0000 -
3460.86/3471.21 c 3471 2202631 1997351 1 - 0.0000 -
3466.54/3476.96 c 3477 2205065 1999527 1 - 0.0000 -
3472.22/3482.60 c 3483 2207442 2001827 1 - 0.0000 -
3477.31/3487.73 c 3488 2209481 2003677 1 - 0.0000 -
3483.09/3493.54 c 3494 2212039 2006010 1 - 0.0000 -
3488.98/3499.44 c 3499 2214743 2008525 1 - 0.0000 -
3494.36/3504.80 c 3505 2216777 2010398 1 - 0.0000 -
3499.65/3510.11 c 3510 2218651 2012233 1 - 0.0000 -
3505.23/3515.74 c 3516 2221366 2014606 1 - 0.0000 -
3510.62/3521.12 c 3521 2224001 2017192 1 - 0.0000 -
3516.20/3526.70 c 3527 2226273 2019384 1 - 0.0000 -
3521.68/3532.28 c 3532 2228871 2021699 1 - 0.0000 -
3527.47/3538.07 c 3538 2230981 2023600 1 - 0.0000 -
3532.84/3543.47 c 3543 2233091 2025571 1 - 0.0000 -
3538.13/3548.79 c 3549 2235189 2027529 1 - 0.0000 -
3543.91/3554.59 c 3555 2237451 2029777 1 - 0.0000 -
3549.40/3560.08 c 3560 2239386 2031705 1 - 0.0000 -
3554.58/3565.26 c 3565 2241022 2033300 1 - 0.0000 -
3560.07/3570.71 c 3571 2242762 2035040 1 - 0.0000 -
3565.75/3576.44 c 3576 2244809 2037055 1 - 0.0000 -
3570.94/3581.69 c 3582 2246882 2039128 1 - 0.0000 -
3576.83/3587.60 c 3588 2249393 2041637 1 - 0.0000 -
3581.90/3592.65 c 3593 2251180 2043420 1 - 0.0000 -
3587.29/3598.06 c 3598 2253036 2045255 0 - 0.0000 -
3589.68/3600.43 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.68/3600.43 c Total Time : 3600.4300
3589.68/3600.43 c solving : 3600.4300
3589.68/3600.43 c presolving : 0.0082 (included in solving)
3589.68/3600.43 c B&B Tree :
3589.68/3600.43 c nodes (total) : 1
3589.68/3600.43 c Solution :
3589.68/3600.43 c Solutions found : 0
3589.68/3600.43 c Primal Bound : -
3589.68/3600.43 c Dual Bound : +0.00000000000000e+00
3589.68/3600.43 c Gap : -
3589.68/3600.45 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62205 MiB free)
memory of node 1: 64473 MiB (61562 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464544-1722385800/watcher-4464544-1722385800 -o /tmp/evaluation-result-4464544-1722385800/solver-4464544-1722385800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27469 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464544-1722385800.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=32529, runsolver pid=32526
Current StackSize limit: 8192 KiB
[startup+0.100665 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 32532
/proc/meminfo: memFree=126637828/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=109404 memory=27032 CPUtime=0.09 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 4149 0 0 0 9 0 0 0 20 0 3 0 5181099 112029696 6758 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 27351 6758 2950 3035 0 10342 0
[pid=32529/tid=32531] ppid=32526 vsize=109404 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 2351 0 0 0 8 0 0 0 20 0 3 0 5181100 112029696 6758 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=109404 memory=232851243367 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181101 112029696 6758 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109404 KiB
Current children cumulated memory: 27032 KiB
[startup+0.205591 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 32532
/proc/meminfo: memFree=126593616/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=109404 memory=29204 CPUtime=0.2 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 4678 0 0 0 20 0 0 0 20 0 3 0 5181099 112029696 7301 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 27351 7301 2966 3035 0 10789 0
[pid=32529/tid=32531] ppid=32526 vsize=109404 memory=664970838410264707 CPUtime=0.18 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 2880 0 0 0 18 0 0 0 20 0 3 0 5181100 112029696 7301 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=109404 memory=158032 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181101 112029696 7301 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109404 KiB
Current children cumulated memory: 29204 KiB
[startup+0.30574 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 32532
/proc/meminfo: memFree=126582388/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=109404 memory=32636 CPUtime=0.3 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 5500 0 0 0 30 0 0 0 20 0 3 0 5181099 112029696 8159 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 27351 8159 2966 3035 0 11406 0
[pid=32529/tid=32531] ppid=32526 vsize=109404 memory=-5155629106882833285 CPUtime=0.28 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 3702 0 0 0 28 0 0 0 20 0 3 0 5181100 112029696 8159 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=109404 memory=0 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181101 112029696 8159 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109404 KiB
Current children cumulated memory: 32636 KiB
[startup+0.700252 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 32532
/proc/meminfo: memFree=126570736/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=109404 memory=32900 CPUtime=0.68 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 5560 0 0 0 68 0 0 0 20 0 3 0 5181099 112029696 8225 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 27351 8225 2966 3035 0 11442 0
[pid=32529/tid=32531] ppid=32526 vsize=109404 memory=0 CPUtime=0.67 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 3762 0 0 0 67 0 0 0 20 0 3 0 5181100 112029696 8225 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=109404 memory=0 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181101 112029696 8225 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109404 KiB
Current children cumulated memory: 32900 KiB
[startup+1.50026 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 32532
/proc/meminfo: memFree=126417940/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=109404 memory=35332 CPUtime=1.49 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 10066 0 0 0 148 1 0 0 20 0 3 0 5181099 112029696 8833 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 27351 8833 2966 3035 0 12037 0
[pid=32529/tid=32531] ppid=32526 vsize=109404 memory=0 CPUtime=1.46 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 8252 0 0 0 146 0 0 0 20 0 3 0 5181100 112029696 8833 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=109404 memory=0 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181101 112029696 8833 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 109404 KiB
Current children cumulated memory: 35332 KiB
[startup+3.10548 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 32532
/proc/meminfo: memFree=126346624/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=109404 memory=37856 CPUtime=3.08 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 10834 0 0 0 307 1 0 0 20 0 3 0 5181099 112029696 9464 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 27351 9464 2966 3035 0 12667 0
[pid=32529/tid=32531] ppid=32526 vsize=109404 memory=2273 CPUtime=3.07 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 9016 0 0 0 306 1 0 0 20 0 3 0 5181100 112029696 9464 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=109404 memory=0 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5181101 112029696 9464 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 109404 KiB
Current children cumulated memory: 37856 KiB
[startup+6.30024 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 32533
/proc/meminfo: memFree=126322884/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=112120 memory=54112 CPUtime=6.26 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 21408 0 0 0 623 3 0 0 20 0 3 0 5181099 114810880 13528 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 28030 13528 3014 3035 0 16747 0
[pid=32529/tid=32531] ppid=32526 vsize=112120 memory=-5155629106882833285 CPUtime=6.25 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 19565 0 0 0 622 3 0 0 20 0 3 0 5181100 114810880 13528 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=112120 memory=54112 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5181101 114810880 13528 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 112120 KiB
Current children cumulated memory: 54112 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 32534
/proc/meminfo: memFree=126304768/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=112120 memory=60380 CPUtime=12.65 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 33593 0 0 0 1259 6 0 0 20 0 3 0 5181099 114810880 15095 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 28030 15095 3014 3035 0 18290 0
[pid=32529/tid=32531] ppid=32526 vsize=112120 memory=37856 CPUtime=12.63 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 31712 0 0 0 1257 6 0 0 20 0 3 0 5181100 114810880 15095 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=112120 memory=0 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5181101 114810880 15095 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 112120 KiB
Current children cumulated memory: 60380 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 32536
/proc/meminfo: memFree=126208272/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=114132 memory=69860 CPUtime=25.4 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 56803 0 0 0 2530 10 0 0 20 0 3 0 5181099 116871168 17465 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 28533 17465 3014 3035 0 20808 0
[pid=32529/tid=32531] ppid=32526 vsize=114132 memory=60344 CPUtime=25.39 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 54837 0 0 0 2529 10 0 0 20 0 3 0 5181100 116871168 17465 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=114132 memory=11532 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5181101 116871168 17465 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 114132 KiB
Current children cumulated memory: 69860 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 32601
/proc/meminfo: memFree=125774400/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=124120 memory=93912 CPUtime=50.93 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 83368 0 0 0 5077 16 0 0 20 0 3 0 5181099 127098880 23478 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 31030 23478 3014 3035 0 26824 0
[pid=32529/tid=32531] ppid=32526 vsize=124120 memory=90348 CPUtime=50.91 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 81337 0 0 0 5075 16 0 0 20 0 3 0 5181100 127098880 23478 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=124120 memory=82952 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5181101 127098880 23478 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 124120 KiB
Current children cumulated memory: 93912 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 32610
/proc/meminfo: memFree=125699096/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=208428 memory=141924 CPUtime=101.97 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 148172 0 0 0 10166 31 0 0 20 0 3 0 5181099 213430272 35481 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 52107 35481 3014 3035 0 39325 0
[pid=32529/tid=32531] ppid=32526 vsize=208428 memory=5420 CPUtime=101.95 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 146026 0 0 0 10164 31 0 0 20 0 3 0 5181100 213430272 35481 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=208428 memory=134948 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5181101 213430272 35481 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 208428 KiB
Current children cumulated memory: 141924 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 32620
/proc/meminfo: memFree=125609296/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=226308 memory=191616 CPUtime=161.78 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 202135 0 0 0 16134 44 0 0 20 0 3 0 5181099 231739392 47904 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 56577 47904 3014 3035 0 51786 0
[pid=32529/tid=32531] ppid=32526 vsize=226308 memory=12744 CPUtime=161.76 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 199925 0 0 0 16132 44 0 0 20 0 3 0 5181100 231739392 47904 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=226308 memory=185972 CPUtime=0 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5181101 231739392 47904 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 226308 KiB
################
# More data... #
################
/proc/32529/statm: 459296 431276 3014 3035 0 438748 0
[pid=32529/tid=32531] ppid=32526 vsize=1837184 memory=1705816 CPUtime=3391.91 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 3622510 0 0 0 338531 660 0 0 20 0 3 0 5181100 1881276416 431276 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=1837184 memory=1704824 CPUtime=0.03 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 5181101 1881276416 431276 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 1837184 KiB
Current children cumulated memory: 1725104 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.15 5/265 34343
/proc/meminfo: memFree=123005168/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=1843344 memory=1742392 CPUtime=3451.98 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 3699475 0 0 0 344518 680 0 0 20 0 3 0 5181099 1887584256 435598 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 460836 435598 3014 3035 0 442400 0
[pid=32529/tid=32531] ppid=32526 vsize=1843344 memory=1705816 CPUtime=3451.75 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 3695706 0 0 0 344503 672 0 0 20 0 3 0 5181100 1887584256 435598 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=1843344 memory=1704824 CPUtime=0.03 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 5181101 1887584256 435598 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 1843344 KiB
Current children cumulated memory: 1742392 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.15 5/265 34521
/proc/meminfo: memFree=122983144/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=1852544 memory=1762852 CPUtime=3511.81 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 3781901 0 0 0 350489 692 0 0 20 0 3 0 5181099 1897005056 440713 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 463136 440713 3014 3035 0 447143 0
[pid=32529/tid=32531] ppid=32526 vsize=1852544 memory=1738012 CPUtime=3511.57 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 3778108 0 0 0 350473 684 0 0 20 0 3 0 5181100 1897005056 440713 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=1852544 memory=1762800 CPUtime=0.03 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 147 0 0 0 1 2 0 0 20 0 3 0 5181101 1897005056 440713 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 1852544 KiB
Current children cumulated memory: 1762852 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/265 34532
/proc/meminfo: memFree=122958424/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=1906052 memory=1787104 CPUtime=3571.64 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 3845302 0 0 0 356462 702 0 0 20 0 3 0 5181099 1951797248 446776 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 476513 446776 3014 3035 0 462809 0
[pid=32529/tid=32531] ppid=32526 vsize=1906052 memory=1776524 CPUtime=3571.39 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 3841486 0 0 0 356445 694 0 0 20 0 3 0 5181100 1951797248 446776 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=1906052 memory=1944 CPUtime=0.03 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 149 0 0 0 1 2 0 0 20 0 3 0 5181101 1951797248 446776 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 1906052 KiB
Current children cumulated memory: 1787104 KiB
[startup+3600.47 s]
# the end of solver process 32529 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.48 s, system=7.27355 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.15 4.15 5/265 34533
/proc/meminfo: memFree=122957696/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=1906052 memory=1787244 CPUtime=3573.34 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 3845458 0 0 0 356632 702 0 0 20 0 3 0 5181099 1951797248 446811 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 476513 446811 3014 3035 0 462841 0
[pid=32529/tid=32531] ppid=32526 vsize=1906052 memory=-7163374898894692734 CPUtime=3573.09 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 3841642 0 0 0 356615 694 0 0 20 0 3 0 5181100 1951797248 446811 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=1906052 memory=11764 CPUtime=0.03 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 149 0 0 0 1 2 0 0 20 0 3 0 5181101 1951797248 446811 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 1906052 KiB
Current children cumulated memory: 1787244 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.15 4.15 5/265 34534
/proc/meminfo: memFree=122955036/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=1906052 memory=1789824 CPUtime=3579.71 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 3855532 0 0 0 357268 703 0 0 20 0 3 0 5181099 1951797248 447456 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 476513 447456 3014 3035 0 463081 0
[pid=32529/tid=32531] ppid=32526 vsize=1906052 memory=12816 CPUtime=3579.47 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 3851695 0 0 0 357252 695 0 0 20 0 3 0 5181100 1951797248 447456 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=1906052 memory=1787740 CPUtime=0.03 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 5181101 1951797248 447456 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3579.71 s
Current children cumulated vsize: 1906052 KiB
Current children cumulated memory: 1789824 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.14 4.14 4/260 34534
/proc/meminfo: memFree=123827316/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=1909100 memory=1793004 CPUtime=3586.09 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 3866188 0 0 0 357905 704 0 0 20 0 3 0 5181099 1954918400 448251 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 477275 448251 3014 3035 0 464019 0
[pid=32529/tid=32531] ppid=32526 vsize=1909100 memory=7373633248224170605 CPUtime=3585.85 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 3862350 0 0 0 357889 696 0 0 20 0 3 0 5181100 1954918400 448251 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=1909100 memory=1787244 CPUtime=0.03 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 5181101 1954918400 448251 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3586.09 s
Current children cumulated vsize: 1909100 KiB
Current children cumulated memory: 1793004 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.14 4.14 3/247 34598
/proc/meminfo: memFree=127661692/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=1909100 memory=1793412 CPUtime=3587.69 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 3943824 0 0 0 358062 707 0 0 20 0 3 0 5181099 1954918400 448353 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 477275 448353 3014 3035 0 464115 0
[pid=32529/tid=32531] ppid=32526 vsize=1909100 memory=11532 CPUtime=3587.45 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 3939980 0 0 0 358046 699 0 0 20 0 3 0 5181100 1954918400 448353 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=1909100 memory=12744 CPUtime=0.03 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 5181101 1954918400 448353 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3587.69 s
Current children cumulated vsize: 1909100 KiB
Current children cumulated memory: 1793412 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.14 4.14 3/247 34598
/proc/meminfo: memFree=127741136/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=1753000 memory=1637324 CPUtime=3588.48 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 4043796 0 0 0 358135 713 0 0 20 0 3 0 5181099 1795072000 409331 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 438250 409331 3014 3035 0 425090 0
[pid=32529/tid=32531] ppid=32526 vsize=1753000 memory=-7307771561947259006 CPUtime=3588.24 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 4039971 0 0 0 358119 705 0 0 20 0 3 0 5181100 1795072000 409331 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=1753000 memory=1944 CPUtime=0.03 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 5181101 1795072000 409331 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3588.48 s
Current children cumulated vsize: 1753000 KiB
Current children cumulated memory: 1637324 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.14 4.14 3/247 34598
/proc/meminfo: memFree=128061440/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=1490408 memory=1374740 CPUtime=3589.28 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 4147101 0 0 0 358208 720 0 0 20 0 3 0 5181099 1526177792 343685 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 372602 343685 3014 3035 0 359442 0
[pid=32529/tid=32531] ppid=32526 vsize=1490408 memory=-7163374898894692734 CPUtime=3589.04 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 4143294 0 0 0 358192 712 0 0 20 0 3 0 5181100 1526177792 343685 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=1490408 memory=4210189023945846433 CPUtime=0.03 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 5181101 1526177792 343685 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3589.28 s
Current children cumulated vsize: 1490408 KiB
Current children cumulated memory: 1374740 KiB
[startup+3600.4 s]
/proc/loadavg: 4.11 4.14 4.14 3/247 34598
/proc/meminfo: memFree=128061440/131524600 swapFree=131063756/131071996
[pid=32529] ppid=32526 vsize=1334796 memory=1219128 CPUtime=3589.68 cores=4,6
/proc/32529/stat : 32529 (fscip) S 32526 32529 27458 0 -1 1077936128 4179950 0 0 0 358245 723 0 0 20 0 3 0 5181099 1366831104 304782 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
/proc/32529/statm: 333699 304782 3014 3035 0 320539 0
[pid=32529/tid=32531] ppid=32526 vsize=1334796 memory=-7307771561947259006 CPUtime=3589.44 cores=4,6
/proc/32529/task/32531/stat : 32531 (fscip) R 32526 32529 27458 0 -1 4194368 4176106 0 0 0 358229 715 0 0 20 0 3 0 5181100 1366831104 304782 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
[pid=32529/tid=32532] ppid=32526 vsize=1334796 memory=18940 CPUtime=0.03 cores=4,6
/proc/32529/task/32532/stat : 32532 (fscip) S 32526 32529 27458 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 5181101 1366831104 304782 134679101440 4194304 16623229 140737074316544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29417472 140737074324502 140737074324618 140737074324618 140737074331632 0
Current children cumulated CPU time: 3589.68 s
Current children cumulated vsize: 1334796 KiB
Current children cumulated memory: 1219128 KiB
Child status: 0
Real time (s): 3600.47
CPU time (s): 3589.76
CPU user time (s): 3582.48
CPU system time (s): 7.27355
CPU usage (%): 99.7026
Max. virtual memory (cumulated for all children) (KiB): 1909100
Max. memory (cumulated for all children) (KiB): 1793412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.48
system time used= 7.27355
maximum resident set size= 1793412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4181317
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= 10457
involuntary context switches= 4744
# summary of solver processes directly reported to runsolver:
# pid: 32529
# total CPU time (s): 3589.76
# total CPU user time (s): 3582.48
# total CPU system time (s): 7.27355
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24656 second user time and 15.7889 second system time
The end
Begin job on nodeC029 at 2024-07-31 02:30:00
IDJOB=4464544
IDBENCH=158687
IDSOLVER=3092
FILE ID=nodeC029/4464544-1722385800
RUNJOBID= nodeC029-1722378597-27469
SLURM_JOB_ID= 8249852
Free space on /tmp= 889976 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464544-1722385800/watcher-4464544-1722385800 -o /tmp/evaluation-result-4464544-1722385800/solver-4464544-1722385800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27469 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464544-1722385800.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fefb64a1b2a7fa00e7ba601f2504d0e0
RANDOM SEED=383040899
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.379
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 : 7000.02
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 : 3684.177
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.75
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 : 3602.904
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 : 7000.02
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.235
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.75
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 : 3658.311
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 : 7000.02
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 : 3684.212
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.75
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 : 3663.802
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 : 7000.02
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.357
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.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126757348 kB
MemAvailable: 126770892 kB
Buffers: 93840 kB
Cached: 757876 kB
SwapCached: 212 kB
Active: 278340 kB
Inactive: 4019256 kB
Active(anon): 1732 kB
Inactive(anon): 3465220 kB
Active(file): 276608 kB
Inactive(file): 554036 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 85092 kB
Writeback: 4 kB
AnonPages: 3445560 kB
Mapped: 122940 kB
Shmem: 21024 kB
KReclaimable: 46120 kB
Slab: 126796 kB
SReclaimable: 46120 kB
SUnreclaim: 80676 kB
KernelStack: 4160 kB
PageTables: 15944 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2636352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1619968 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: 185044 kB
DirectMap2M: 6928384 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC029 at 2024-07-31 03:30:01