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 = 25006080, getVmSize() = 25006080, SCIPgetMemUsed() = 2571780, SCIPgetMemTotal() = 3362188, SCIPgetMemExternEstim() = 1404252
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 18139818, getVmSize() = 29413376, SCIPgetMemUsed() = 3067487, SCIPgetMemTotal() = 6672863, SCIPgetMemExternEstim() = 1404252
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4464550-1722385800
0.00/0.02 c Variables : 405 (405 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 1080
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 405 (405 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 1080
0.00/0.02 c Constraints : Number
0.00/0.02 c logicor : 1080
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.57/5.63 c 6 1058 8 1 - 0.0000 -
10.66/10.72 c 11 3365 2308 1 - 0.0000 -
15.65/15.77 c 16 6455 5398 1 - 0.0000 -
20.74/20.86 c 21 9930 8873 1 - 0.0000 -
25.82/25.94 c 26 13566 12509 1 - 0.0000 -
31.01/31.14 c 31 17547 16490 1 - 0.0000 -
36.08/36.26 c 36 21348 20291 1 - 0.0000 -
41.17/41.33 c 41 24731 23674 1 - 0.0000 -
46.26/46.44 c 46 28487 27430 1 - 0.0000 -
51.34/51.58 c 52 32463 31406 1 - 0.0000 -
56.44/56.64 c 57 36016 34959 1 - 0.0000 -
61.51/61.71 c 62 39894 38837 1 - 0.0000 -
66.61/66.89 c 67 43943 42886 1 - 0.0000 -
71.69/71.95 c 72 47633 46576 1 - 0.0000 -
76.78/77.10 c 77 51191 50134 1 - 0.0000 -
81.86/82.17 c 82 55356 54299 1 - 0.0000 -
87.04/87.32 c 87 59487 58430 1 - 0.0000 -
92.13/92.43 c 92 62758 61701 1 - 0.0000 -
97.21/97.53 c 98 66321 65264 1 - 0.0000 -
102.30/102.61 c 103 69819 68762 1 - 0.0000 -
107.28/107.68 c 108 73424 72367 1 - 0.0000 -
112.37/112.79 c 113 77234 76177 1 - 0.0000 -
117.46/117.85 c 118 81036 79979 1 - 0.0000 -
122.54/122.93 c 123 84961 83904 1 - 0.0000 -
127.52/127.98 c 128 88571 87514 1 - 0.0000 -
132.62/133.03 c 133 92342 91285 1 - 0.0000 -
137.70/138.14 c 138 96000 94940 1 - 0.0000 -
142.78/143.27 c 143 99769 98709 1 - 0.0000 -
147.87/148.33 c 148 103616 102556 1 - 0.0000 -
152.96/153.41 c 153 107527 106467 1 - 0.0000 -
158.03/158.54 c 159 111359 110299 1 - 0.0000 -
163.12/163.68 c 164 115223 114163 1 - 0.0000 -
168.31/168.83 c 169 119146 118077 1 - 0.0000 -
173.30/173.89 c 174 122857 121780 1 - 0.0000 -
178.38/178.98 c 179 126773 125694 1 - 0.0000 -
183.57/184.12 c 184 130686 129607 1 - 0.0000 -
188.75/189.31 c 189 134639 133554 1 - 0.0000 -
193.84/194.44 c 194 138614 137529 1 - 0.0000 -
198.82/199.49 c 200 142288 141203 1 - 0.0000 -
203.90/204.59 c 205 145964 144871 1 - 0.0000 -
208.99/209.68 c 210 149737 148633 1 - 0.0000 -
214.08/214.76 c 215 153551 152447 1 - 0.0000 -
219.16/219.84 c 220 157306 156202 1 - 0.0000 -
224.25/224.91 c 225 160929 159817 1 - 0.0000 -
229.23/229.99 c 230 164656 163518 1 - 0.0000 -
234.33/235.07 c 235 168255 167102 1 - 0.0000 -
239.41/240.12 c 240 171842 170689 1 - 0.0000 -
244.40/245.17 c 245 175648 174495 1 - 0.0000 -
249.48/250.23 c 250 179279 178126 1 - 0.0000 -
254.56/255.32 c 255 183095 181942 1 - 0.0000 -
259.75/260.52 c 261 187053 185900 1 - 0.0000 -
264.93/265.78 c 266 190984 189831 1 - 0.0000 -
270.02/270.84 c 271 194743 193506 1 - 0.0000 -
275.10/275.91 c 276 198597 197360 1 - 0.0000 -
280.09/280.98 c 281 202424 201174 1 - 0.0000 -
285.18/286.04 c 286 205999 204745 1 - 0.0000 -
290.26/291.10 c 291 209776 208500 1 - 0.0000 -
295.25/296.18 c 296 213663 212372 1 - 0.0000 -
300.43/301.32 c 301 217319 216020 1 - 0.0000 -
305.51/306.40 c 306 220961 219596 1 - 0.0000 -
310.50/311.49 c 312 224551 223186 1 - 0.0000 -
315.69/316.63 c 317 228365 227000 1 - 0.0000 -
320.77/321.70 c 322 232133 230701 1 - 0.0000 -
325.75/326.75 c 327 235828 234396 1 - 0.0000 -
330.84/331.84 c 332 239447 237968 1 - 0.0000 -
335.83/336.89 c 337 242893 241381 1 - 0.0000 -
340.92/341.98 c 342 246593 245045 1 - 0.0000 -
346.00/347.04 c 347 250208 248654 1 - 0.0000 -
350.99/352.09 c 352 253894 252340 1 - 0.0000 -
356.07/357.17 c 357 257632 256039 1 - 0.0000 -
361.16/362.23 c 362 261511 259903 1 - 0.0000 -
366.24/367.37 c 367 265194 263557 1 - 0.0000 -
371.32/372.47 c 372 268942 267287 1 - 0.0000 -
376.41/377.52 c 378 272889 271225 1 - 0.0000 -
381.39/382.57 c 383 276466 274802 1 - 0.0000 -
386.48/387.65 c 388 280104 278400 1 - 0.0000 -
391.76/392.91 c 393 283936 282196 1 - 0.0000 -
396.75/397.99 c 398 287861 285387 1 - 0.0000 -
401.84/403.05 c 403 291519 288807 1 - 0.0000 -
406.93/408.17 c 408 295169 292147 1 - 0.0000 -
412.01/413.23 c 413 298922 295533 1 - 0.0000 -
416.99/418.29 c 418 302519 298587 1 - 0.0000 -
422.08/423.35 c 423 306454 301996 1 - 0.0000 -
427.17/428.40 c 428 310745 305197 1 - 0.0000 -
432.15/433.49 c 433 315115 308374 1 - 0.0000 -
437.23/438.53 c 439 318142 311230 1 - 0.0000 -
442.22/443.59 c 444 321421 314234 1 - 0.0000 -
447.41/448.70 c 449 325299 318112 1 - 0.0000 -
452.40/453.76 c 454 329041 321762 1 - 0.0000 -
457.48/458.83 c 459 332753 325465 1 - 0.0000 -
462.46/463.88 c 464 336518 329214 1 - 0.0000 -
467.54/468.94 c 469 340334 332991 1 - 0.0000 -
472.64/474.05 c 474 344204 336817 1 - 0.0000 -
477.73/479.12 c 479 347909 340418 1 - 0.0000 -
482.80/484.27 c 484 351676 344185 1 - 0.0000 -
487.89/489.37 c 489 355671 348180 1 - 0.0000 -
492.97/494.42 c 494 359413 351922 1 - 0.0000 -
498.06/499.50 c 500 363470 355970 1 - 0.0000 -
503.25/504.71 c 505 367433 359913 1 - 0.0000 -
508.22/509.79 c 510 370928 363387 1 - 0.0000 -
513.41/514.91 c 515 374723 367143 1 - 0.0000 -
518.51/520.04 c 520 378405 370823 1 - 0.0000 -
523.49/525.08 c 525 382090 374471 1 - 0.0000 -
528.58/530.14 c 530 385863 378242 1 - 0.0000 -
533.76/535.33 c 535 389617 381994 1 - 0.0000 -
538.75/540.38 c 540 393236 385566 1 - 0.0000 -
543.92/545.52 c 546 396938 389259 1 - 0.0000 -
549.01/550.60 c 551 400631 392921 1 - 0.0000 -
554.10/555.72 c 556 404149 396373 1 - 0.0000 -
559.19/560.87 c 561 407971 400195 1 - 0.0000 -
564.27/565.97 c 566 411765 403989 1 - 0.0000 -
569.36/571.04 c 571 415294 407466 1 - 0.0000 -
574.34/576.09 c 576 418710 410870 1 - 0.0000 -
579.43/581.19 c 581 422283 414437 1 - 0.0000 -
584.61/586.33 c 586 426158 418132 1 - 0.0000 -
589.69/591.42 c 591 429923 421735 1 - 0.0000 -
594.78/596.51 c 597 433583 425383 1 - 0.0000 -
599.86/601.67 c 602 437237 429001 1 - 0.0000 -
604.95/606.78 c 607 441082 432830 1 - 0.0000 -
610.03/611.88 c 612 444871 436610 1 - 0.0000 -
615.12/616.97 c 617 448501 440203 1 - 0.0000 -
620.21/622.03 c 622 452073 443756 1 - 0.0000 -
625.30/627.11 c 627 455674 447357 1 - 0.0000 -
630.27/632.17 c 632 459522 451173 1 - 0.0000 -
635.36/637.26 c 637 463299 454950 1 - 0.0000 -
640.44/642.34 c 642 466859 458413 1 - 0.0000 -
645.53/647.41 c 647 470551 462105 1 - 0.0000 -
650.51/652.48 c 652 474276 465830 1 - 0.0000 -
655.60/657.56 c 658 478148 469661 1 - 0.0000 -
660.68/662.63 c 663 481950 473463 1 - 0.0000 -
665.76/667.74 c 668 485659 477150 1 - 0.0000 -
670.85/672.80 c 673 489067 480552 1 - 0.0000 -
675.94/677.92 c 678 492611 484092 1 - 0.0000 -
680.92/682.97 c 683 495944 487404 1 - 0.0000 -
686.02/688.02 c 688 499576 491007 1 - 0.0000 -
691.10/693.16 c 693 502964 494377 1 - 0.0000 -
696.18/698.22 c 698 506400 497797 1 - 0.0000 -
701.17/703.29 c 703 509819 501152 1 - 0.0000 -
706.25/708.38 c 708 513088 504378 1 - 0.0000 -
711.34/713.45 c 713 516541 507825 1 - 0.0000 -
716.43/718.52 c 719 519996 511222 1 - 0.0000 -
721.51/723.60 c 724 523307 514476 1 - 0.0000 -
726.50/728.66 c 729 526753 517910 1 - 0.0000 -
731.68/733.81 c 734 530421 521578 1 - 0.0000 -
736.77/738.92 c 739 534123 525241 1 - 0.0000 -
741.76/743.97 c 744 537649 528765 1 - 0.0000 -
746.84/749.03 c 749 541498 532478 1 - 0.0000 -
751.93/754.12 c 754 545049 535872 1 - 0.0000 -
757.01/759.22 c 759 548305 539085 1 - 0.0000 -
762.09/764.32 c 764 551785 542514 1 - 0.0000 -
767.19/769.41 c 769 555361 546084 1 - 0.0000 -
772.26/774.50 c 775 558931 549654 1 - 0.0000 -
777.25/779.59 c 780 562597 553288 1 - 0.0000 -
782.44/784.74 c 785 566110 556776 1 - 0.0000 -
787.53/789.89 c 790 569608 560233 1 - 0.0000 -
792.72/795.02 c 795 573353 563978 1 - 0.0000 -
797.70/800.10 c 800 576758 567377 1 - 0.0000 -
802.78/805.19 c 805 580424 571043 1 - 0.0000 -
807.97/810.31 c 810 584086 574705 1 - 0.0000 -
813.05/815.41 c 815 587805 578403 1 - 0.0000 -
818.13/820.50 c 821 591519 582101 1 - 0.0000 -
823.13/825.57 c 826 595088 585670 1 - 0.0000 -
828.30/830.71 c 831 598727 589309 1 - 0.0000 -
833.50/835.95 c 836 602669 593251 1 - 0.0000 -
838.58/841.01 c 841 606021 596595 1 - 0.0000 -
843.67/846.10 c 846 609458 599960 1 - 0.0000 -
848.66/851.17 c 851 612911 603407 1 - 0.0000 -
853.73/856.22 c 856 616438 606930 1 - 0.0000 -
858.82/861.37 c 861 620098 610573 1 - 0.0000 -
863.91/866.42 c 866 623622 614091 1 - 0.0000 -
868.89/871.47 c 871 627037 617474 1 - 0.0000 -
873.98/876.55 c 877 630655 621064 1 - 0.0000 -
879.07/881.65 c 882 634351 624739 1 - 0.0000 -
884.15/886.73 c 887 637882 628261 1 - 0.0000 -
889.14/891.78 c 892 641461 631826 1 - 0.0000 -
894.23/896.87 c 897 645211 635576 1 - 0.0000 -
899.31/901.93 c 902 648857 639190 1 - 0.0000 -
904.30/906.98 c 907 652395 642710 1 - 0.0000 -
909.38/912.05 c 912 656107 646416 1 - 0.0000 -
914.46/917.11 c 917 659700 650009 1 - 0.0000 -
919.55/922.25 c 922 663371 653651 1 - 0.0000 -
924.53/927.29 c 927 666981 657243 1 - 0.0000 -
929.62/932.36 c 932 670596 660858 1 - 0.0000 -
934.70/937.46 c 937 674085 664347 1 - 0.0000 -
939.79/942.54 c 943 677676 667932 1 - 0.0000 -
944.77/947.59 c 948 681162 671418 1 - 0.0000 -
949.86/952.65 c 953 684805 675061 1 - 0.0000 -
954.95/957.72 c 958 688137 678389 1 - 0.0000 -
959.92/962.77 c 963 691570 681822 1 - 0.0000 -
965.01/967.85 c 968 695161 685286 1 - 0.0000 -
970.20/973.00 c 973 698742 688828 1 - 0.0000 -
975.18/978.07 c 978 702319 692374 1 - 0.0000 -
980.26/983.15 c 983 705915 695948 1 - 0.0000 -
985.34/988.20 c 988 709387 699401 1 - 0.0000 -
990.42/993.33 c 993 712956 702942 1 - 0.0000 -
995.40/998.37 c 998 716619 706585 1 - 0.0000 -
1000.49/1003.43 c 1003 720028 709957 1 - 0.0000 -
1005.57/1008.59 c 1009 723580 713472 1 - 0.0000 -
1010.64/1013.68 c 1014 726785 716677 1 - 0.0000 -
1015.83/1018.80 c 1019 730512 720350 1 - 0.0000 -
1020.91/1023.97 c 1024 734251 723975 1 - 0.0000 -
1026.00/1029.07 c 1029 738071 727777 1 - 0.0000 -
1031.08/1034.14 c 1034 741407 731101 1 - 0.0000 -
1036.17/1039.20 c 1039 744961 734570 1 - 0.0000 -
1041.15/1044.26 c 1044 748529 738073 1 - 0.0000 -
1046.23/1049.36 c 1049 751823 741317 1 - 0.0000 -
1051.32/1054.47 c 1054 755455 744925 1 - 0.0000 -
1056.40/1059.59 c 1060 758942 748348 1 - 0.0000 -
1061.49/1064.65 c 1065 762415 751821 1 - 0.0000 -
1066.68/1069.80 c 1070 766186 755592 1 - 0.0000 -
1071.66/1074.86 c 1075 769753 759159 1 - 0.0000 -
1076.75/1079.98 c 1080 773406 762812 1 - 0.0000 -
1081.83/1085.03 c 1085 777101 766507 1 - 0.0000 -
1087.02/1090.20 c 1090 780908 770314 1 - 0.0000 -
1092.10/1095.32 c 1095 784646 774052 1 - 0.0000 -
1097.18/1100.43 c 1100 788307 777713 1 - 0.0000 -
1102.16/1105.48 c 1105 791820 781226 1 - 0.0000 -
1107.24/1110.57 c 1111 795469 784875 1 - 0.0000 -
1112.32/1115.68 c 1116 798892 788298 1 - 0.0000 -
1117.41/1120.74 c 1121 802373 791767 1 - 0.0000 -
1122.49/1125.82 c 1126 805841 795216 1 - 0.0000 -
1127.67/1131.00 c 1131 809273 798630 1 - 0.0000 -
1132.65/1136.10 c 1136 812796 802081 1 - 0.0000 -
1137.74/1141.16 c 1141 816274 805260 1 - 0.0000 -
1142.82/1146.24 c 1146 819699 808618 1 - 0.0000 -
1147.80/1151.29 c 1151 823339 812053 1 - 0.0000 -
1153.00/1156.49 c 1156 826732 815411 1 - 0.0000 -
1158.08/1161.57 c 1162 830213 818870 1 - 0.0000 -
1163.26/1166.73 c 1167 833836 822346 1 - 0.0000 -
1168.35/1171.82 c 1172 837246 825727 1 - 0.0000 -
1173.33/1176.89 c 1177 840717 829066 1 - 0.0000 -
1178.41/1181.95 c 1182 844033 832234 1 - 0.0000 -
1183.50/1187.07 c 1187 847399 835543 1 - 0.0000 -
1188.69/1192.22 c 1192 850802 838869 1 - 0.0000 -
1193.76/1197.31 c 1197 854370 842324 1 - 0.0000 -
1198.85/1202.40 c 1202 857825 845772 1 - 0.0000 -
1204.04/1207.60 c 1208 861594 849481 1 - 0.0000 -
1209.02/1212.69 c 1213 865055 852833 1 - 0.0000 -
1214.10/1217.75 c 1218 868437 856131 1 - 0.0000 -
1219.19/1222.88 c 1223 871809 859374 1 - 0.0000 -
1224.38/1228.00 c 1228 875347 862797 1 - 0.0000 -
1229.35/1233.04 c 1233 878961 866285 1 - 0.0000 -
1234.44/1238.10 c 1238 882761 869583 1 - 0.0000 -
1239.51/1243.21 c 1243 886155 872475 1 - 0.0000 -
1244.50/1248.28 c 1248 889973 875577 1 - 0.0000 -
1249.59/1253.33 c 1253 892451 878026 1 - 0.0000 -
1254.57/1258.39 c 1258 895885 881212 1 - 0.0000 -
1259.65/1263.45 c 1263 899600 884771 1 - 0.0000 -
1264.74/1268.56 c 1269 903060 887978 1 - 0.0000 -
1269.83/1273.64 c 1274 906501 891313 1 - 0.0000 -
1274.81/1278.69 c 1279 909756 894529 1 - 0.0000 -
1279.90/1283.76 c 1284 913059 897650 1 - 0.0000 -
1284.98/1288.84 c 1289 916548 901020 1 - 0.0000 -
1290.06/1293.94 c 1294 919761 904149 1 - 0.0000 -
1295.15/1299.00 c 1299 923294 907396 1 - 0.0000 -
1300.14/1304.05 c 1304 926626 910349 1 - 0.0000 -
1305.21/1309.15 c 1309 930073 913578 1 - 0.0000 -
1310.30/1314.21 c 1314 933694 917000 1 - 0.0000 -
1315.29/1319.27 c 1319 937342 920609 1 - 0.0000 -
1320.36/1324.32 c 1324 940973 924183 1 - 0.0000 -
1325.45/1329.40 c 1329 944231 927284 1 - 0.0000 -
1330.43/1334.47 c 1334 947743 930741 1 - 0.0000 -
1335.52/1339.53 c 1340 950955 933825 1 - 0.0000 -
1340.51/1344.58 c 1345 954830 937169 1 - 0.0000 -
1345.60/1349.66 c 1350 957996 940144 1 - 0.0000 -
1350.68/1354.78 c 1355 961355 943451 1 - 0.0000 -
1355.77/1359.84 c 1360 964946 946818 1 - 0.0000 -
1360.76/1364.89 c 1365 968903 950263 1 - 0.0000 -
1365.84/1369.99 c 1370 972252 953499 1 - 0.0000 -
1370.93/1375.03 c 1375 975841 956811 1 - 0.0000 -
1376.01/1380.11 c 1380 979514 960242 1 - 0.0000 -
1381.00/1385.16 c 1385 983124 963333 1 - 0.0000 -
1386.08/1390.23 c 1390 986631 966816 1 - 0.0000 -
1391.06/1395.28 c 1395 989970 970144 1 - 0.0000 -
1396.15/1400.34 c 1400 993363 973413 1 - 0.0000 -
1401.23/1405.40 c 1405 996756 976630 1 - 0.0000 -
1406.21/1410.46 c 1410 1000265 979825 1 - 0.0000 -
1411.30/1415.56 c 1416 1003657 983054 1 - 0.0000 -
1416.39/1420.64 c 1421 1007247 986483 1 - 0.0000 -
1421.47/1425.71 c 1426 1010633 989756 1 - 0.0000 -
1426.56/1430.83 c 1431 1013742 992813 1 - 0.0000 -
1431.65/1435.90 c 1436 1017127 995878 1 - 0.0000 -
1436.64/1440.96 c 1441 1020722 999340 1 - 0.0000 -
1441.72/1446.01 c 1446 1023947 1002385 1 - 0.0000 -
1446.81/1451.13 c 1451 1027257 1005548 1 - 0.0000 -
1451.79/1456.19 c 1456 1031396 1009124 1 - 0.0000 -
1456.87/1461.25 c 1461 1034646 1012175 1 - 0.0000 -
1461.96/1466.32 c 1466 1037654 1014977 1 - 0.0000 -
1467.04/1471.40 c 1471 1040533 1017602 1 - 0.0000 -
1472.03/1476.45 c 1476 1043760 1020557 1 - 0.0000 -
1477.12/1481.57 c 1482 1046635 1023340 1 - 0.0000 -
1482.20/1486.67 c 1487 1050303 1026565 1 - 0.0000 -
1487.29/1491.76 c 1492 1053160 1029308 1 - 0.0000 -
1492.37/1496.83 c 1497 1056488 1032406 1 - 0.0000 -
1497.35/1501.89 c 1502 1060117 1035638 1 - 0.0000 -
1502.45/1507.00 c 1507 1063289 1038536 1 - 0.0000 -
1507.53/1512.04 c 1512 1066738 1041830 1 - 0.0000 -
1512.52/1517.10 c 1517 1070373 1045454 1 - 0.0000 -
1517.69/1522.21 c 1522 1074242 1049320 1 - 0.0000 -
1522.78/1527.30 c 1527 1077884 1052956 1 - 0.0000 -
1527.87/1532.44 c 1532 1081641 1056708 1 - 0.0000 -
1532.96/1537.52 c 1538 1085464 1060525 1 - 0.0000 -
1538.13/1542.72 c 1543 1089303 1064364 1 - 0.0000 -
1543.23/1547.81 c 1548 1093023 1068000 1 - 0.0000 -
1548.21/1552.87 c 1553 1096711 1071487 1 - 0.0000 -
1553.29/1557.93 c 1558 1100420 1075176 1 - 0.0000 -
1558.48/1563.14 c 1563 1104285 1078951 1 - 0.0000 -
1563.56/1568.25 c 1568 1107976 1082580 1 - 0.0000 -
1568.65/1573.33 c 1573 1111799 1086312 1 - 0.0000 -
1573.73/1578.42 c 1578 1115404 1089835 1 - 0.0000 -
1578.82/1583.54 c 1584 1119175 1093522 1 - 0.0000 -
1584.10/1588.85 c 1589 1123102 1097424 1 - 0.0000 -
1589.19/1593.95 c 1594 1126849 1101068 1 - 0.0000 -
1594.48/1599.21 c 1599 1130721 1104925 1 - 0.0000 -
1599.56/1604.33 c 1604 1134464 1108619 1 - 0.0000 -
1604.64/1609.44 c 1609 1138111 1112223 1 - 0.0000 -
1609.64/1614.49 c 1614 1141732 1115752 1 - 0.0000 -
1614.71/1619.58 c 1620 1145323 1119161 1 - 0.0000 -
1619.80/1624.66 c 1625 1148909 1122698 1 - 0.0000 -
1624.89/1629.73 c 1630 1152751 1126204 1 - 0.0000 -
1629.97/1634.80 c 1635 1156413 1129695 1 - 0.0000 -
1634.96/1639.89 c 1640 1160150 1133179 1 - 0.0000 -
1640.04/1644.94 c 1645 1163965 1136521 1 - 0.0000 -
1645.14/1650.03 c 1650 1167282 1139509 1 - 0.0000 -
1650.32/1655.20 c 1655 1171011 1143233 1 - 0.0000 -
1655.31/1660.29 c 1660 1174535 1146641 1 - 0.0000 -
1660.39/1665.34 c 1665 1177876 1149738 1 - 0.0000 -
1665.37/1670.40 c 1670 1181601 1153271 1 - 0.0000 -
1670.46/1675.45 c 1675 1185356 1156735 1 - 0.0000 -
1675.54/1680.51 c 1681 1188826 1160095 1 - 0.0000 -
1680.53/1685.57 c 1686 1192474 1163458 1 - 0.0000 -
1685.71/1690.70 c 1691 1196081 1167018 1 - 0.0000 -
1690.80/1695.82 c 1696 1199681 1170618 1 - 0.0000 -
1695.79/1700.87 c 1701 1203358 1174280 1 - 0.0000 -
1700.87/1705.96 c 1706 1207095 1178003 1 - 0.0000 -
1705.96/1711.05 c 1711 1210445 1181246 1 - 0.0000 -
1711.05/1716.11 c 1716 1214085 1184576 1 - 0.0000 -
1716.03/1721.17 c 1721 1217527 1187869 1 - 0.0000 -
1721.11/1726.22 c 1726 1221033 1191339 1 - 0.0000 -
1726.20/1731.35 c 1731 1224463 1194580 1 - 0.0000 -
1731.28/1736.41 c 1736 1228025 1198033 1 - 0.0000 -
1736.27/1741.49 c 1742 1231482 1201318 1 - 0.0000 -
1741.35/1746.59 c 1747 1234941 1204689 1 - 0.0000 -
1746.44/1751.65 c 1752 1238390 1208047 1 - 0.0000 -
1751.63/1756.80 c 1757 1242126 1211736 1 - 0.0000 -
1756.71/1761.96 c 1762 1245691 1215198 1 - 0.0000 -
1761.80/1767.03 c 1767 1249278 1218638 1 - 0.0000 -
1766.79/1772.09 c 1772 1252797 1221940 1 - 0.0000 -
1771.96/1777.22 c 1777 1256611 1225659 1 - 0.0000 -
1776.95/1782.27 c 1782 1260237 1229120 1 - 0.0000 -
1782.04/1787.32 c 1787 1263806 1232516 1 - 0.0000 -
1787.12/1792.40 c 1792 1267416 1235825 1 - 0.0000 -
1792.21/1797.50 c 1798 1271308 1239556 1 - 0.0000 -
1797.20/1802.58 c 1803 1275242 1243403 1 - 0.0000 -
1802.28/1807.63 c 1808 1279232 1246944 1 - 0.0000 -
1807.36/1812.71 c 1813 1282588 1250129 1 - 0.0000 -
1812.35/1817.78 c 1818 1286279 1253581 1 - 0.0000 -
1817.54/1822.93 c 1823 1290201 1257110 1 - 0.0000 -
1822.63/1828.09 c 1828 1293861 1260730 1 - 0.0000 -
1827.71/1833.17 c 1833 1297481 1264235 1 - 0.0000 -
1832.79/1838.24 c 1838 1301056 1267794 1 - 0.0000 -
1837.97/1843.42 c 1843 1304825 1271474 1 - 0.0000 -
1843.06/1848.51 c 1849 1309097 1275125 1 - 0.0000 -
1848.05/1853.57 c 1854 1312661 1278320 1 - 0.0000 -
1853.13/1858.64 c 1859 1315668 1281286 1 - 0.0000 -
1858.22/1863.70 c 1864 1319284 1284902 1 - 0.0000 -
1863.21/1868.77 c 1869 1322831 1288400 1 - 0.0000 -
1868.30/1873.83 c 1874 1326265 1291781 1 - 0.0000 -
1873.38/1878.92 c 1879 1329839 1295355 1 - 0.0000 -
1878.47/1884.04 c 1884 1333493 1299009 1 - 0.0000 -
1883.46/1889.09 c 1889 1336984 1302491 1 - 0.0000 -
1888.54/1894.19 c 1894 1340615 1306086 1 - 0.0000 -
1893.62/1899.25 c 1899 1344133 1309586 1 - 0.0000 -
1898.70/1904.38 c 1904 1347721 1313145 1 - 0.0000 -
1903.79/1909.46 c 1909 1351016 1316375 1 - 0.0000 -
1908.88/1914.56 c 1915 1354475 1319793 1 - 0.0000 -
1913.97/1919.63 c 1920 1358070 1323275 1 - 0.0000 -
1918.95/1924.68 c 1925 1360973 1326163 1 - 0.0000 -
1924.13/1929.88 c 1930 1364682 1329767 1 - 0.0000 -
1929.22/1934.94 c 1935 1368285 1333364 1 - 0.0000 -
1934.31/1940.09 c 1940 1372077 1337150 1 - 0.0000 -
1939.39/1945.18 c 1945 1375700 1340764 1 - 0.0000 -
1944.48/1950.30 c 1950 1379163 1344227 1 - 0.0000 -
1949.66/1955.41 c 1955 1383041 1348105 1 - 0.0000 -
1954.85/1960.63 c 1961 1386853 1351917 1 - 0.0000 -
1960.03/1965.82 c 1966 1390637 1355701 1 - 0.0000 -
1965.12/1970.94 c 1971 1394328 1359392 1 - 0.0000 -
1970.31/1976.17 c 1976 1397963 1363027 1 - 0.0000 -
1975.39/1981.28 c 1981 1401225 1366289 1 - 0.0000 -
1980.48/1986.32 c 1986 1405251 1370315 1 - 0.0000 -
1985.46/1991.37 c 1991 1408998 1374062 1 - 0.0000 -
1990.55/1996.42 c 1996 1412738 1377802 1 - 0.0000 -
1995.53/2001.49 c 2002 1416414 1381478 1 - 0.0000 -
2000.61/2006.56 c 2007 1420088 1385152 1 - 0.0000 -
2005.70/2011.64 c 2012 1423661 1388723 1 - 0.0000 -
2010.78/2016.75 c 2017 1427304 1392366 1 - 0.0000 -
2015.88/2021.80 c 2022 1430924 1395986 1 - 0.0000 -
2020.96/2026.96 c 2027 1434629 1399691 1 - 0.0000 -
2026.05/2032.01 c 2032 1438225 1403277 1 - 0.0000 -
2031.04/2037.06 c 2037 1441895 1406944 1 - 0.0000 -
2036.12/2042.14 c 2042 1445274 1410299 1 - 0.0000 -
2041.20/2047.20 c 2047 1448735 1413760 1 - 0.0000 -
2046.19/2052.26 c 2052 1452380 1417336 1 - 0.0000 -
2051.28/2057.36 c 2057 1455841 1420792 1 - 0.0000 -
2056.36/2062.44 c 2062 1459131 1424001 1 - 0.0000 -
2061.44/2067.50 c 2068 1462625 1427495 1 - 0.0000 -
2066.44/2072.58 c 2073 1466129 1430999 1 - 0.0000 -
2071.52/2077.64 c 2078 1469968 1434838 1 - 0.0000 -
2076.61/2082.76 c 2083 1474015 1438605 1 - 0.0000 -
2081.69/2087.86 c 2088 1477473 1442008 1 - 0.0000 -
2086.78/2092.95 c 2093 1480919 1445454 1 - 0.0000 -
2091.86/2098.04 c 2098 1484303 1448838 1 - 0.0000 -
2096.85/2103.10 c 2103 1487877 1452398 1 - 0.0000 -
2101.94/2108.18 c 2108 1491628 1456149 1 - 0.0000 -
2107.02/2113.29 c 2113 1495139 1459652 1 - 0.0000 -
2112.20/2118.43 c 2118 1498976 1463486 1 - 0.0000 -
2117.29/2123.51 c 2124 1502753 1467263 1 - 0.0000 -
2122.38/2128.66 c 2129 1506506 1471016 1 - 0.0000 -
2127.47/2133.76 c 2134 1510310 1474820 1 - 0.0000 -
2132.55/2138.83 c 2139 1513995 1478505 1 - 0.0000 -
2137.63/2143.93 c 2144 1517743 1482253 1 - 0.0000 -
2142.72/2149.04 c 2149 1521546 1486056 1 - 0.0000 -
2147.81/2154.17 c 2154 1525322 1489832 1 - 0.0000 -
2152.89/2159.23 c 2159 1528972 1493479 1 - 0.0000 -
2158.08/2164.41 c 2164 1532577 1497084 1 - 0.0000 -
2163.16/2169.50 c 2170 1536334 1500841 1 - 0.0000 -
2168.35/2174.73 c 2175 1539915 1504417 1 - 0.0000 -
2173.43/2179.89 c 2180 1543694 1508196 1 - 0.0000 -
2178.63/2185.03 c 2185 1547255 1511747 1 - 0.0000 -
2183.71/2190.11 c 2190 1551056 1515548 1 - 0.0000 -
2188.79/2195.27 c 2195 1554475 1518967 1 - 0.0000 -
2193.98/2200.45 c 2200 1558172 1522664 1 - 0.0000 -
2199.06/2205.55 c 2206 1561897 1526389 1 - 0.0000 -
2204.15/2210.67 c 2211 1565628 1530120 1 - 0.0000 -
2209.24/2215.76 c 2216 1569263 1533755 1 - 0.0000 -
2214.32/2220.83 c 2221 1572879 1537371 1 - 0.0000 -
2219.41/2225.90 c 2226 1576496 1540901 1 - 0.0000 -
2224.49/2231.08 c 2231 1580259 1544652 1 - 0.0000 -
2229.68/2236.24 c 2236 1583855 1548161 1 - 0.0000 -
2234.76/2241.37 c 2241 1587591 1551897 1 - 0.0000 -
2239.84/2246.47 c 2246 1591285 1555578 1 - 0.0000 -
2244.93/2251.53 c 2252 1594957 1559247 1 - 0.0000 -
2250.02/2256.60 c 2257 1598732 1562862 1 - 0.0000 -
2255.11/2261.73 c 2262 1602484 1566614 1 - 0.0000 -
2260.18/2266.84 c 2267 1605882 1570012 1 - 0.0000 -
2265.27/2271.94 c 2272 1609514 1573644 1 - 0.0000 -
2270.47/2277.13 c 2277 1613322 1577452 1 - 0.0000 -
2275.54/2282.20 c 2282 1617045 1580984 1 - 0.0000 -
2280.63/2287.34 c 2287 1620808 1584735 1 - 0.0000 -
2285.61/2292.39 c 2292 1624624 1588512 1 - 0.0000 -
2290.70/2297.46 c 2297 1628307 1592181 1 - 0.0000 -
2295.79/2302.54 c 2303 1632082 1595956 1 - 0.0000 -
2300.88/2307.63 c 2308 1635777 1599651 1 - 0.0000 -
2305.96/2312.70 c 2313 1639254 1603039 1 - 0.0000 -
2310.94/2317.75 c 2318 1642827 1606586 1 - 0.0000 -
2316.03/2322.86 c 2323 1646470 1610173 1 - 0.0000 -
2321.12/2327.96 c 2328 1650072 1613760 1 - 0.0000 -
2326.21/2333.05 c 2333 1653594 1617200 1 - 0.0000 -
2331.30/2338.12 c 2338 1657300 1620755 1 - 0.0000 -
2336.38/2343.24 c 2343 1661052 1624450 1 - 0.0000 -
2341.46/2348.35 c 2348 1664695 1628078 1 - 0.0000 -
2346.55/2353.45 c 2353 1668277 1631603 1 - 0.0000 -
2351.73/2358.66 c 2359 1671785 1635070 1 - 0.0000 -
2356.92/2363.84 c 2364 1675394 1638676 1 - 0.0000 -
2362.01/2368.91 c 2369 1678993 1642236 1 - 0.0000 -
2366.99/2373.98 c 2374 1682674 1645774 1 - 0.0000 -
2372.07/2379.09 c 2379 1686495 1649574 1 - 0.0000 -
2377.16/2384.14 c 2384 1690147 1653226 1 - 0.0000 -
2382.24/2389.22 c 2389 1693745 1656791 1 - 0.0000 -
2387.33/2394.30 c 2394 1697219 1660248 1 - 0.0000 -
2392.32/2399.37 c 2399 1700836 1663836 1 - 0.0000 -
2397.40/2404.41 c 2404 1704428 1667401 1 - 0.0000 -
2402.48/2409.58 c 2410 1708119 1670956 1 - 0.0000 -
2407.57/2414.66 c 2415 1711652 1674421 1 - 0.0000 -
2412.66/2419.72 c 2420 1715227 1677996 1 - 0.0000 -
2417.64/2424.78 c 2425 1718782 1681490 1 - 0.0000 -
2422.73/2429.86 c 2430 1722291 1684996 1 - 0.0000 -
2427.82/2434.98 c 2435 1725947 1688580 1 - 0.0000 -
2432.91/2440.04 c 2440 1729305 1691932 1 - 0.0000 -
2438.00/2445.12 c 2445 1732909 1695506 1 - 0.0000 -
2443.07/2450.28 c 2450 1736333 1698883 1 - 0.0000 -
2448.26/2455.49 c 2456 1739987 1702537 1 - 0.0000 -
2453.34/2460.54 c 2461 1743394 1705907 1 - 0.0000 -
2458.43/2465.66 c 2466 1747176 1709668 1 - 0.0000 -
2463.52/2470.72 c 2471 1750787 1713188 1 - 0.0000 -
2468.61/2475.85 c 2476 1754403 1716762 1 - 0.0000 -
2473.69/2480.91 c 2481 1757905 1720264 1 - 0.0000 -
2478.79/2486.07 c 2486 1761610 1723957 1 - 0.0000 -
2483.87/2491.17 c 2491 1765251 1727513 1 - 0.0000 -
2488.95/2496.23 c 2496 1768796 1730992 1 - 0.0000 -
2494.04/2501.34 c 2501 1772301 1734461 1 - 0.0000 -
2499.12/2506.47 c 2506 1775890 1738005 1 - 0.0000 -
2504.31/2511.63 c 2512 1779501 1741596 1 - 0.0000 -
2509.60/2516.93 c 2517 1783051 1745135 1 - 0.0000 -
2514.58/2521.97 c 2522 1786521 1748505 1 - 0.0000 -
2519.67/2527.02 c 2527 1790166 1752123 1 - 0.0000 -
2524.66/2532.07 c 2532 1793632 1755550 1 - 0.0000 -
2529.74/2537.12 c 2537 1797395 1759298 1 - 0.0000 -
2534.83/2542.20 c 2542 1800864 1762745 1 - 0.0000 -
2539.91/2547.31 c 2547 1804451 1766318 1 - 0.0000 -
2544.90/2552.37 c 2552 1808009 1769815 1 - 0.0000 -
2549.98/2557.45 c 2557 1811555 1773341 1 - 0.0000 -
2555.17/2562.64 c 2563 1815229 1776967 1 - 0.0000 -
2560.16/2567.69 c 2568 1818796 1780512 1 - 0.0000 -
2565.24/2572.75 c 2573 1822416 1784050 1 - 0.0000 -
2570.33/2577.82 c 2578 1825852 1787473 1 - 0.0000 -
2575.42/2582.95 c 2583 1829303 1790885 1 - 0.0000 -
2580.50/2588.03 c 2588 1832998 1794520 1 - 0.0000 -
2585.59/2593.14 c 2593 1836534 1798014 1 - 0.0000 -
2590.77/2598.35 c 2598 1840229 1801678 1 - 0.0000 -
2595.96/2603.51 c 2604 1843828 1805243 1 - 0.0000 -
2600.94/2608.56 c 2609 1847367 1808757 1 - 0.0000 -
2606.03/2613.67 c 2614 1850923 1812282 1 - 0.0000 -
2611.12/2618.73 c 2619 1854597 1815910 1 - 0.0000 -
2616.21/2623.82 c 2624 1858042 1819341 1 - 0.0000 -
2621.29/2628.94 c 2629 1861657 1822908 1 - 0.0000 -
2626.38/2634.04 c 2634 1865297 1826527 1 - 0.0000 -
2631.47/2639.16 c 2639 1868693 1829792 1 - 0.0000 -
2636.55/2644.21 c 2644 1872283 1833351 1 - 0.0000 -
2641.63/2649.31 c 2649 1875955 1837017 1 - 0.0000 -
2646.63/2654.37 c 2654 1879677 1840595 1 - 0.0000 -
2651.80/2659.51 c 2660 1883462 1844276 1 - 0.0000 -
2656.90/2664.68 c 2665 1887181 1847989 1 - 0.0000 -
2662.08/2669.81 c 2670 1890988 1851787 1 - 0.0000 -
2667.16/2674.91 c 2675 1894834 1855561 1 - 0.0000 -
2672.26/2680.01 c 2680 1898469 1859106 1 - 0.0000 -
2677.34/2685.13 c 2685 1902042 1862431 1 - 0.0000 -
2682.33/2690.18 c 2690 1905620 1865982 1 - 0.0000 -
2687.41/2695.24 c 2695 1909144 1869433 1 - 0.0000 -
2692.49/2700.36 c 2700 1912866 1873125 1 - 0.0000 -
2697.68/2705.57 c 2706 1916625 1876816 1 - 0.0000 -
2702.87/2710.74 c 2711 1920167 1880313 1 - 0.0000 -
2708.16/2716.02 c 2716 1923982 1884064 1 - 0.0000 -
2713.24/2721.10 c 2721 1927478 1887500 1 - 0.0000 -
2718.23/2726.15 c 2726 1930967 1890915 1 - 0.0000 -
2723.51/2731.41 c 2731 1934502 1894429 1 - 0.0000 -
2728.50/2736.49 c 2736 1937951 1897842 1 - 0.0000 -
2733.88/2741.85 c 2742 1941853 1901641 1 - 0.0000 -
2738.97/2746.92 c 2747 1945488 1905233 1 - 0.0000 -
2744.16/2752.11 c 2752 1949015 1908760 1 - 0.0000 -
2749.34/2757.34 c 2757 1952865 1912472 1 - 0.0000 -
2754.42/2762.41 c 2762 1956285 1915859 1 - 0.0000 -
2759.51/2767.51 c 2768 1959933 1919282 1 - 0.0000 -
2764.60/2772.69 c 2773 1963579 1922909 1 - 0.0000 -
2769.68/2777.79 c 2778 1967158 1926444 1 - 0.0000 -
2774.77/2782.86 c 2783 1970624 1929868 1 - 0.0000 -
2779.96/2788.09 c 2788 1974362 1933540 1 - 0.0000 -
2785.14/2793.29 c 2793 1978067 1937132 1 - 0.0000 -
2790.32/2798.48 c 2798 1981315 1940285 1 - 0.0000 -
2795.41/2803.58 c 2804 1985071 1944009 1 - 0.0000 -
2800.49/2808.68 c 2809 1988571 1947460 1 - 0.0000 -
2805.59/2813.74 c 2814 1992162 1950905 1 - 0.0000 -
2810.66/2818.80 c 2819 1995601 1954115 1 - 0.0000 -
2815.86/2824.00 c 2824 1999005 1957419 1 - 0.0000 -
2820.95/2829.14 c 2829 2002556 1960848 1 - 0.0000 -
2826.03/2834.21 c 2834 2006288 1964437 1 - 0.0000 -
2831.01/2839.26 c 2839 2009828 1967923 1 - 0.0000 -
2836.10/2844.36 c 2844 2013476 1971533 1 - 0.0000 -
2841.18/2849.41 c 2849 2017099 1975121 1 - 0.0000 -
2846.17/2854.46 c 2854 2020552 1978529 1 - 0.0000 -
2851.25/2859.56 c 2860 2024371 1982136 1 - 0.0000 -
2856.44/2864.73 c 2865 2027726 1985442 1 - 0.0000 -
2861.53/2869.82 c 2870 2031261 1988967 1 - 0.0000 -
2866.51/2874.87 c 2875 2034920 1992538 1 - 0.0000 -
2871.60/2879.95 c 2880 2038427 1995949 1 - 0.0000 -
2876.69/2885.07 c 2885 2041839 1999283 1 - 0.0000 -
2881.77/2890.19 c 2890 2045687 2003131 1 - 0.0000 -
2886.85/2895.27 c 2895 2049537 2006981 1 - 0.0000 -
2891.94/2900.33 c 2900 2053095 2010539 1 - 0.0000 -
2897.22/2905.61 c 2906 2056893 2014337 1 - 0.0000 -
2902.32/2910.78 c 2911 2060708 2018143 1 - 0.0000 -
2907.39/2915.85 c 2916 2064436 2021865 1 - 0.0000 -
2912.48/2920.98 c 2921 2068051 2025480 1 - 0.0000 -
2917.58/2926.06 c 2926 2071554 2028980 1 - 0.0000 -
2922.66/2931.13 c 2931 2075058 2032451 1 - 0.0000 -
2927.74/2936.21 c 2936 2078567 2035952 1 - 0.0000 -
2932.73/2941.29 c 2941 2082077 2039458 1 - 0.0000 -
2937.92/2946.42 c 2946 2085776 2043116 1 - 0.0000 -
2942.89/2951.48 c 2951 2089379 2046707 1 - 0.0000 -
2948.28/2956.86 c 2957 2093399 2050727 1 - 0.0000 -
2953.37/2961.98 c 2962 2097010 2054338 1 - 0.0000 -
2958.65/2967.20 c 2967 2100538 2057866 1 - 0.0000 -
2963.83/2972.43 c 2972 2104245 2061565 1 - 0.0000 -
2969.02/2977.62 c 2978 2107798 2065113 1 - 0.0000 -
2974.01/2982.68 c 2983 2111220 2068518 1 - 0.0000 -
2979.10/2987.73 c 2988 2114861 2072060 1 - 0.0000 -
2984.18/2992.82 c 2993 2118805 2075928 1 - 0.0000 -
2989.17/2997.88 c 2998 2122199 2079300 1 - 0.0000 -
2994.26/3002.94 c 3003 2125705 2082749 1 - 0.0000 -
2999.34/3008.00 c 3008 2129438 2086373 1 - 0.0000 -
3004.33/3013.06 c 3013 2132926 2089752 1 - 0.0000 -
3009.42/3018.14 c 3018 2136540 2093295 1 - 0.0000 -
3014.49/3023.27 c 3023 2140090 2096782 1 - 0.0000 -
3019.58/3028.33 c 3028 2143639 2100261 1 - 0.0000 -
3024.67/3033.42 c 3033 2147259 2103822 1 - 0.0000 -
3029.75/3038.52 c 3039 2150742 2107266 1 - 0.0000 -
3034.74/3043.58 c 3044 2154356 2110822 1 - 0.0000 -
3039.82/3048.65 c 3049 2158020 2114291 1 - 0.0000 -
3044.91/3053.72 c 3054 2161585 2117787 1 - 0.0000 -
3050.10/3058.91 c 3059 2165431 2121573 1 - 0.0000 -
3055.18/3064.06 c 3064 2168898 2124995 1 - 0.0000 -
3060.27/3069.13 c 3069 2172437 2128444 1 - 0.0000 -
3065.45/3074.36 c 3074 2176099 2132089 1 - 0.0000 -
3070.53/3079.44 c 3079 2179736 2135695 1 - 0.0000 -
3075.62/3084.52 c 3085 2183445 2139404 1 - 0.0000 -
3080.81/3089.72 c 3090 2187138 2143097 1 - 0.0000 -
3085.89/3094.84 c 3095 2190683 2146620 1 - 0.0000 -
3090.98/3099.99 c 3100 2194409 2150218 1 - 0.0000 -
3096.07/3105.07 c 3105 2198021 2153781 1 - 0.0000 -
3101.24/3110.21 c 3110 2201917 2157677 1 - 0.0000 -
3106.23/3115.26 c 3115 2205592 2161210 1 - 0.0000 -
3111.32/3120.37 c 3120 2209169 2164686 1 - 0.0000 -
3116.51/3125.56 c 3126 2212868 2168338 1 - 0.0000 -
3121.69/3130.73 c 3131 2216562 2171946 1 - 0.0000 -
3126.77/3135.83 c 3136 2220101 2175296 1 - 0.0000 -
3131.86/3140.94 c 3141 2223675 2178784 1 - 0.0000 -
3136.84/3145.99 c 3146 2227198 2182218 1 - 0.0000 -
3142.03/3151.11 c 3151 2230878 2185803 1 - 0.0000 -
3147.11/3156.25 c 3156 2234417 2189190 1 - 0.0000 -
3152.20/3161.35 c 3161 2237877 2192469 1 - 0.0000 -
3157.29/3166.44 c 3166 2241505 2196001 1 - 0.0000 -
3162.37/3171.51 c 3172 2244870 2199325 1 - 0.0000 -
3167.46/3176.64 c 3177 2248331 2202710 1 - 0.0000 -
3172.54/3181.79 c 3182 2251848 2206180 1 - 0.0000 -
3177.63/3186.87 c 3187 2255358 2209619 1 - 0.0000 -
3182.72/3191.93 c 3192 2258614 2212875 1 - 0.0000 -
3187.91/3197.13 c 3197 2262313 2216574 1 - 0.0000 -
3192.99/3202.22 c 3202 2265852 2220113 1 - 0.0000 -
3198.07/3207.34 c 3207 2269181 2223442 1 - 0.0000 -
3203.05/3212.38 c 3212 2272595 2226856 1 - 0.0000 -
3208.24/3217.58 c 3218 2276278 2230532 1 - 0.0000 -
3213.42/3222.73 c 3223 2279858 2234016 1 - 0.0000 -
3218.51/3227.86 c 3228 2283191 2237265 1 - 0.0000 -
3223.59/3232.98 c 3233 2286786 2240821 1 - 0.0000 -
3228.69/3238.08 c 3238 2290290 2244287 1 - 0.0000 -
3233.77/3243.17 c 3243 2293900 2247810 1 - 0.0000 -
3238.95/3248.32 c 3248 2297611 2251521 1 - 0.0000 -
3244.04/3253.41 c 3253 2301195 2255007 1 - 0.0000 -
3249.02/3258.46 c 3258 2304688 2258470 1 - 0.0000 -
3254.11/3263.52 c 3264 2308294 2262041 1 - 0.0000 -
3259.20/3268.65 c 3269 2311821 2265518 1 - 0.0000 -
3264.29/3273.72 c 3274 2315441 2269074 1 - 0.0000 -
3269.27/3278.78 c 3279 2318941 2272565 1 - 0.0000 -
3274.56/3284.05 c 3284 2322531 2276132 1 - 0.0000 -
3279.65/3289.11 c 3289 2326007 2279594 1 - 0.0000 -
3284.73/3294.28 c 3294 2329757 2283298 1 - 0.0000 -
3289.82/3299.37 c 3299 2333286 2286789 1 - 0.0000 -
3294.89/3304.44 c 3304 2336653 2290061 1 - 0.0000 -
3300.08/3309.61 c 3310 2340384 2293754 1 - 0.0000 -
3305.17/3314.76 c 3315 2343932 2297227 1 - 0.0000 -
3310.35/3319.90 c 3320 2347587 2300816 1 - 0.0000 -
3315.34/3324.96 c 3325 2350976 2304128 1 - 0.0000 -
3320.43/3330.03 c 3330 2354586 2307729 1 - 0.0000 -
3325.42/3335.09 c 3335 2358122 2311256 1 - 0.0000 -
3330.50/3340.18 c 3340 2361535 2314611 1 - 0.0000 -
3335.68/3345.30 c 3345 2365418 2318318 1 - 0.0000 -
3340.76/3350.43 c 3350 2368702 2321452 1 - 0.0000 -
3345.75/3355.49 c 3356 2372366 2325079 1 - 0.0000 -
3350.83/3360.57 c 3361 2375801 2328487 1 - 0.0000 -
3355.92/3365.65 c 3366 2379433 2332046 1 - 0.0000 -
3361.01/3370.70 c 3371 2383061 2335654 1 - 0.0000 -
3366.09/3375.84 c 3376 2386866 2339456 1 - 0.0000 -
3371.17/3380.93 c 3381 2390419 2342986 1 - 0.0000 -
3376.27/3386.04 c 3386 2394066 2346583 1 - 0.0000 -
3381.25/3391.09 c 3391 2397552 2350020 1 - 0.0000 -
3386.34/3396.15 c 3396 2400974 2353439 1 - 0.0000 -
3391.52/3401.32 c 3401 2404806 2357200 1 - 0.0000 -
3396.51/3406.37 c 3406 2408587 2360843 1 - 0.0000 -
3401.79/3411.62 c 3412 2412367 2364549 1 - 0.0000 -
3406.88/3416.72 c 3417 2416075 2368231 1 - 0.0000 -
3411.96/3421.80 c 3422 2419673 2371820 1 - 0.0000 -
3417.25/3427.11 c 3427 2423301 2375408 1 - 0.0000 -
3422.24/3432.20 c 3432 2427098 2379205 1 - 0.0000 -
3427.51/3437.42 c 3437 2430606 2382644 1 - 0.0000 -
3432.51/3442.49 c 3442 2434091 2386080 1 - 0.0000 -
3437.69/3447.60 c 3448 2437346 2389309 1 - 0.0000 -
3442.77/3452.74 c 3453 2440960 2392856 1 - 0.0000 -
3447.85/3457.80 c 3458 2444262 2396079 1 - 0.0000 -
3452.85/3462.85 c 3463 2447693 2399510 1 - 0.0000 -
3458.13/3468.11 c 3468 2451207 2402986 1 - 0.0000 -
3463.12/3473.17 c 3473 2454920 2406624 1 - 0.0000 -
3468.21/3478.23 c 3478 2458504 2410197 1 - 0.0000 -
3473.29/3483.33 c 3483 2461885 2413578 1 - 0.0000 -
3478.27/3488.39 c 3488 2465347 2417040 1 - 0.0000 -
3483.46/3493.59 c 3494 2468998 2420688 1 - 0.0000 -
3488.65/3498.75 c 3499 2472506 2424194 1 - 0.0000 -
3493.73/3503.87 c 3504 2476136 2427824 1 - 0.0000 -
3498.92/3509.06 c 3509 2479791 2431479 1 - 0.0000 -
3504.10/3514.20 c 3514 2483232 2434896 1 - 0.0000 -
3509.18/3519.35 c 3519 2486718 2438370 1 - 0.0000 -
3514.37/3524.52 c 3525 2490303 2441948 1 - 0.0000 -
3519.56/3529.76 c 3530 2494202 2445838 1 - 0.0000 -
3524.63/3534.80 c 3535 2497529 2449144 1 - 0.0000 -
3529.72/3539.98 c 3540 2500698 2452292 1 - 0.0000 -
3534.81/3545.09 c 3545 2504219 2455793 1 - 0.0000 -
3539.90/3550.14 c 3550 2507576 2459146 1 - 0.0000 -
3544.97/3555.21 c 3555 2510973 2462540 1 - 0.0000 -
3549.96/3560.27 c 3560 2514576 2466125 1 - 0.0000 -
3555.04/3565.36 c 3565 2518024 2469500 1 - 0.0000 -
3560.22/3570.51 c 3571 2521589 2473051 1 - 0.0000 -
3565.21/3575.57 c 3576 2525153 2476536 1 - 0.0000 -
3570.30/3580.67 c 3581 2528602 2479949 1 - 0.0000 -
3575.39/3585.73 c 3586 2531999 2483256 1 - 0.0000 -
3580.47/3590.85 c 3591 2535486 2486500 1 - 0.0000 -
3585.56/3595.93 c 3596 2539096 2490020 1 - 0.0000 -
3589.94/3600.30 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.94/3600.30 c Total Time : 3600.3100
3589.94/3600.30 c solving : 3600.3100
3589.94/3600.30 c presolving : 0.0133 (included in solving)
3589.94/3600.30 c B&B Tree :
3589.94/3600.30 c nodes (total) : 1
3589.94/3600.30 c Solution :
3589.94/3600.31 c Solutions found : 0
3589.94/3600.31 c Primal Bound : -
3589.94/3600.31 c Dual Bound : +0.00000000000000e+00
3589.94/3600.31 c Gap : -
3589.94/3600.31 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 (34147 MiB free)
memory of node 1: 64473 MiB (62774 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464550-1722385800/watcher-4464550-1722385800 -o /tmp/evaluation-result-4464550-1722385800/solver-4464550-1722385800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35202 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464550-1722385800.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39654, runsolver pid=39651
[startup+0.100089 s]*
/proc/loadavg: 4.12 4.12 4.11 5/263 39657
/proc/meminfo: memFree=99223044/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=112976 memory=34636 CPUtime=0.09 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 6375 0 0 0 9 0 0 0 20 0 3 0 5181936 115687424 8659 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 28244 8659 2950 3035 0 12669 0
[pid=39654/tid=39656] ppid=39651 vsize=112976 memory=4026561586 CPUtime=0.07 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 3773 0 0 0 7 0 0 0 20 0 3 0 5181938 115687424 8659 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=112976 memory=228556276070 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181938 115687424 8659 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112976 KiB
Current children cumulated memory: 34636 KiB
[startup+0.205403 s]*
/proc/loadavg: 4.12 4.12 4.11 6/263 39657
/proc/meminfo: memFree=99222568/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=113820 memory=36216 CPUtime=0.19 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 6827 0 0 0 19 0 0 0 20 0 3 0 5181936 116551680 9054 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 28455 9054 2950 3035 0 12880 0
[pid=39654/tid=39656] ppid=39651 vsize=113820 memory=664970838410264707 CPUtime=0.18 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 4225 0 0 0 18 0 0 0 20 0 3 0 5181938 116551680 9054 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=113820 memory=17998 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181938 116551680 9054 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 113820 KiB
Current children cumulated memory: 36216 KiB
[startup+0.305154 s]*
/proc/loadavg: 4.12 4.12 4.11 5/263 39657
/proc/meminfo: memFree=99215380/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=114444 memory=41496 CPUtime=0.3 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 8111 0 0 0 29 1 0 0 20 0 3 0 5181936 117190656 10374 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 28611 10374 2950 3035 0 13816 0
[pid=39654/tid=39656] ppid=39651 vsize=114444 memory=-5155634591538834309 CPUtime=0.27 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 5509 0 0 0 27 0 0 0 20 0 3 0 5181938 117190656 10374 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=114444 memory=0 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181938 117190656 10374 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114444 KiB
Current children cumulated memory: 41496 KiB
[startup+0.700204 s]
/proc/loadavg: 4.12 4.12 4.11 6/263 39657
/proc/meminfo: memFree=99201804/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=119544 memory=55668 CPUtime=0.69 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 12000 0 0 0 68 1 0 0 20 0 3 0 5181936 122413056 13917 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 29886 13917 2966 3035 0 18076 0
[pid=39654/tid=39656] ppid=39651 vsize=119544 memory=0 CPUtime=0.67 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 9398 0 0 0 66 1 0 0 20 0 3 0 5181938 122413056 13917 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=119544 memory=0 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181938 122413056 13917 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 119544 KiB
Current children cumulated memory: 55668 KiB
[startup+1.50024 s]
/proc/loadavg: 4.12 4.12 4.11 5/263 39657
/proc/meminfo: memFree=99198696/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=120128 memory=56692 CPUtime=1.48 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 16478 0 0 0 147 1 0 0 20 0 3 0 5181936 123011072 14173 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 30032 14173 2966 3035 0 18222 0
[pid=39654/tid=39656] ppid=39651 vsize=120128 memory=0 CPUtime=1.46 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 13876 0 0 0 145 1 0 0 20 0 3 0 5181938 123011072 14173 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=120128 memory=0 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181938 123011072 14173 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120128 KiB
Current children cumulated memory: 56692 KiB
[startup+3.10528 s]
/proc/loadavg: 4.19 4.14 4.11 5/263 39657
/proc/meminfo: memFree=99183408/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=124468 memory=69020 CPUtime=3.08 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 25561 0 0 0 306 2 0 0 20 0 3 0 5181936 127455232 17255 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 31117 17255 3014 3035 0 21259 0
[pid=39654/tid=39656] ppid=39651 vsize=124468 memory=0 CPUtime=3.06 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 22939 0 0 0 304 2 0 0 20 0 3 0 5181938 127455232 17255 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=124468 memory=0 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5181938 127455232 17255 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 124468 KiB
Current children cumulated memory: 69020 KiB
[startup+6.30023 s]
/proc/loadavg: 4.19 4.14 4.11 5/263 39657
/proc/meminfo: memFree=99178632/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=126408 memory=72824 CPUtime=6.28 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 46213 0 0 0 623 5 0 0 20 0 3 0 5181936 129441792 18206 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 31602 18206 3014 3035 0 22404 0
[pid=39654/tid=39656] ppid=39651 vsize=126408 memory=-5155634591538834309 CPUtime=6.25 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 43566 0 0 0 621 4 0 0 20 0 3 0 5181938 129441792 18206 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=126408 memory=-5155634591538834309 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5181938 129441792 18206 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 72824 KiB
[startup+12.7002 s]
/proc/loadavg: 4.32 4.16 4.12 5/262 39716
/proc/meminfo: memFree=103459716/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=126408 memory=75116 CPUtime=12.65 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 59026 0 0 0 1259 6 0 0 20 0 3 0 5181936 129441792 18779 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 31602 18779 3014 3035 0 22715 0
[pid=39654/tid=39656] ppid=39651 vsize=126408 memory=-5155634591538834309 CPUtime=12.63 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 56334 0 0 0 1257 6 0 0 20 0 3 0 5181938 129441792 18779 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=126408 memory=75096 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5181938 129441792 18779 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 75116 KiB
[startup+25.5002 s]
/proc/loadavg: 4.50 4.21 4.14 5/259 39731
/proc/meminfo: memFree=121475336/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=128456 memory=82416 CPUtime=25.42 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 78613 0 0 0 2532 10 0 0 20 0 3 0 5181936 131538944 20604 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 32114 20604 3014 3035 0 24262 0
[pid=39654/tid=39656] ppid=39651 vsize=128456 memory=81312 CPUtime=25.39 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 75853 0 0 0 2530 9 0 0 20 0 3 0 5181938 131538944 20604 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=128456 memory=13120 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5181938 131538944 20604 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 128456 KiB
Current children cumulated memory: 82416 KiB
[startup+51.1053 s]
/proc/loadavg: 4.39 4.21 4.14 5/263 39867
/proc/meminfo: memFree=121634612/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=131528 memory=97028 CPUtime=50.95 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 105725 0 0 0 5080 15 0 0 20 0 3 0 5181936 134684672 24257 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 32882 24257 3014 3035 0 28013 0
[pid=39654/tid=39656] ppid=39651 vsize=131528 memory=0 CPUtime=50.93 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 102885 0 0 0 5078 15 0 0 20 0 3 0 5181938 134684672 24257 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=131528 memory=91916 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5181938 134684672 24257 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 131528 KiB
Current children cumulated memory: 97028 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.18 4.13 5/263 39874
/proc/meminfo: memFree=121543388/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=212616 memory=131372 CPUtime=102 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 146732 0 0 0 10175 25 0 0 20 0 3 0 5181936 217718784 32843 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 53154 32843 3014 3035 0 36591 0
[pid=39654/tid=39656] ppid=39651 vsize=212616 memory=13120 CPUtime=101.97 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 143802 0 0 0 10172 25 0 0 20 0 3 0 5181938 217718784 32843 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=212616 memory=11596 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5181938 217718784 32843 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 212616 KiB
Current children cumulated memory: 131372 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.18 4.13 5/262 39979
/proc/meminfo: memFree=119422396/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=228968 memory=168252 CPUtime=161.83 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 185608 0 0 0 16150 33 0 0 20 0 3 0 5181936 234463232 42063 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 57242 42063 3014 3035 0 45870 0
[pid=39654/tid=39656] ppid=39651 vsize=228968 memory=13120 CPUtime=161.79 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 182614 0 0 0 16147 32 0 0 20 0 3 0 5181938 234463232 42063 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=228968 memory=11596 CPUtime=0 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5181938 234463232 42063 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 228968 KiB
################
# More data... #
################
/proc/39654/statm: 544201 524049 3014 3035 0 534124 0
[pid=39654/tid=39656] ppid=39651 vsize=2176804 memory=2083200 CPUtime=3452.11 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 1625982 0 0 0 344696 515 0 0 20 0 3 0 5181938 2229047296 524049 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=2176804 memory=-7233743643072357755 CPUtime=0.02 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 135 0 0 0 0 2 0 0 20 0 3 0 5181938 2229047296 524049 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3452.35 s
Current children cumulated vsize: 2176804 KiB
Current children cumulated memory: 2096196 KiB
[startup+3522.3 s]
/proc/loadavg: 4.43 4.20 4.12 5/265 41809
/proc/meminfo: memFree=118279564/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=2244396 memory=2136072 CPUtime=3512.17 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 1660982 0 0 0 350689 528 0 0 20 0 3 0 5181936 2298261504 534018 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 561099 534018 3014 3035 0 543551 0
[pid=39654/tid=39656] ppid=39651 vsize=2244396 memory=2130024 CPUtime=3511.94 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 1656855 0 0 0 350671 523 0 0 20 0 3 0 5181938 2298261504 534018 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=2244396 memory=13120 CPUtime=0.02 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 5181938 2298261504 534018 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3512.17 s
Current children cumulated vsize: 2244396 KiB
Current children cumulated memory: 2136072 KiB
[startup+3582.3 s]
/proc/loadavg: 4.48 4.28 4.15 5/265 41820
/proc/meminfo: memFree=118242784/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=2244396 memory=2167976 CPUtime=3571.99 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 1692817 0 0 0 356662 537 0 0 20 0 3 0 5181936 2298261504 541994 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 561099 541994 3014 3035 0 551312 0
[pid=39654/tid=39656] ppid=39651 vsize=2244396 memory=2160660 CPUtime=3571.76 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 1688676 0 0 0 356644 532 0 0 20 0 3 0 5181938 2298261504 541994 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=2244396 memory=11596 CPUtime=0.02 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 5181938 2298261504 541994 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 2244396 KiB
Current children cumulated memory: 2167976 KiB
[startup+3600.35 s]
# the end of solver process 39654 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.36 s, system=5.64634 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.48 4.28 4.15 5/265 41820
/proc/meminfo: memFree=118240032/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=2244396 memory=2168000 CPUtime=3573.7 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 1693300 0 0 0 356832 538 0 0 20 0 3 0 5181936 2298261504 542000 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 561099 542000 3014 3035 0 551344 0
[pid=39654/tid=39656] ppid=39651 vsize=2244396 memory=4139535510551555739 CPUtime=3573.45 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 1689155 0 0 0 356813 532 0 0 20 0 3 0 5181938 2298261504 542000 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=2244396 memory=2167976 CPUtime=0.02 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5181938 2298261504 542000 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3573.7 s
Current children cumulated vsize: 2244396 KiB
Current children cumulated memory: 2168000 KiB
[startup+3590.4 s]
/proc/loadavg: 4.45 4.27 4.15 5/265 41821
/proc/meminfo: memFree=118237544/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=2244396 memory=2170536 CPUtime=3580.07 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 1696018 0 0 0 357468 539 0 0 20 0 3 0 5181936 2298261504 542634 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 561099 542634 3014 3035 0 551968 0
[pid=39654/tid=39656] ppid=39651 vsize=2244396 memory=13120 CPUtime=3579.84 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 1691866 0 0 0 357450 534 0 0 20 0 3 0 5181938 2298261504 542634 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=2244396 memory=12272 CPUtime=0.02 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5181938 2298261504 542634 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3580.07 s
Current children cumulated vsize: 2244396 KiB
Current children cumulated memory: 2170536 KiB
[startup+3596.8 s]
/proc/loadavg: 4.41 4.27 4.15 4/256 41852
/proc/meminfo: memFree=118811984/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=2244396 memory=2174996 CPUtime=3586.45 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 1699070 0 0 0 358105 540 0 0 20 0 3 0 5181936 2298261504 543749 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 561099 543749 3014 3035 0 553061 0
[pid=39654/tid=39656] ppid=39651 vsize=2244396 memory=2167976 CPUtime=3586.22 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 1694910 0 0 0 358087 535 0 0 20 0 3 0 5181938 2298261504 543749 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=2244396 memory=11596 CPUtime=0.02 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5181938 2298261504 543749 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3586.45 s
Current children cumulated vsize: 2244396 KiB
Current children cumulated memory: 2174996 KiB
[startup+3598.4 s]
/proc/loadavg: 4.38 4.26 4.15 4/256 41854
/proc/meminfo: memFree=118810872/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=2244396 memory=2176020 CPUtime=3588.05 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 1761114 0 0 0 358262 543 0 0 20 0 3 0 5181936 2298261504 544005 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 561099 544005 3014 3035 0 553317 0
[pid=39654/tid=39656] ppid=39651 vsize=2244396 memory=2169536 CPUtime=3587.81 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 1756951 0 0 0 358243 538 0 0 20 0 3 0 5181938 2298261504 544005 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=2244396 memory=12272 CPUtime=0.02 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5181938 2298261504 544005 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3588.05 s
Current children cumulated vsize: 2244396 KiB
Current children cumulated memory: 2176020 KiB
[startup+3599.2 s]
/proc/loadavg: 4.38 4.26 4.15 4/256 41854
/proc/meminfo: memFree=118820172/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=2232060 memory=2163692 CPUtime=3588.85 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 1918514 0 0 0 358333 552 0 0 20 0 3 0 5181936 2285629440 540923 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 558015 540923 3014 3035 0 550233 0
[pid=39654/tid=39656] ppid=39651 vsize=2232060 memory=1836 CPUtime=3588.6 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 1914353 0 0 0 358314 546 0 0 20 0 3 0 5181938 2285629440 540923 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=2232060 memory=2160 CPUtime=0.02 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5181938 2285629440 540923 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3588.85 s
Current children cumulated vsize: 2232060 KiB
Current children cumulated memory: 2163692 KiB
[startup+3600 s]*
/proc/loadavg: 4.38 4.26 4.15 4/256 41854
/proc/meminfo: memFree=118909768/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=2098840 memory=2030476 CPUtime=3589.65 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 2034156 0 0 0 358407 558 0 0 20 0 3 0 5181936 2149212160 507619 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 524710 507619 3014 3035 0 516928 0
[pid=39654/tid=39656] ppid=39651 vsize=2098840 memory=7686721470247706567 CPUtime=3589.41 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 2029998 0 0 0 358388 553 0 0 20 0 3 0 5181938 2149212160 507619 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=2098840 memory=4139535510551555739 CPUtime=0.02 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5181938 2149212160 507619 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3589.65 s
Current children cumulated vsize: 2098840 KiB
Current children cumulated memory: 2030476 KiB
[startup+3600.2 s]
/proc/loadavg: 4.38 4.26 4.15 4/256 41854
/proc/meminfo: memFree=118909768/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=2037564 memory=1969200 CPUtime=3589.85 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 2038571 0 0 0 358426 559 0 0 20 0 3 0 5181936 2086465536 492300 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 509391 492300 3014 3035 0 501609 0
[pid=39654/tid=39656] ppid=39651 vsize=2037564 memory=15360 CPUtime=3589.6 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 2034409 0 0 0 358407 553 0 0 20 0 3 0 5181938 2086465536 492300 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=2037564 memory=20760 CPUtime=0.02 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5181938 2086465536 492300 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3589.85 s
Current children cumulated vsize: 2037564 KiB
Current children cumulated memory: 1969200 KiB
[startup+3600.3 s]
/proc/loadavg: 4.38 4.26 4.15 4/256 41854
/proc/meminfo: memFree=118909768/131524600 swapFree=131071996/131071996
[pid=39654] ppid=39651 vsize=1900592 memory=1848160 CPUtime=3589.94 cores=5,7
/proc/39654/stat : 39654 (fscip) S 39651 39654 35189 0 -1 1077936128 2041507 0 0 0 358435 559 0 0 20 0 3 0 5181936 1946206208 462296 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
/proc/39654/statm: 474892 462040 3014 3035 0 467110 0
[pid=39654/tid=39656] ppid=39651 vsize=1897520 memory=-7233743643072357755 CPUtime=3589.71 cores=5,7
/proc/39654/task/39656/stat : 39656 (fscip) R 39651 39654 35189 0 -1 4194368 2037344 0 0 0 358417 554 0 0 20 0 3 0 5181938 1943060480 461555 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
[pid=39654/tid=39657] ppid=39651 vsize=1896496 memory=2157524 CPUtime=0.02 cores=5,7
/proc/39654/task/39657/stat : 39657 (fscip) S 39651 39654 35189 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5181938 1942011904 461528 134679101440 4194304 16623229 140736111224768 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38133760 140736111232026 140736111232142 140736111232142 140736111239152 0
Current children cumulated CPU time: 3589.94 s
Current children cumulated vsize: 1900592 KiB
Current children cumulated memory: 1848160 KiB
Child status: 0
Real time (s): 3600.35
CPU time (s): 3590.01
CPU user time (s): 3584.36
CPU system time (s): 5.64634
CPU usage (%): 99.7127
Max. virtual memory (cumulated for all children) (KiB): 2244396
Max. memory (cumulated for all children) (KiB): 2176020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.36
system time used= 5.64634
maximum resident set size= 2176020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2041820
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= 10797
involuntary context switches= 4782
# summary of solver processes directly reported to runsolver:
# pid: 39654
# total CPU time (s): 3590.01
# total CPU user time (s): 3584.36
# total CPU system time (s): 5.64634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.41232 second user time and 16.5621 second system time
The end
Begin job on nodeC030 at 2024-07-31 02:30:00
IDJOB=4464550
IDBENCH=158904
IDSOLVER=3092
FILE ID=nodeC030/4464550-1722385800
RUNJOBID= nodeC030-1722378597-35202
SLURM_JOB_ID= 8249853
Free space on /tmp= 889740 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n270-d3-i1-r2.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-4464550-1722385800/watcher-4464550-1722385800 -o /tmp/evaluation-result-4464550-1722385800/solver-4464550-1722385800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35202 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464550-1722385800.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 851f3387310df6bbd014cd79a7a4e679
RANDOM SEED=483359291
nodeC030.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 : 3673.372
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.60
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 : 3601.654
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.48
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 : 3600.593
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.60
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 : 3671.056
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.48
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 : 3673.377
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.60
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 : 3663.843
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.48
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 : 3600.474
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.60
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 : 3672.431
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 99254416 kB
MemAvailable: 99888368 kB
Buffers: 97060 kB
Cached: 1367736 kB
SwapCached: 0 kB
Active: 535784 kB
Inactive: 31184560 kB
Active(anon): 1552 kB
Inactive(anon): 30275340 kB
Active(file): 534232 kB
Inactive(file): 909220 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57796 kB
Writeback: 0 kB
AnonPages: 30253576 kB
Mapped: 124256 kB
Shmem: 21328 kB
KReclaimable: 60648 kB
Slab: 144428 kB
SReclaimable: 60648 kB
SUnreclaim: 83780 kB
KernelStack: 4176 kB
PageTables: 69432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 18435132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 11833344 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: 221908 kB
DirectMap2M: 6891520 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC030 at 2024-07-31 03:30:01