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 = 22556672, getVmSize() = 22556672, SCIPgetMemUsed() = 828121, SCIPgetMemTotal() = 1109401, 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 = 16155989, getVmSize() = 25911296, SCIPgetMemUsed() = 1715450, SCIPgetMemTotal() = 3426682, 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-4464024-1722378597
0.00/0.01 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 17
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 14
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 12
0.00/0.01 c logicor : 2
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.08/5.13 c 5 10908 8809 1 - 0.0000 -
10.06/10.17 c 10 23599 18058 1 - 0.0000 -
15.13/15.22 c 15 35665 26044 1 - 0.0000 -
20.11/20.27 c 20 47668 33949 1 - 0.0000 -
25.18/25.32 c 25 58987 40884 1 - 0.0000 -
30.17/30.39 c 30 69849 47510 1 - 0.0000 -
35.25/35.43 c 35 79937 53784 1 - 0.0000 -
40.22/40.48 c 40 89719 60024 1 - 0.0000 -
45.30/45.55 c 46 99529 66348 1 - 0.0000 -
50.38/50.61 c 51 109992 72801 1 - 0.0000 -
55.36/55.67 c 56 120311 78946 1 - 0.0000 -
60.43/60.75 c 61 129792 85009 1 - 0.0000 -
65.51/65.81 c 66 138816 90633 1 - 0.0000 -
70.49/70.89 c 71 147981 96260 1 - 0.0000 -
75.68/76.03 c 76 156179 101508 1 - 0.0000 -
80.76/81.14 c 81 164970 106917 1 - 0.0000 -
85.83/86.26 c 86 173770 112387 1 - 0.0000 -
90.91/91.34 c 91 182107 117632 1 - 0.0000 -
95.99/96.40 c 96 190586 122757 1 - 0.0000 -
101.07/101.51 c 102 198843 127636 1 - 0.0000 -
106.15/106.65 c 107 207211 132690 1 - 0.0000 -
111.23/111.71 c 112 215776 137611 1 - 0.0000 -
116.31/116.80 c 117 223236 142159 1 - 0.0000 -
121.29/121.85 c 122 231175 146818 1 - 0.0000 -
126.37/126.94 c 127 239478 151677 1 - 0.0000 -
131.45/132.00 c 132 246975 156112 1 - 0.0000 -
136.43/137.08 c 137 254650 160713 1 - 0.0000 -
141.51/142.19 c 142 260933 164957 1 - 0.0000 -
146.69/147.34 c 147 267194 169112 1 - 0.0000 -
151.76/152.43 c 152 274227 173063 1 - 0.0000 -
156.95/157.60 c 158 281882 177236 1 - 0.0000 -
162.02/162.71 c 163 289198 181472 1 - 0.0000 -
167.20/167.90 c 168 296488 185534 1 - 0.0000 -
172.39/173.14 c 173 303554 189682 1 - 0.0000 -
177.37/178.19 c 178 310535 193449 1 - 0.0000 -
182.55/183.37 c 183 316564 197044 1 - 0.0000 -
187.63/188.44 c 188 323343 200821 1 - 0.0000 -
192.80/193.61 c 194 330240 204816 1 - 0.0000 -
197.79/198.66 c 199 336969 208793 1 - 0.0000 -
202.87/203.71 c 204 344348 212834 1 - 0.0000 -
208.15/209.03 c 209 351472 216780 1 - 0.0000 -
213.12/214.09 c 214 357831 220487 1 - 0.0000 -
218.31/219.24 c 219 365522 224634 1 - 0.0000 -
223.39/224.39 c 224 372668 228627 1 - 0.0000 -
228.48/229.47 c 229 379827 232522 1 - 0.0000 -
233.66/234.61 c 235 385993 236046 1 - 0.0000 -
238.74/239.72 c 240 391863 239552 1 - 0.0000 -
243.83/244.82 c 245 397839 243152 1 - 0.0000 -
248.91/249.99 c 250 404390 246793 1 - 0.0000 -
254.29/255.36 c 255 411042 250371 1 - 0.0000 -
259.47/260.59 c 261 417784 253936 1 - 0.0000 -
264.56/265.64 c 266 423755 257341 1 - 0.0000 -
269.64/270.76 c 271 430172 260850 1 - 0.0000 -
274.83/275.93 c 276 436976 264262 1 - 0.0000 -
280.02/281.16 c 281 443886 267906 1 - 0.0000 -
285.20/286.30 c 286 450269 271337 1 - 0.0000 -
290.18/291.38 c 291 456535 274607 1 - 0.0000 -
295.57/296.75 c 297 462315 277812 1 - 0.0000 -
300.75/301.99 c 302 468217 280916 1 - 0.0000 -
305.94/307.18 c 307 472730 283549 1 - 0.0000 -
311.22/312.45 c 312 479163 286744 1 - 0.0000 -
316.50/317.72 c 318 485213 290022 1 - 0.0000 -
321.79/323.09 c 323 490976 293027 1 - 0.0000 -
326.96/328.27 c 328 496534 296201 1 - 0.0000 -
332.25/333.50 c 334 501883 299028 1 - 0.0000 -
337.34/338.65 c 339 508855 302584 1 - 0.0000 -
342.62/343.98 c 344 515737 305940 1 - 0.0000 -
347.90/349.23 c 349 521802 309247 1 - 0.0000 -
353.09/354.44 c 354 526664 312043 1 - 0.0000 -
358.27/359.69 c 360 533265 315346 1 - 0.0000 -
363.86/365.25 c 365 538622 318079 1 - 0.0000 -
369.05/370.41 c 370 544345 320992 1 - 0.0000 -
374.23/375.62 c 376 550038 323883 1 - 0.0000 -
379.41/380.83 c 381 555652 326957 1 - 0.0000 -
384.60/386.00 c 386 561927 330172 1 - 0.0000 -
389.98/391.45 c 391 566813 332882 1 - 0.0000 -
395.36/396.82 c 397 571484 335667 1 - 0.0000 -
400.45/401.95 c 402 577756 338767 1 - 0.0000 -
405.63/407.15 c 407 582426 341253 1 - 0.0000 -
411.12/412.60 c 413 587492 344103 1 - 0.0000 -
416.30/417.86 c 418 593185 347092 1 - 0.0000 -
421.49/423.09 c 423 598333 349926 1 - 0.0000 -
427.07/428.67 c 429 604012 352985 1 - 0.0000 -
432.25/433.89 c 434 608172 355377 1 - 0.0000 -
437.64/439.22 c 439 613732 358483 1 - 0.0000 -
442.82/444.48 c 444 618580 360981 1 - 0.0000 -
447.90/449.58 c 450 624128 363815 1 - 0.0000 -
453.19/454.80 c 455 630367 366820 1 - 0.0000 -
458.68/460.39 c 460 637099 370144 1 - 0.0000 -
463.86/465.53 c 466 641943 372579 1 - 0.0000 -
469.24/470.94 c 471 646837 375349 1 - 0.0000 -
474.63/476.34 c 476 652342 378218 1 - 0.0000 -
479.91/481.66 c 482 657558 380780 1 - 0.0000 -
485.20/486.91 c 487 662400 383286 1 - 0.0000 -
490.59/492.33 c 492 667092 385774 1 - 0.0000 -
495.97/497.72 c 498 672389 388417 1 - 0.0000 -
500.96/502.77 c 503 678291 391431 1 - 0.0000 -
506.14/507.93 c 508 684518 394402 1 - 0.0000 -
511.34/513.18 c 513 688643 396529 1 - 0.0000 -
516.81/518.60 c 519 693569 399162 1 - 0.0000 -
521.90/523.70 c 524 697038 401247 1 - 0.0000 -
527.19/529.02 c 529 702100 403913 1 - 0.0000 -
532.67/534.51 c 535 707000 406450 1 - 0.0000 -
538.26/540.13 c 540 711083 408881 1 - 0.0000 -
543.64/545.54 c 546 714462 410926 1 - 0.0000 -
548.72/550.64 c 551 717637 412807 1 - 0.0000 -
554.12/556.02 c 556 719798 414392 1 - 0.0000 -
559.59/561.52 c 562 722420 416170 1 - 0.0000 -
564.68/566.67 c 567 725460 418196 1 - 0.0000 -
570.07/572.10 c 572 728285 420013 1 - 0.0000 -
575.35/577.37 c 577 731689 422057 1 - 0.0000 -
580.44/582.47 c 582 735835 424383 1 - 0.0000 -
586.03/588.06 c 588 739992 426750 1 - 0.0000 -
592.30/594.30 c 594 744593 429115 1 - 0.0000 -
598.19/600.27 c 600 747534 431076 1 - 0.0000 -
603.38/605.40 c 605 752125 433447 1 - 0.0000 -
608.96/611.00 c 611 757455 436069 1 - 0.0000 -
614.24/616.39 c 616 762464 438698 1 - 0.0000 -
619.82/621.92 c 622 766699 440941 1 - 0.0000 -
625.01/627.19 c 627 772024 443512 1 - 0.0000 -
630.70/632.83 c 633 776838 446084 1 - 0.0000 -
636.28/638.43 c 638 780569 448031 1 - 0.0000 -
641.76/643.92 c 644 785093 450449 1 - 0.0000 -
647.45/649.62 c 650 789706 452892 1 - 0.0000 -
652.73/654.96 c 655 794527 455159 1 - 0.0000 -
658.21/660.47 c 660 797194 456776 1 - 0.0000 -
663.60/665.82 c 666 802167 459291 1 - 0.0000 -
669.49/671.75 c 672 806318 461554 1 - 0.0000 -
674.67/676.90 c 677 810836 463806 1 - 0.0000 -
679.95/682.28 c 682 815513 466085 1 - 0.0000 -
685.54/687.84 c 688 819844 468328 1 - 0.0000 -
691.22/693.54 c 694 823838 470546 1 - 0.0000 -
696.61/698.91 c 699 828394 472826 1 - 0.0000 -
702.00/704.33 c 704 832980 475140 1 - 0.0000 -
707.28/709.67 c 710 838502 477930 1 - 0.0000 -
712.56/714.96 c 715 843279 480183 1 - 0.0000 -
718.35/720.79 c 721 847648 482368 1 - 0.0000 -
723.84/726.20 c 726 851322 484382 1 - 0.0000 -
729.12/731.52 c 732 855369 486396 1 - 0.0000 -
734.40/736.88 c 737 858909 488236 1 - 0.0000 -
740.09/742.56 c 743 862031 490024 1 - 0.0000 -
745.48/747.90 c 748 866748 492300 1 - 0.0000 -
750.96/753.40 c 753 872543 495119 1 - 0.0000 -
756.55/759.00 c 759 876599 497195 1 - 0.0000 -
762.22/764.77 c 765 881840 499760 1 - 0.0000 -
767.71/770.25 c 770 886283 502069 1 - 0.0000 -
773.30/775.87 c 776 891037 504479 1 - 0.0000 -
778.68/781.24 c 781 895007 506477 1 - 0.0000 -
784.06/786.69 c 787 898906 508502 1 - 0.0000 -
790.14/792.74 c 793 903844 511034 1 - 0.0000 -
795.54/798.15 c 798 908022 513104 1 - 0.0000 -
801.21/803.89 c 804 912493 515329 1 - 0.0000 -
806.90/809.52 c 810 916707 517433 1 - 0.0000 -
812.78/815.45 c 815 920275 519289 1 - 0.0000 -
818.67/821.38 c 821 924150 521274 1 - 0.0000 -
823.96/826.61 c 827 928302 523328 1 - 0.0000 -
829.35/832.02 c 832 933886 525958 1 - 0.0000 -
834.43/837.17 c 837 939240 528314 1 - 0.0000 -
840.21/842.92 c 843 943579 530535 1 - 0.0000 -
845.68/848.41 c 848 947438 532568 1 - 0.0000 -
850.96/853.76 c 854 951882 534696 1 - 0.0000 -
856.25/859.04 c 859 956175 536657 1 - 0.0000 -
861.42/864.27 c 864 960895 539021 1 - 0.0000 -
866.70/869.59 c 870 964804 540920 1 - 0.0000 -
872.78/875.66 c 876 969296 543170 1 - 0.0000 -
878.37/881.22 c 881 972934 544994 1 - 0.0000 -
884.15/887.01 c 887 977582 547310 1 - 0.0000 -
889.72/892.62 c 893 981933 549435 1 - 0.0000 -
894.90/897.85 c 898 985217 551165 1 - 0.0000 -
900.88/903.80 c 904 989608 553352 1 - 0.0000 -
906.46/909.45 c 909 993178 555242 1 - 0.0000 -
911.54/914.56 c 915 997389 557301 1 - 0.0000 -
916.72/919.73 c 920 1000172 558868 1 - 0.0000 -
922.20/925.21 c 925 1003939 560793 1 - 0.0000 -
927.58/930.66 c 931 1006576 562378 1 - 0.0000 -
933.16/936.24 c 936 1011430 564606 1 - 0.0000 -
938.64/941.77 c 942 1015619 566671 1 - 0.0000 -
943.93/947.04 c 947 1019829 568689 1 - 0.0000 -
949.80/952.94 c 953 1023376 570558 1 - 0.0000 -
955.68/958.83 c 959 1028454 572956 1 - 0.0000 -
961.56/964.79 c 965 1031674 574602 1 - 0.0000 -
967.23/970.49 c 970 1033473 575885 1 - 0.0000 -
972.62/975.81 c 976 1037652 578168 1 - 0.0000 -
977.80/981.07 c 981 1042567 580373 1 - 0.0000 -
983.08/986.37 c 986 1045507 581889 1 - 0.0000 -
988.26/991.53 c 992 1049027 583655 1 - 0.0000 -
993.93/997.24 c 997 1053300 585748 1 - 0.0000 -
999.31/1002.69 c 1003 1056404 587482 1 - 0.0000 -
1005.20/1008.50 c 1009 1060272 589556 1 - 0.0000 -
1010.98/1014.30 c 1014 1064284 591562 1 - 0.0000 -
1016.66/1020.03 c 1020 1069447 593991 1 - 0.0000 -
1021.74/1025.11 c 1025 1071434 595098 1 - 0.0000 -
1027.02/1030.42 c 1030 1074780 596830 1 - 0.0000 -
1032.00/1035.45 c 1035 1077009 598075 1 - 0.0000 -
1037.48/1040.98 c 1041 1080864 600038 1 - 0.0000 -
1042.56/1046.04 c 1046 1082835 601247 1 - 0.0000 -
1048.04/1051.57 c 1052 1086602 603208 1 - 0.0000 -
1053.53/1057.06 c 1057 1091087 605387 1 - 0.0000 -
1059.00/1062.57 c 1063 1095630 607640 1 - 0.0000 -
1064.39/1067.92 c 1068 1097872 608974 1 - 0.0000 -
1069.86/1073.48 c 1073 1100899 610755 1 - 0.0000 -
1075.34/1078.94 c 1079 1103808 612300 1 - 0.0000 -
1081.02/1084.66 c 1085 1107048 614134 1 - 0.0000 -
1086.80/1090.41 c 1090 1110358 615818 1 - 0.0000 -
1092.18/1095.85 c 1096 1113454 617450 1 - 0.0000 -
1097.96/1101.62 c 1102 1117335 619327 1 - 0.0000 -
1103.04/1106.72 c 1107 1119845 620651 1 - 0.0000 -
1108.52/1112.29 c 1112 1123660 622598 1 - 0.0000 -
1114.60/1118.30 c 1118 1127733 624719 1 - 0.0000 -
1120.28/1124.02 c 1124 1130110 626162 1 - 0.0000 -
1125.96/1129.75 c 1130 1133297 627969 1 - 0.0000 -
1131.25/1135.06 c 1135 1135499 629213 1 - 0.0000 -
1136.72/1140.50 c 1141 1139418 631178 1 - 0.0000 -
1142.50/1146.38 c 1146 1143575 633201 1 - 0.0000 -
1147.77/1151.63 c 1152 1147271 635081 1 - 0.0000 -
1153.46/1157.32 c 1157 1151726 637254 1 - 0.0000 -
1158.74/1162.60 c 1163 1155533 638969 1 - 0.0000 -
1164.13/1168.09 c 1168 1159897 641163 1 - 0.0000 -
1170.00/1173.92 c 1174 1163552 643000 1 - 0.0000 -
1175.58/1179.57 c 1180 1167266 645064 1 - 0.0000 -
1181.65/1185.62 c 1186 1171107 647021 1 - 0.0000 -
1186.84/1190.83 c 1191 1174836 648906 1 - 0.0000 -
1192.52/1196.56 c 1197 1178265 650783 1 - 0.0000 -
1197.60/1201.69 c 1202 1180883 652073 1 - 0.0000 -
1203.27/1207.30 c 1207 1183804 653620 1 - 0.0000 -
1208.46/1212.57 c 1213 1187790 655592 1 - 0.0000 -
1213.95/1218.01 c 1218 1192073 657661 1 - 0.0000 -
1219.72/1223.83 c 1224 1196583 659685 1 - 0.0000 -
1225.20/1229.35 c 1229 1201027 661771 1 - 0.0000 -
1231.07/1235.27 c 1235 1205297 663731 1 - 0.0000 -
1236.26/1240.42 c 1240 1209022 665626 1 - 0.0000 -
1241.64/1245.80 c 1246 1213400 667706 1 - 0.0000 -
1246.62/1250.85 c 1251 1216173 669175 1 - 0.0000 -
1252.20/1256.40 c 1256 1220441 671087 1 - 0.0000 -
1257.98/1262.20 c 1262 1224532 673140 1 - 0.0000 -
1263.67/1267.94 c 1268 1228040 674880 1 - 0.0000 -
1269.55/1273.86 c 1274 1231164 676550 1 - 0.0000 -
1274.93/1279.26 c 1279 1233623 677849 1 - 0.0000 -
1280.51/1284.81 c 1285 1237925 679881 1 - 0.0000 -
1286.00/1290.34 c 1290 1240820 681340 1 - 0.0000 -
1291.59/1295.99 c 1296 1245463 683407 1 - 0.0000 -
1297.87/1302.21 c 1302 1250147 685687 1 - 0.0000 -
1303.56/1307.93 c 1308 1254501 687585 1 - 0.0000 -
1308.54/1312.94 c 1313 1257352 689056 1 - 0.0000 -
1314.12/1318.57 c 1319 1261417 691055 1 - 0.0000 -
1319.62/1324.07 c 1324 1265563 692983 1 - 0.0000 -
1325.39/1329.85 c 1330 1268062 694444 1 - 0.0000 -
1330.78/1335.28 c 1335 1272705 696559 1 - 0.0000 -
1336.26/1340.78 c 1341 1277319 698647 1 - 0.0000 -
1341.44/1345.92 c 1346 1281461 700687 1 - 0.0000 -
1346.83/1351.39 c 1351 1285818 702628 1 - 0.0000 -
1352.72/1357.28 c 1357 1289885 704589 1 - 0.0000 -
1358.10/1362.63 c 1363 1291869 705929 1 - 0.0000 -
1363.69/1368.26 c 1368 1295173 707757 1 - 0.0000 -
1369.57/1374.17 c 1374 1299669 710145 1 - 0.0000 -
1375.35/1379.92 c 1380 1302473 711669 1 - 0.0000 -
1381.04/1385.63 c 1386 1304323 712857 1 - 0.0000 -
1386.73/1391.33 c 1391 1308044 714798 1 - 0.0000 -
1392.30/1396.94 c 1397 1311603 716591 1 - 0.0000 -
1398.29/1402.94 c 1403 1314658 718316 1 - 0.0000 -
1404.08/1408.78 c 1409 1319615 720657 1 - 0.0000 -
1409.95/1414.66 c 1415 1323117 722373 1 - 0.0000 -
1415.44/1420.11 c 1420 1326947 724355 1 - 0.0000 -
1421.53/1426.23 c 1426 1330726 726316 1 - 0.0000 -
1427.01/1431.73 c 1432 1334833 728191 1 - 0.0000 -
1432.50/1437.21 c 1437 1337386 729562 1 - 0.0000 -
1438.07/1442.84 c 1443 1340944 731314 1 - 0.0000 -
1443.86/1448.64 c 1449 1343220 732646 1 - 0.0000 -
1449.36/1454.18 c 1454 1346706 734320 1 - 0.0000 -
1454.93/1459.78 c 1460 1350175 736097 1 - 0.0000 -
1461.32/1466.11 c 1466 1354370 738084 1 - 0.0000 -
1466.80/1471.62 c 1472 1358298 740132 1 - 0.0000 -
1472.68/1477.55 c 1478 1361100 741538 1 - 0.0000 -
1478.77/1483.66 c 1484 1365255 743587 1 - 0.0000 -
1484.95/1489.81 c 1490 1369596 745680 1 - 0.0000 -
1490.64/1495.57 c 1496 1372374 747146 1 - 0.0000 -
1496.52/1501.43 c 1501 1375709 748721 1 - 0.0000 -
1502.01/1506.91 c 1507 1379416 750462 1 - 0.0000 -
1508.10/1513.03 c 1513 1382474 752058 1 - 0.0000 -
1513.47/1518.47 c 1518 1385568 753590 1 - 0.0000 -
1519.35/1524.36 c 1524 1388787 755115 1 - 0.0000 -
1524.74/1529.75 c 1530 1390230 755998 1 - 0.0000 -
1530.63/1535.62 c 1536 1392470 757296 1 - 0.0000 -
1535.61/1540.66 c 1541 1395038 758560 1 - 0.0000 -
1541.40/1546.43 c 1546 1398389 760195 1 - 0.0000 -
1546.78/1551.84 c 1552 1403475 762417 1 - 0.0000 -
1552.36/1557.42 c 1557 1408102 764504 1 - 0.0000 -
1558.24/1563.38 c 1563 1411300 766092 1 - 0.0000 -
1563.94/1569.05 c 1569 1415446 768066 1 - 0.0000 -
1569.72/1574.88 c 1575 1420062 770164 1 - 0.0000 -
1575.60/1580.79 c 1581 1424673 772199 1 - 0.0000 -
1581.18/1586.37 c 1586 1427687 773669 1 - 0.0000 -
1586.67/1591.89 c 1592 1431216 775380 1 - 0.0000 -
1591.75/1596.99 c 1597 1433022 776364 1 - 0.0000 -
1596.94/1602.14 c 1602 1435767 777767 1 - 0.0000 -
1603.02/1608.26 c 1608 1440012 779586 1 - 0.0000 -
1608.00/1613.27 c 1613 1442285 780855 1 - 0.0000 -
1613.69/1618.91 c 1619 1446202 782622 1 - 0.0000 -
1619.47/1624.71 c 1625 1450234 784608 1 - 0.0000 -
1625.35/1630.64 c 1631 1453545 786241 1 - 0.0000 -
1630.85/1636.14 c 1636 1457646 788154 1 - 0.0000 -
1636.02/1641.33 c 1641 1461170 789972 1 - 0.0000 -
1641.41/1646.79 c 1647 1465194 791774 1 - 0.0000 -
1646.99/1652.36 c 1652 1468622 793290 1 - 0.0000 -
1652.79/1658.11 c 1658 1470896 794662 1 - 0.0000 -
1658.86/1664.21 c 1664 1475563 796869 1 - 0.0000 -
1664.66/1670.07 c 1670 1480152 798910 1 - 0.0000 -
1670.34/1675.79 c 1676 1483027 800161 1 - 0.0000 -
1676.02/1681.46 c 1681 1487527 802239 1 - 0.0000 -
1681.31/1686.77 c 1687 1490027 803435 1 - 0.0000 -
1686.70/1692.15 c 1692 1492642 804880 1 - 0.0000 -
1692.17/1697.64 c 1698 1495654 806381 1 - 0.0000 -
1697.76/1703.28 c 1703 1497559 807412 1 - 0.0000 -
1703.74/1709.27 c 1709 1501344 809101 1 - 0.0000 -
1709.83/1715.30 c 1715 1505489 811014 1 - 0.0000 -
1715.42/1720.94 c 1721 1508279 812398 1 - 0.0000 -
1721.00/1726.50 c 1727 1511774 814095 1 - 0.0000 -
1726.68/1732.20 c 1732 1517156 816355 1 - 0.0000 -
1732.57/1738.15 c 1738 1520925 818154 1 - 0.0000 -
1738.46/1744.01 c 1744 1526087 820368 1 - 0.0000 -
1744.44/1750.04 c 1750 1529195 821892 1 - 0.0000 -
1750.82/1756.40 c 1756 1533084 823677 1 - 0.0000 -
1756.51/1762.13 c 1762 1536572 825371 1 - 0.0000 -
1761.79/1767.49 c 1768 1540345 827036 1 - 0.0000 -
1767.57/1773.24 c 1773 1544298 828881 1 - 0.0000 -
1773.16/1778.86 c 1779 1548280 830663 1 - 0.0000 -
1778.83/1784.50 c 1785 1551979 832498 1 - 0.0000 -
1784.43/1790.13 c 1790 1556140 834427 1 - 0.0000 -
1789.80/1795.51 c 1796 1560349 836310 1 - 0.0000 -
1795.68/1801.41 c 1801 1563719 837920 1 - 0.0000 -
1801.36/1807.17 c 1807 1568973 840216 1 - 0.0000 -
1806.75/1812.54 c 1813 1574428 842479 1 - 0.0000 -
1811.94/1817.75 c 1818 1577092 843955 1 - 0.0000 -
1817.32/1823.11 c 1823 1580722 845823 1 - 0.0000 -
1823.11/1828.92 c 1829 1582920 846989 1 - 0.0000 -
1829.19/1835.06 c 1835 1586670 848777 1 - 0.0000 -
1834.87/1840.70 c 1841 1590342 850565 1 - 0.0000 -
1840.96/1846.82 c 1847 1593720 852157 1 - 0.0000 -
1846.84/1852.71 c 1853 1596432 853615 1 - 0.0000 -
1852.82/1858.78 c 1859 1599697 855188 1 - 0.0000 -
1858.11/1864.07 c 1864 1603489 856930 1 - 0.0000 -
1863.79/1869.75 c 1870 1605454 858029 1 - 0.0000 -
1869.67/1875.63 c 1876 1608646 859559 1 - 0.0000 -
1875.17/1881.17 c 1881 1611082 860639 1 - 0.0000 -
1880.74/1886.78 c 1887 1614224 862171 1 - 0.0000 -
1886.72/1892.78 c 1893 1617987 863822 1 - 0.0000 -
1892.71/1898.70 c 1899 1621560 865507 1 - 0.0000 -
1898.59/1904.68 c 1905 1625923 867471 1 - 0.0000 -
1904.27/1910.34 c 1910 1628504 868786 1 - 0.0000 -
1910.17/1916.20 c 1916 1633367 870807 1 - 0.0000 -
1915.55/1921.64 c 1922 1636376 872070 1 - 0.0000 -
1921.23/1927.30 c 1927 1639645 873601 1 - 0.0000 -
1926.32/1932.49 c 1932 1643342 875078 1 - 0.0000 -
1932.00/1938.16 c 1938 1644112 875682 1 - 0.0000 -
1937.08/1943.28 c 1943 1644802 876240 1 - 0.0000 -
1942.88/1949.07 c 1949 1646919 877505 1 - 0.0000 -
1948.06/1954.25 c 1954 1649560 878878 1 - 0.0000 -
1953.45/1959.69 c 1960 1651745 880187 1 - 0.0000 -
1958.63/1964.82 c 1965 1653600 881266 1 - 0.0000 -
1965.61/1971.85 c 1972 1655523 882423 1 - 0.0000 -
1971.10/1977.36 c 1977 1657512 883584 1 - 0.0000 -
1977.08/1983.36 c 1983 1660292 885120 1 - 0.0000 -
1982.97/1989.20 c 1989 1663289 886647 1 - 0.0000 -
1988.14/1994.47 c 1994 1665722 887880 1 - 0.0000 -
1994.04/2000.32 c 2000 1666567 888469 1 - 0.0000 -
1999.62/2005.95 c 2006 1669664 889986 1 - 0.0000 -
2005.40/2011.75 c 2012 1672486 891399 1 - 0.0000 -
2010.49/2016.85 c 2017 1674804 892583 1 - 0.0000 -
2015.68/2022.08 c 2022 1678146 894037 1 - 0.0000 -
2021.56/2027.90 c 2028 1681478 895647 1 - 0.0000 -
2026.85/2033.28 c 2033 1684839 897250 1 - 0.0000 -
2032.03/2038.42 c 2038 1686045 897892 1 - 0.0000 -
2037.73/2044.18 c 2044 1687532 898907 1 - 0.0000 -
2043.60/2050.08 c 2050 1689910 900209 1 - 0.0000 -
2049.59/2056.07 c 2056 1692077 901396 1 - 0.0000 -
2054.76/2061.21 c 2061 1693117 901994 1 - 0.0000 -
2060.45/2066.90 c 2067 1695572 903347 1 - 0.0000 -
2066.24/2072.75 c 2073 1699463 905344 1 - 0.0000 -
2072.02/2078.58 c 2079 1703559 907242 1 - 0.0000 -
2078.61/2085.13 c 2085 1705974 908487 1 - 0.0000 -
2084.79/2091.39 c 2091 1708259 909742 1 - 0.0000 -
2090.67/2097.24 c 2097 1712373 911766 1 - 0.0000 -
2096.25/2102.87 c 2103 1715152 913035 1 - 0.0000 -
2102.32/2108.94 c 2109 1718642 914561 1 - 0.0000 -
2108.31/2114.92 c 2115 1722449 916264 1 - 0.0000 -
2114.49/2121.15 c 2121 1725112 917747 1 - 0.0000 -
2120.47/2127.17 c 2127 1728906 919413 1 - 0.0000 -
2126.74/2133.46 c 2133 1733336 921307 1 - 0.0000 -
2132.33/2139.07 c 2139 1734893 922266 1 - 0.0000 -
2137.41/2144.19 c 2144 1737100 923425 1 - 0.0000 -
2143.68/2150.40 c 2150 1741113 925284 1 - 0.0000 -
2148.86/2155.65 c 2156 1742586 926251 1 - 0.0000 -
2154.74/2161.53 c 2162 1744222 927275 1 - 0.0000 -
2160.41/2167.20 c 2167 1747020 928825 1 - 0.0000 -
2166.30/2173.11 c 2173 1750345 930360 1 - 0.0000 -
2172.28/2179.17 c 2179 1753975 931922 1 - 0.0000 -
2178.16/2185.10 c 2185 1757683 933648 1 - 0.0000 -
2183.64/2190.57 c 2191 1761251 935128 1 - 0.0000 -
2189.51/2196.42 c 2196 1763833 936430 1 - 0.0000 -
2195.69/2202.64 c 2203 1767585 938288 1 - 0.0000 -
2201.57/2208.57 c 2209 1769474 939353 1 - 0.0000 -
2206.95/2213.94 c 2214 1772556 940747 1 - 0.0000 -
2212.43/2219.40 c 2219 1775992 942273 1 - 0.0000 -
2218.22/2225.26 c 2225 1778047 943448 1 - 0.0000 -
2223.59/2230.67 c 2231 1782331 945240 1 - 0.0000 -
2229.87/2236.97 c 2237 1786220 946967 1 - 0.0000 -
2236.25/2243.33 c 2243 1788924 948417 1 - 0.0000 -
2241.52/2248.63 c 2249 1792386 950091 1 - 0.0000 -
2247.61/2254.75 c 2255 1795876 951677 1 - 0.0000 -
2253.29/2260.45 c 2260 1800277 953596 1 - 0.0000 -
2258.87/2266.02 c 2266 1803505 955122 1 - 0.0000 -
2264.74/2271.99 c 2272 1808072 957065 1 - 0.0000 -
2270.32/2277.53 c 2278 1811062 958523 1 - 0.0000 -
2275.70/2282.99 c 2283 1814355 959959 1 - 0.0000 -
2281.09/2288.39 c 2288 1817491 961271 1 - 0.0000 -
2286.36/2293.64 c 2294 1820719 962687 1 - 0.0000 -
2291.85/2299.13 c 2299 1822472 963586 1 - 0.0000 -
2297.92/2305.22 c 2305 1823902 964528 1 - 0.0000 -
2302.91/2310.29 c 2310 1825067 965279 1 - 0.0000 -
2308.99/2316.36 c 2316 1827182 966550 1 - 0.0000 -
2314.26/2321.62 c 2322 1828824 967528 1 - 0.0000 -
2319.45/2326.89 c 2327 1831182 968804 1 - 0.0000 -
2324.93/2332.31 c 2332 1834133 970227 1 - 0.0000 -
2331.01/2338.47 c 2338 1838667 972221 1 - 0.0000 -
2337.08/2344.57 c 2345 1841915 973753 1 - 0.0000 -
2342.86/2350.37 c 2350 1845784 975540 1 - 0.0000 -
2348.55/2356.08 c 2356 1848987 977087 1 - 0.0000 -
2354.72/2362.26 c 2362 1852789 978873 1 - 0.0000 -
2360.31/2367.89 c 2368 1858018 981066 1 - 0.0000 -
2365.61/2373.19 c 2373 1862050 982844 1 - 0.0000 -
2371.28/2378.87 c 2379 1865931 984519 1 - 0.0000 -
2376.67/2384.20 c 2384 1869492 986094 1 - 0.0000 -
2381.95/2389.53 c 2390 1872172 987422 1 - 0.0000 -
2387.64/2395.21 c 2395 1874440 988504 1 - 0.0000 -
2393.02/2400.61 c 2401 1877664 990020 1 - 0.0000 -
2398.31/2405.97 c 2406 1881069 991637 1 - 0.0000 -
2404.09/2411.77 c 2412 1884202 993054 1 - 0.0000 -
2409.49/2417.15 c 2417 1885527 993841 1 - 0.0000 -
2415.26/2422.97 c 2423 1889522 995608 1 - 0.0000 -
2420.95/2428.65 c 2429 1892477 997005 1 - 0.0000 -
2426.13/2433.82 c 2434 1895415 998211 1 - 0.0000 -
2431.12/2438.84 c 2439 1897092 999140 1 - 0.0000 -
2436.61/2444.32 c 2444 1899776 1000546 1 - 0.0000 -
2442.19/2449.95 c 2450 1904612 1002580 1 - 0.0000 -
2448.17/2455.94 c 2456 1907334 1004044 1 - 0.0000 -
2453.75/2461.55 c 2462 1911284 1005802 1 - 0.0000 -
2459.03/2466.86 c 2467 1914850 1007356 1 - 0.0000 -
2465.31/2473.18 c 2473 1916978 1008432 1 - 0.0000 -
2470.39/2478.23 c 2478 1919236 1009459 1 - 0.0000 -
2476.27/2484.17 c 2484 1922820 1011129 1 - 0.0000 -
2482.25/2490.12 c 2490 1925616 1012541 1 - 0.0000 -
2488.13/2496.09 c 2496 1927402 1013465 1 - 0.0000 -
2494.00/2501.93 c 2502 1931164 1015229 1 - 0.0000 -
2498.99/2506.95 c 2507 1934087 1016558 1 - 0.0000 -
2504.96/2512.96 c 2513 1938045 1018396 1 - 0.0000 -
2510.65/2518.64 c 2519 1941220 1019913 1 - 0.0000 -
2515.73/2523.76 c 2524 1942940 1020731 1 - 0.0000 -
2520.81/2528.83 c 2529 1945142 1021761 1 - 0.0000 -
2526.49/2534.53 c 2535 1948773 1023288 1 - 0.0000 -
2531.57/2539.65 c 2540 1950922 1024425 1 - 0.0000 -
2538.05/2546.19 c 2546 1953148 1025569 1 - 0.0000 -
2544.23/2552.32 c 2552 1955173 1026686 1 - 0.0000 -
2549.31/2557.42 c 2557 1957519 1027858 1 - 0.0000 -
2555.09/2563.23 c 2563 1961614 1029598 1 - 0.0000 -
2560.56/2568.71 c 2569 1965290 1031210 1 - 0.0000 -
2566.54/2574.71 c 2575 1968803 1032767 1 - 0.0000 -
2571.53/2579.77 c 2580 1972382 1034344 1 - 0.0000 -
2576.71/2584.90 c 2585 1974297 1035167 1 - 0.0000 -
2582.09/2590.32 c 2590 1976671 1036357 1 - 0.0000 -
2587.67/2595.98 c 2596 1980563 1038043 1 - 0.0000 -
2592.95/2601.26 c 2601 1983164 1039304 1 - 0.0000 -
2598.33/2606.64 c 2607 1986190 1040676 1 - 0.0000 -
2604.51/2612.86 c 2613 1987123 1041337 1 - 0.0000 -
2610.39/2618.70 c 2619 1988991 1042363 1 - 0.0000 -
2616.27/2624.65 c 2625 1991602 1043652 1 - 0.0000 -
2621.85/2630.20 c 2630 1995192 1045338 1 - 0.0000 -
2627.73/2636.15 c 2636 1998834 1046830 1 - 0.0000 -
2633.00/2641.49 c 2642 2002310 1048320 1 - 0.0000 -
2639.38/2647.80 c 2648 2006149 1049951 1 - 0.0000 -
2644.96/2653.48 c 2653 2009818 1051654 1 - 0.0000 -
2651.04/2659.52 c 2660 2014909 1053797 1 - 0.0000 -
2656.53/2665.07 c 2665 2017852 1055152 1 - 0.0000 -
2662.00/2670.59 c 2671 2020859 1056555 1 - 0.0000 -
2667.98/2676.50 c 2677 2024412 1058026 1 - 0.0000 -
2673.86/2682.44 c 2682 2027835 1059537 1 - 0.0000 -
2679.13/2687.73 c 2688 2030624 1060926 1 - 0.0000 -
2684.82/2693.47 c 2693 2033414 1062250 1 - 0.0000 -
2691.40/2700.00 c 2700 2036470 1063636 1 - 0.0000 -
2697.08/2705.70 c 2706 2038355 1064703 1 - 0.0000 -
2702.47/2711.14 c 2711 2041460 1066156 1 - 0.0000 -
2707.54/2716.25 c 2716 2043417 1067299 1 - 0.0000 -
2713.33/2722.03 c 2722 2046626 1069056 1 - 0.0000 -
2719.42/2728.11 c 2728 2049373 1070533 1 - 0.0000 -
2724.80/2733.50 c 2734 2052179 1071893 1 - 0.0000 -
2731.19/2739.98 c 2740 2056282 1073674 1 - 0.0000 -
2736.67/2745.41 c 2745 2058056 1074548 1 - 0.0000 -
2743.26/2752.02 c 2752 2061509 1075963 1 - 0.0000 -
2750.13/2758.94 c 2759 2064855 1077477 1 - 0.0000 -
2755.52/2764.35 c 2764 2067958 1078864 1 - 0.0000 -
2761.51/2770.35 c 2770 2070980 1080432 1 - 0.0000 -
2767.38/2776.23 c 2776 2075032 1082202 1 - 0.0000 -
2773.17/2782.04 c 2782 2078227 1083697 1 - 0.0000 -
2778.96/2787.83 c 2788 2082090 1085386 1 - 0.0000 -
2784.74/2793.68 c 2794 2084753 1086727 1 - 0.0000 -
2790.52/2799.45 c 2799 2086643 1087629 1 - 0.0000 -
2795.91/2804.89 c 2805 2089672 1089072 1 - 0.0000 -
2801.20/2810.19 c 2810 2091804 1090012 1 - 0.0000 -
2807.68/2816.63 c 2817 2092925 1090803 1 - 0.0000 -
2814.07/2823.07 c 2823 2095880 1092246 1 - 0.0000 -
2819.75/2828.77 c 2829 2099444 1093918 1 - 0.0000 -
2825.23/2834.22 c 2834 2101668 1095022 1 - 0.0000 -
2831.41/2840.45 c 2840 2103996 1096156 1 - 0.0000 -
2837.90/2846.92 c 2847 2105652 1097140 1 - 0.0000 -
2843.09/2852.18 c 2852 2106848 1097904 1 - 0.0000 -
2848.27/2857.35 c 2857 2109992 1099352 1 - 0.0000 -
2854.35/2863.48 c 2863 2112757 1100681 1 - 0.0000 -
2859.54/2868.62 c 2869 2115588 1101942 1 - 0.0000 -
2864.72/2873.80 c 2874 2117232 1102810 1 - 0.0000 -
2870.61/2879.78 c 2880 2120366 1104200 1 - 0.0000 -
2876.50/2885.63 c 2886 2123627 1105621 1 - 0.0000 -
2881.78/2890.94 c 2891 2125147 1106461 1 - 0.0000 -
2887.37/2896.55 c 2897 2127431 1107575 1 - 0.0000 -
2893.55/2902.78 c 2903 2130709 1109111 1 - 0.0000 -
2898.73/2907.98 c 2908 2132996 1110188 1 - 0.0000 -
2904.52/2913.75 c 2914 2134619 1111119 1 - 0.0000 -
2910.01/2919.22 c 2919 2136665 1112135 1 - 0.0000 -
2915.09/2924.36 c 2924 2137495 1112729 1 - 0.0000 -
2920.48/2929.79 c 2930 2139833 1113873 1 - 0.0000 -
2926.16/2935.48 c 2935 2142035 1114973 1 - 0.0000 -
2932.15/2941.45 c 2941 2144250 1116094 1 - 0.0000 -
2937.23/2946.53 c 2947 2146016 1116954 1 - 0.0000 -
2943.32/2952.62 c 2953 2147554 1117782 1 - 0.0000 -
2949.41/2958.74 c 2959 2150672 1119256 1 - 0.0000 -
2954.49/2963.85 c 2964 2151882 1120088 1 - 0.0000 -
2960.17/2969.52 c 2970 2154287 1121256 1 - 0.0000 -
2965.66/2975.00 c 2975 2156879 1122316 1 - 0.0000 -
2971.64/2981.03 c 2981 2160523 1123892 1 - 0.0000 -
2977.53/2986.94 c 2987 2163925 1125464 1 - 0.0000 -
2983.51/2992.99 c 2993 2166288 1126613 1 - 0.0000 -
2989.90/2999.32 c 2999 2169282 1127975 1 - 0.0000 -
2995.08/3004.55 c 3005 2171773 1129072 1 - 0.0000 -
3000.76/3010.22 c 3010 2173733 1130046 1 - 0.0000 -
3006.05/3015.55 c 3016 2174977 1130818 1 - 0.0000 -
3012.24/3021.74 c 3022 2177205 1131972 1 - 0.0000 -
3017.72/3027.25 c 3027 2180286 1133359 1 - 0.0000 -
3023.70/3033.22 c 3033 2182868 1134569 1 - 0.0000 -
3029.88/3039.40 c 3039 2184605 1135540 1 - 0.0000 -
3036.77/3046.36 c 3046 2186745 1136682 1 - 0.0000 -
3041.96/3051.56 c 3052 2188243 1137392 1 - 0.0000 -
3047.85/3057.48 c 3057 2191502 1138821 1 - 0.0000 -
3054.02/3063.61 c 3064 2194416 1140171 1 - 0.0000 -
3059.41/3069.02 c 3069 2194996 1140621 1 - 0.0000 -
3064.70/3074.34 c 3074 2197524 1141811 1 - 0.0000 -
3070.29/3079.94 c 3080 2199449 1142740 1 - 0.0000 -
3075.38/3085.05 c 3085 2201469 1143718 1 - 0.0000 -
3081.65/3091.40 c 3091 2205564 1145475 1 - 0.0000 -
3088.24/3097.98 c 3098 2207912 1146577 1 - 0.0000 -
3093.72/3103.49 c 3104 2211756 1148301 1 - 0.0000 -
3099.21/3108.94 c 3109 2213604 1149187 1 - 0.0000 -
3104.49/3114.24 c 3114 2215713 1150278 1 - 0.0000 -
3109.78/3119.51 c 3120 2217030 1150945 1 - 0.0000 -
3115.66/3125.41 c 3125 2219133 1151958 1 - 0.0000 -
3121.85/3131.60 c 3132 2221982 1153247 1 - 0.0000 -
3127.93/3137.76 c 3138 2225643 1154872 1 - 0.0000 -
3133.52/3143.33 c 3143 2228222 1156041 1 - 0.0000 -
3138.80/3148.64 c 3149 2231360 1157407 1 - 0.0000 -
3143.98/3153.80 c 3154 2233672 1158545 1 - 0.0000 -
3150.67/3160.55 c 3161 2236453 1159764 1 - 0.0000 -
3156.26/3166.19 c 3166 2239087 1160914 1 - 0.0000 -
3161.93/3171.88 c 3172 2241398 1162015 1 - 0.0000 -
3167.02/3176.95 c 3177 2243388 1162925 1 - 0.0000 -
3173.11/3183.00 c 3183 2246305 1164286 1 - 0.0000 -
3178.98/3188.93 c 3189 2248442 1165323 1 - 0.0000 -
3184.97/3194.95 c 3195 2251462 1166763 1 - 0.0000 -
3190.75/3200.73 c 3201 2253060 1167631 1 - 0.0000 -
3196.94/3206.91 c 3207 2255959 1169016 1 - 0.0000 -
3202.63/3212.66 c 3213 2259150 1170471 1 - 0.0000 -
3208.41/3218.43 c 3218 2261896 1171739 1 - 0.0000 -
3213.70/3223.70 c 3224 2263564 1172529 1 - 0.0000 -
3218.78/3228.85 c 3229 2266735 1173836 1 - 0.0000 -
3224.16/3234.20 c 3234 2269832 1175071 1 - 0.0000 -
3229.96/3240.07 c 3240 2272764 1176367 1 - 0.0000 -
3235.14/3245.20 c 3245 2274538 1177253 1 - 0.0000 -
3240.93/3251.10 c 3251 2277393 1178538 1 - 0.0000 -
3246.51/3256.69 c 3257 2279602 1179521 1 - 0.0000 -
3252.69/3262.86 c 3263 2282212 1180695 1 - 0.0000 -
3257.88/3268.07 c 3268 2284062 1181549 1 - 0.0000 -
3263.16/3273.39 c 3273 2286430 1182653 1 - 0.0000 -
3268.65/3278.88 c 3279 2288277 1183490 1 - 0.0000 -
3274.93/3285.11 c 3285 2289216 1184007 1 - 0.0000 -
3280.42/3290.67 c 3291 2290434 1184735 1 - 0.0000 -
3286.00/3296.28 c 3296 2293133 1185964 1 - 0.0000 -
3291.39/3301.68 c 3302 2295783 1187156 1 - 0.0000 -
3296.47/3306.75 c 3307 2299025 1188578 1 - 0.0000 -
3302.87/3313.16 c 3313 2301595 1189752 1 - 0.0000 -
3308.84/3319.13 c 3319 2304463 1191066 1 - 0.0000 -
3315.02/3325.31 c 3325 2307323 1192530 1 - 0.0000 -
3320.71/3331.00 c 3331 2309337 1193514 1 - 0.0000 -
3326.59/3336.94 c 3337 2313895 1195484 1 - 0.0000 -
3332.58/3342.95 c 3343 2315669 1196430 1 - 0.0000 -
3338.16/3348.50 c 3349 2318125 1197640 1 - 0.0000 -
3343.45/3353.83 c 3354 2319822 1198471 1 - 0.0000 -
3349.43/3359.83 c 3360 2321452 1199289 1 - 0.0000 -
3355.52/3365.92 c 3366 2323828 1200447 1 - 0.0000 -
3360.50/3370.97 c 3371 2325884 1201303 1 - 0.0000 -
3365.59/3376.06 c 3376 2328747 1202536 1 - 0.0000 -
3370.77/3381.21 c 3381 2331183 1203676 1 - 0.0000 -
3376.36/3386.84 c 3387 2333905 1204916 1 - 0.0000 -
3381.74/3392.20 c 3392 2335305 1205676 1 - 0.0000 -
3387.03/3397.54 c 3398 2337236 1206633 1 - 0.0000 -
3392.41/3402.98 c 3403 2339715 1207754 1 - 0.0000 -
3397.99/3408.53 c 3409 2341794 1208727 1 - 0.0000 -
3403.88/3414.45 c 3414 2343862 1209675 1 - 0.0000 -
3409.86/3420.48 c 3420 2346598 1210887 1 - 0.0000 -
3415.05/3425.66 c 3426 2348552 1211805 1 - 0.0000 -
3420.64/3431.21 c 3431 2350384 1212673 1 - 0.0000 -
3425.91/3436.57 c 3437 2352497 1213650 1 - 0.0000 -
3431.41/3442.08 c 3442 2354666 1214719 1 - 0.0000 -
3437.39/3448.03 c 3448 2358700 1216629 1 - 0.0000 -
3442.87/3453.52 c 3454 2361750 1217885 1 - 0.0000 -
3448.25/3458.96 c 3459 2363917 1218940 1 - 0.0000 -
3454.24/3464.90 c 3465 2365586 1219805 1 - 0.0000 -
3459.82/3470.57 c 3471 2368679 1221052 1 - 0.0000 -
3465.91/3476.64 c 3477 2369883 1221698 1 - 0.0000 -
3471.09/3481.83 c 3482 2372032 1222795 1 - 0.0000 -
3476.18/3486.90 c 3487 2374057 1223660 1 - 0.0000 -
3481.38/3492.16 c 3492 2374990 1224219 1 - 0.0000 -
3487.36/3498.19 c 3498 2377045 1225142 1 - 0.0000 -
3493.74/3504.55 c 3505 2378512 1226025 1 - 0.0000 -
3499.92/3510.72 c 3511 2379365 1226682 1 - 0.0000 -
3506.31/3517.16 c 3517 2381437 1227880 1 - 0.0000 -
3512.39/3523.25 c 3523 2382619 1228620 1 - 0.0000 -
3518.57/3529.43 c 3529 2384322 1229563 1 - 0.0000 -
3524.46/3535.38 c 3535 2386277 1230608 1 - 0.0000 -
3529.84/3540.74 c 3541 2388496 1231663 1 - 0.0000 -
3535.62/3546.54 c 3547 2390367 1232652 1 - 0.0000 -
3541.11/3552.05 c 3552 2391993 1233532 1 - 0.0000 -
3546.99/3557.90 c 3558 2395722 1235193 1 - 0.0000 -
3552.28/3563.28 c 3563 2398086 1236345 1 - 0.0000 -
3557.56/3568.56 c 3569 2399783 1237208 1 - 0.0000 -
3563.05/3574.04 c 3574 2401886 1238151 1 - 0.0000 -
3568.73/3579.78 c 3580 2404429 1239388 1 - 0.0000 -
3574.52/3585.53 c 3586 2406373 1240402 1 - 0.0000 -
3579.61/3590.68 c 3591 2408449 1241428 1 - 0.0000 -
3584.79/3595.86 c 3596 2411052 1242587 1 - 0.0000 -
3589.78/3600.82 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.78/3600.82 c Total Time : 3600.8200
3589.78/3600.82 c solving : 3600.8200
3589.78/3600.82 c presolving : 0.0076 (included in solving)
3589.78/3600.82 c B&B Tree :
3589.78/3600.82 c nodes (total) : 1
3589.78/3600.82 c Solution :
3589.78/3600.82 c Solutions found : 0
3589.78/3600.82 c Primal Bound : -
3589.78/3600.82 c Dual Bound : +0.00000000000000e+00
3589.78/3600.82 c Gap : -
3589.78/3600.82 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: 63931 MiB (63155 MiB free)
memory of node 1: 64510 MiB (63898 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464024-1722378597/watcher-4464024-1722378597 -o /tmp/evaluation-result-4464024-1722378597/solver-4464024-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28890 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464024-1722378597.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=28942, runsolver pid=28934
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 0.04 0.07 0.08 6/267 28960
/proc/meminfo: memFree=130026256/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=109376 memory=26372 CPUtime=0.09 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4074 0 0 0 9 0 0 0 20 0 3 0 4460212 112001024 6593 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 27344 6593 2950 3035 0 10275 0
[pid=28942/tid=28958] ppid=28934 vsize=109376 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 2516 0 0 0 8 0 0 0 20 0 3 0 4460213 112001024 6593 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=109376 memory=17990 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4460213 112001024 6593 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109376 KiB
Current children cumulated memory: 26372 KiB
[startup+0.206676 s]*
/proc/loadavg: 0.04 0.07 0.08 8/267 28960
/proc/meminfo: memFree=129949152/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=109376 memory=29540 CPUtime=0.2 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4854 0 0 0 20 0 0 0 20 0 3 0 4460212 112001024 7385 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 27344 7385 2950 3035 0 10894 0
[pid=28942/tid=28958] ppid=28934 vsize=109376 memory=8026368251766898819 CPUtime=0.19 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 3296 0 0 0 19 0 0 0 20 0 3 0 4460213 112001024 7385 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=109376 memory=17990 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4460213 112001024 7385 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109376 KiB
Current children cumulated memory: 29540 KiB
[startup+0.306912 s]*
/proc/loadavg: 0.04 0.07 0.08 5/267 28960
/proc/meminfo: memFree=129939556/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=109376 memory=30332 CPUtime=0.3 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 5055 0 0 0 30 0 0 0 20 0 3 0 4460212 112001024 7583 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 27344 7583 2950 3035 0 11207 0
[pid=28942/tid=28958] ppid=28934 vsize=109376 memory=-5155629102520364165 CPUtime=0.29 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 3497 0 0 0 29 0 0 0 20 0 3 0 4460213 112001024 7583 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=109376 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4460213 112001024 7583 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109376 KiB
Current children cumulated memory: 30332 KiB
[startup+0.700246 s]
/proc/loadavg: 0.04 0.07 0.08 6/267 28960
/proc/meminfo: memFree=129896756/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=110076 memory=37196 CPUtime=0.68 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 6766 0 0 0 68 0 0 0 20 0 3 0 4460212 112717824 9299 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 27519 9299 2950 3035 0 13046 0
[pid=28942/tid=28958] ppid=28934 vsize=110076 memory=0 CPUtime=0.67 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 5208 0 0 0 67 0 0 0 20 0 3 0 4460213 112717824 9299 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=110076 memory=0 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4460213 112717824 9299 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110076 KiB
Current children cumulated memory: 37196 KiB
[startup+1.50025 s]
/proc/loadavg: 0.04 0.07 0.08 6/267 28960
/proc/meminfo: memFree=129860068/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=110076 memory=38776 CPUtime=1.49 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 9656 0 0 0 148 1 0 0 20 0 3 0 4460212 112717824 9694 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 27519 9694 2998 3035 0 13280 0
[pid=28942/tid=28958] ppid=28934 vsize=110076 memory=0 CPUtime=1.47 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 8084 0 0 0 146 1 0 0 20 0 3 0 4460213 112717824 9694 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=110076 memory=0 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4460213 112717824 9694 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 110076 KiB
Current children cumulated memory: 38776 KiB
[startup+3.10652 s]
/proc/loadavg: 0.36 0.14 0.11 6/269 28962
/proc/meminfo: memFree=129737988/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=110076 memory=40556 CPUtime=3.08 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 10395 0 0 0 307 1 0 0 20 0 3 0 4460212 112717824 10139 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 27519 10139 2998 3035 0 13671 0
[pid=28942/tid=28958] ppid=28934 vsize=110076 memory=0 CPUtime=3.07 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 8820 0 0 0 306 1 0 0 20 0 3 0 4460213 112717824 10139 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=110076 memory=2273 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4460213 112717824 10139 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 110076 KiB
Current children cumulated memory: 40556 KiB
[startup+6.30022 s]
/proc/loadavg: 0.36 0.14 0.11 7/269 29010
/proc/meminfo: memFree=129788424/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=113092 memory=49772 CPUtime=6.26 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 17127 0 0 0 624 2 0 0 20 0 3 0 4460212 115806208 12443 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 28273 12443 2998 3035 0 15785 0
[pid=28942/tid=28958] ppid=28934 vsize=113092 memory=0 CPUtime=6.25 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 15531 0 0 0 623 2 0 0 20 0 3 0 4460213 115806208 12443 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=113092 memory=11628 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4460213 115806208 12443 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 113092 KiB
Current children cumulated memory: 49772 KiB
[startup+12.7002 s]
/proc/loadavg: 0.99 0.28 0.15 7/269 29012
/proc/meminfo: memFree=129693256/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=120456 memory=62528 CPUtime=12.64 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 31555 0 0 0 1259 5 0 0 20 0 3 0 4460212 123346944 15632 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 30114 15632 2998 3035 0 19040 0
[pid=28942/tid=28958] ppid=28934 vsize=120456 memory=48036 CPUtime=12.62 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 29924 0 0 0 1257 5 0 0 20 0 3 0 4460213 123346944 15632 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=120456 memory=11628 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4460213 123346944 15632 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 120456 KiB
Current children cumulated memory: 62528 KiB
[startup+25.5003 s]
/proc/loadavg: 1.46 0.41 0.20 7/271 29071
/proc/meminfo: memFree=129629028/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=135912 memory=86024 CPUtime=25.38 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 53658 0 0 0 2527 11 0 0 20 0 3 0 4460212 139173888 21506 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 33978 21506 2998 3035 0 25283 0
[pid=28942/tid=28958] ppid=28934 vsize=135912 memory=81532 CPUtime=25.37 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 51988 0 0 0 2526 11 0 0 20 0 3 0 4460213 139173888 21506 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=135912 memory=11628 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4460213 139173888 21506 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 135912 KiB
Current children cumulated memory: 86024 KiB
[startup+51.1062 s]
/proc/loadavg: 2.33 0.70 0.30 7/270 29124
/proc/meminfo: memFree=129416864/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=172220 memory=130092 CPUtime=50.88 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 100905 0 0 0 5063 25 0 0 20 0 3 0 4460212 176353280 32523 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 43055 32523 2998 3035 0 37626 0
[pid=28942/tid=28958] ppid=28934 vsize=172220 memory=11628 CPUtime=50.87 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 99169 0 0 0 5062 25 0 0 20 0 3 0 4460213 176353280 32523 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=172220 memory=12420 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4460213 176353280 32523 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 172220 KiB
Current children cumulated memory: 130092 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.30 0.53 7/270 29134
/proc/meminfo: memFree=129244080/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=291392 memory=202976 CPUtime=101.86 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 179228 0 0 0 10140 46 0 0 20 0 3 0 4460212 298385408 50744 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 72848 50744 2998 3035 0 56311 0
[pid=28942/tid=28958] ppid=28934 vsize=291392 memory=-7017853435446911613 CPUtime=101.85 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 177425 0 0 0 10139 46 0 0 20 0 3 0 4460213 298385408 50744 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=291392 memory=11628 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4460213 298385408 50744 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 291392 KiB
Current children cumulated memory: 202976 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 1.90 0.79 7/270 29144
/proc/meminfo: memFree=129141336/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=350396 memory=278552 CPUtime=161.63 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 257631 0 0 0 16097 66 0 0 20 0 3 0 4460212 358805504 69638 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 87599 69638 2998 3035 0 75787 0
[pid=28942/tid=28958] ppid=28934 vsize=350396 memory=231532 CPUtime=161.6 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 255783 0 0 0 16094 66 0 0 20 0 3 0 4460213 358805504 69638 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=350396 memory=2340 CPUtime=0 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4460213 358805504 69638 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 350396 KiB
################
# More data... #
################
/proc/28942/statm: 506725 477225 2998 3035 0 486806 0
[pid=28942/tid=28958] ppid=28934 vsize=2026900 memory=1860904 CPUtime=3391.61 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 4645934 0 0 0 338486 675 0 0 20 0 3 0 4460213 2075545600 477225 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=2026900 memory=1908084 CPUtime=0.02 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 161 0 0 0 1 1 0 0 20 0 3 0 4460213 2075545600 477225 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3391.81 s
Current children cumulated vsize: 2026900 KiB
Current children cumulated memory: 1908900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.05 7/264 30699
/proc/meminfo: memFree=125238500/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=2059944 memory=1929764 CPUtime=3451.64 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4738668 0 0 0 344476 688 0 0 20 0 3 0 4460212 2109382656 482441 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 514986 482441 2998 3035 0 495899 0
[pid=28942/tid=28958] ppid=28934 vsize=2059944 memory=1860904 CPUtime=3451.43 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 4735735 0 0 0 344460 683 0 0 20 0 3 0 4460213 2109382656 482441 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=2059944 memory=12856 CPUtime=0.02 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 163 0 0 0 1 1 0 0 20 0 3 0 4460213 2109382656 482441 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 2059944 KiB
Current children cumulated memory: 1929764 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.05 7/265 30878
/proc/meminfo: memFree=125185600/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=2073848 memory=1946892 CPUtime=3511.48 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4809803 0 0 0 350452 696 0 0 20 0 3 0 4460212 2123620352 486723 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 518462 486723 2998 3035 0 499967 0
[pid=28942/tid=28958] ppid=28934 vsize=2073848 memory=1946760 CPUtime=3511.28 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 4806860 0 0 0 350437 691 0 0 20 0 3 0 4460213 2123620352 486723 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=2073848 memory=1946760 CPUtime=0.02 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 165 0 0 0 1 1 0 0 20 0 3 0 4460213 2123620352 486723 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 2073848 KiB
Current children cumulated memory: 1946892 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.06 7/265 30888
/proc/meminfo: memFree=125129708/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=2085692 memory=1964044 CPUtime=3571.32 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4881201 0 0 0 356427 705 0 0 20 0 3 0 4460212 2135748608 491011 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 521423 491011 2998 3035 0 503697 0
[pid=28942/tid=28958] ppid=28934 vsize=2085692 memory=12856 CPUtime=3571.11 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 4878240 0 0 0 356411 700 0 0 20 0 3 0 4460213 2135748608 491011 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=2085692 memory=11628 CPUtime=0.02 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 167 0 0 0 1 1 0 0 20 0 3 0 4460213 2135748608 491011 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3571.32 s
Current children cumulated vsize: 2085692 KiB
Current children cumulated memory: 1964044 KiB
[startup+3600.83 s]
# the end of solver process 28942 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.64 s, system=7.17029 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.23 4.16 4.07 7/265 30888
/proc/meminfo: memFree=125126112/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=2088332 memory=1966328 CPUtime=3573.03 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4885594 0 0 0 356597 706 0 0 20 0 3 0 4460212 2138451968 491582 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 522083 491582 2998 3035 0 504357 0
[pid=28942/tid=28958] ppid=28934 vsize=2088332 memory=-7594032712773623935 CPUtime=3572.82 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 4882618 0 0 0 356581 701 0 0 20 0 3 0 4460213 2138451968 491582 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=2088332 memory=-7738211608633243838 CPUtime=0.02 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 170 0 0 0 1 1 0 0 20 0 3 0 4460213 2138451968 491582 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 2088332 KiB
Current children cumulated memory: 1966328 KiB
[startup+3590.4 s]
/proc/loadavg: 4.21 4.16 4.06 7/265 30890
/proc/meminfo: memFree=125122612/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=2089356 memory=1968092 CPUtime=3579.41 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4890619 0 0 0 357234 707 0 0 20 0 3 0 4460212 2139500544 492023 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 522339 492023 2998 3035 0 504661 0
[pid=28942/tid=28958] ppid=28934 vsize=2089356 memory=5859843171038416976 CPUtime=3579.19 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 4887638 0 0 0 357217 702 0 0 20 0 3 0 4460213 2139500544 492023 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=2089356 memory=11628 CPUtime=0.02 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 170 0 0 0 1 1 0 0 20 0 3 0 4460213 2139500544 492023 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3579.41 s
Current children cumulated vsize: 2089356 KiB
Current children cumulated memory: 1968092 KiB
[startup+3596.8 s]
/proc/loadavg: 4.20 4.15 4.06 7/265 30890
/proc/meminfo: memFree=125118248/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=2090964 memory=1970508 CPUtime=3585.78 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4892566 0 0 0 357871 707 0 0 20 0 3 0 4460212 2141147136 492627 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 522741 492627 2998 3035 0 505207 0
[pid=28942/tid=28958] ppid=28934 vsize=2090964 memory=1960540 CPUtime=3585.57 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 4889585 0 0 0 357855 702 0 0 20 0 3 0 4460213 2141147136 492627 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=2090964 memory=1960644 CPUtime=0.02 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 170 0 0 0 1 1 0 0 20 0 3 0 4460213 2141147136 492627 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 2090964 KiB
Current children cumulated memory: 1970508 KiB
[startup+3598.4 s]
/proc/loadavg: 4.26 4.17 4.07 6/265 30891
/proc/meminfo: memFree=125117288/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=2090964 memory=1970664 CPUtime=3587.38 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4921752 0 0 0 358029 709 0 0 20 0 3 0 4460212 2141147136 492666 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 522741 492666 2998 3035 0 505207 0
[pid=28942/tid=28958] ppid=28934 vsize=2090964 memory=-7594032712773623935 CPUtime=3587.17 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 4918766 0 0 0 358013 704 0 0 20 0 3 0 4460213 2141147136 492666 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=2090964 memory=1970664 CPUtime=0.02 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 170 0 0 0 1 1 0 0 20 0 3 0 4460213 2141147136 492666 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3587.38 s
Current children cumulated vsize: 2090964 KiB
Current children cumulated memory: 1970664 KiB
[startup+3600 s]*
/proc/loadavg: 4.26 4.17 4.07 6/264 30938
/proc/meminfo: memFree=125781292/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=1886624 memory=1766960 CPUtime=3588.98 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4948067 0 0 0 358186 712 0 0 20 0 3 0 4460212 1931902976 441740 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 471656 441740 2998 3035 0 454122 0
[pid=28942/tid=28958] ppid=28934 vsize=1886624 memory=-6000919494214642796 CPUtime=3588.77 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 4945080 0 0 0 358170 707 0 0 20 0 3 0 4460213 1931902976 441740 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=1886624 memory=7412 CPUtime=0.02 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 170 0 0 0 1 1 0 0 20 0 3 0 4460213 1931902976 441740 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3588.98 s
Current children cumulated vsize: 1886624 KiB
Current children cumulated memory: 1766960 KiB
[startup+3600.4 s]
/proc/loadavg: 4.26 4.17 4.07 6/264 30938
/proc/meminfo: memFree=125781292/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=1820216 memory=1700552 CPUtime=3589.37 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4948276 0 0 0 358225 712 0 0 20 0 3 0 4460212 1863901184 425138 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 455054 425138 2998 3035 0 437520 0
[pid=28942/tid=28958] ppid=28934 vsize=1820216 memory=1832 CPUtime=3589.16 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 4945289 0 0 0 358209 707 0 0 20 0 3 0 4460213 1863901184 425138 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=1820216 memory=1980 CPUtime=0.02 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 170 0 0 0 1 1 0 0 20 0 3 0 4460213 1863901184 425138 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3589.37 s
Current children cumulated vsize: 1820216 KiB
Current children cumulated memory: 1700552 KiB
[startup+3600.8 s]
/proc/loadavg: 4.26 4.17 4.07 6/264 30938
/proc/meminfo: memFree=125781292/131524600 swapFree=131071996/131071996
[pid=28942] ppid=28934 vsize=1146748 memory=1109136 CPUtime=3589.78 cores=4,6
/proc/28942/stat : 28942 (fscip) S 28934 28942 28879 0 -1 1077936128 4948598 0 0 0 358264 714 0 0 20 0 3 0 4460212 1174269952 277482 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
/proc/28942/statm: 286467 277284 2998 3035 0 282579 0
[pid=28942/tid=28958] ppid=28934 vsize=1144988 memory=4780 CPUtime=3589.56 cores=4,6
/proc/28942/task/28958/stat : 28958 (fscip) R 28934 28942 28879 0 -1 4194368 4945611 0 0 0 358247 709 0 0 20 0 3 0 4460213 1172467712 277086 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
[pid=28942/tid=28960] ppid=28934 vsize=1144988 memory=1835088 CPUtime=0.02 cores=4,6
/proc/28942/task/28960/stat : 28960 (fscip) S 28934 28942 28879 0 -1 1077936192 170 0 0 0 1 1 0 0 20 0 3 0 4460213 1172467712 277086 134679101440 4194304 16623229 140736838271600 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33071104 140736838280214 140736838280330 140736838280330 140736838287344 0
Current children cumulated CPU time: 3589.78 s
Current children cumulated vsize: 1146748 KiB
Current children cumulated memory: 1109136 KiB
Child status: 0
Real time (s): 3600.83
CPU time (s): 3589.81
CPU user time (s): 3582.64
CPU system time (s): 7.17029
CPU usage (%): 99.6941
Max. virtual memory (cumulated for all children) (KiB): 2090964
Max. memory (cumulated for all children) (KiB): 1971296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.64
system time used= 7.17029
maximum resident set size= 1971296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4948908
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= 9941
involuntary context switches= 8315
# summary of solver processes directly reported to runsolver:
# pid: 28942
# total CPU time (s): 3589.81
# total CPU user time (s): 3582.64
# total CPU system time (s): 7.17029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07649 second user time and 18.9511 second system time
The end
Begin job on nodeC027 at 2024-07-31 00:29:57
IDJOB=4464024
IDBENCH=147613
IDSOLVER=3092
FILE ID=nodeC027/4464024-1722378597
RUNJOBID= nodeC027-1722378597-28890
SLURM_JOB_ID= 8249850
Free space on /tmp= 890076 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.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-4464024-1722378597/watcher-4464024-1722378597 -o /tmp/evaluation-result-4464024-1722378597/solver-4464024-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28890 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464024-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff
RANDOM SEED=576650998
nodeC027.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 : 3591.401
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.88
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 : 3647.251
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 : 7006.31
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 : 3278.238
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.88
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 : 3606.398
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 : 7006.31
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 : 3540.995
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.88
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 : 3618.464
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 : 7006.31
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 : 3416.717
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.88
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 : 3557.408
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 : 7006.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 130105368 kB
MemAvailable: 129903472 kB
Buffers: 84348 kB
Cached: 550284 kB
SwapCached: 0 kB
Active: 243052 kB
Inactive: 704124 kB
Active(anon): 1428 kB
Inactive(anon): 332776 kB
Active(file): 241624 kB
Inactive(file): 371348 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 116944 kB
Writeback: 4 kB
AnonPages: 311628 kB
Mapped: 88432 kB
Shmem: 21336 kB
KReclaimable: 49560 kB
Slab: 130044 kB
SReclaimable: 49560 kB
SUnreclaim: 80484 kB
KernelStack: 3920 kB
PageTables: 9348 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 745048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 188416 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: 150228 kB
DirectMap2M: 9060352 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC027 at 2024-07-31 01:29:58