0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22257664, getVmSize() = 22257664, SCIPgetMemUsed() = 699089, SCIPgetMemTotal() = 844881, 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 = 15433728, getVmSize() = 24043520, SCIPgetMemUsed() = 901025, SCIPgetMemTotal() = 1475193, 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-4434691-1721095524
0.00/0.01 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 11
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 11
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 8
0.00/0.01 c logicor : 3
0.00/0.01 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.16/5.20 c 5 21781 7879 1 - 0.0000 -
10.14/10.25 c 10 58465 18029 1 - 0.0000 -
15.21/15.30 c 15 95846 26379 1 - 0.0000 -
20.19/20.34 c 20 133749 34271 1 - 0.0000 -
25.16/25.39 c 25 171110 42078 1 - 0.0000 -
30.23/30.44 c 30 209682 48952 1 - 0.0000 -
35.20/35.49 c 36 247986 56733 1 - 0.0000 -
40.28/40.54 c 41 284550 66212 1 - 0.0000 -
45.25/45.59 c 46 323078 72388 1 - 0.0000 -
50.33/50.64 c 51 361828 78221 1 - 0.0000 -
55.30/55.69 c 56 400759 84802 1 - 0.0000 -
60.38/60.74 c 61 439825 89949 1 - 0.0000 -
65.35/65.79 c 66 478339 96061 1 - 0.0000 -
70.42/70.84 c 71 517530 101460 1 - 0.0000 -
75.39/75.89 c 76 556284 106677 1 - 0.0000 -
80.47/80.94 c 81 594910 112015 1 - 0.0000 -
85.44/85.99 c 86 632805 117983 1 - 0.0000 -
90.53/91.04 c 91 671638 125150 1 - 0.0000 -
95.51/96.09 c 96 710939 130216 1 - 0.0000 -
100.59/101.14 c 101 749272 134207 1 - 0.0000 -
105.57/106.19 c 106 788027 139309 1 - 0.0000 -
110.63/111.24 c 111 827189 144133 1 - 0.0000 -
115.61/116.29 c 116 865255 151023 1 - 0.0000 -
120.69/121.34 c 121 903763 157206 1 - 0.0000 -
125.67/126.39 c 126 942341 162358 1 - 0.0000 -
130.75/131.44 c 131 981569 166925 1 - 0.0000 -
135.73/136.49 c 136 1019885 170973 1 - 0.0000 -
140.81/141.54 c 142 1058743 174635 1 - 0.0000 -
145.78/146.59 c 147 1098103 179102 1 - 0.0000 -
150.86/151.64 c 152 1138098 183962 1 - 0.0000 -
155.84/156.69 c 157 1185646 188525 1 - 0.0000 -
160.92/161.74 c 162 1234821 192699 1 - 0.0000 -
165.90/166.79 c 167 1283210 198741 1 - 0.0000 -
170.97/171.84 c 172 1333426 205043 1 - 0.0000 -
175.95/176.89 c 177 1385827 210460 1 - 0.0000 -
181.04/181.94 c 182 1439136 215549 1 - 0.0000 -
186.01/186.99 c 187 1492709 221124 1 - 0.0000 -
191.10/192.04 c 192 1548954 226069 1 - 0.0000 -
196.09/197.09 c 197 1604191 233641 1 - 0.0000 -
201.16/202.14 c 202 1660111 238822 1 - 0.0000 -
206.14/207.19 c 207 1716577 244869 1 - 0.0000 -
211.21/212.24 c 212 1772523 250399 1 - 0.0000 -
216.19/217.29 c 217 1828814 255645 1 - 0.0000 -
221.27/222.34 c 222 1883448 262454 1 - 0.0000 -
226.25/227.39 c 227 1938175 267234 1 - 0.0000 -
231.33/232.44 c 232 1994122 272816 1 - 0.0000 -
236.31/237.49 c 238 2050146 277821 1 - 0.0000 -
241.38/242.54 c 243 2106034 281899 1 - 0.0000 -
246.36/247.59 c 248 2160850 286998 1 - 0.0000 -
251.45/252.64 c 253 2214340 293384 1 - 0.0000 -
256.42/257.69 c 258 2270683 296190 1 - 0.0000 -
261.50/262.74 c 263 2326834 300059 1 - 0.0000 -
266.48/267.79 c 268 2382362 303744 1 - 0.0000 -
271.55/272.84 c 273 2437983 308497 1 - 0.0000 -
276.53/277.89 c 278 2492504 314881 1 - 0.0000 -
281.60/282.94 c 283 2549100 317999 1 - 0.0000 -
286.57/287.99 c 288 2604999 321999 1 - 0.0000 -
291.66/293.04 c 293 2660888 326995 1 - 0.0000 -
296.64/298.09 c 298 2717006 331676 1 - 0.0000 -
301.71/303.14 c 303 2772348 336340 1 - 0.0000 -
306.69/308.19 c 308 2828568 341219 1 - 0.0000 -
311.76/313.24 c 313 2884575 345067 1 - 0.0000 -
316.74/318.29 c 318 2940226 348979 1 - 0.0000 -
321.82/323.34 c 323 2996015 352341 1 - 0.0000 -
326.79/328.39 c 328 3052131 356853 1 - 0.0000 -
331.88/333.44 c 333 3106997 361597 1 - 0.0000 -
336.85/338.49 c 338 3160812 367887 1 - 0.0000 -
341.94/343.54 c 344 3216593 370803 1 - 0.0000 -
346.91/348.59 c 349 3272908 373659 1 - 0.0000 -
351.99/353.64 c 354 3328485 377047 1 - 0.0000 -
356.97/358.69 c 359 3383939 380155 1 - 0.0000 -
362.05/363.74 c 364 3440076 382738 1 - 0.0000 -
367.02/368.79 c 369 3495656 386165 1 - 0.0000 -
372.10/373.84 c 374 3550989 389337 1 - 0.0000 -
377.09/378.89 c 379 3606340 393631 1 - 0.0000 -
382.17/383.94 c 384 3661983 396980 1 - 0.0000 -
387.15/388.99 c 389 3717462 401827 1 - 0.0000 -
392.24/394.04 c 394 3773156 405843 1 - 0.0000 -
397.22/399.09 c 399 3828674 409630 1 - 0.0000 -
402.30/404.14 c 404 3882598 416342 1 - 0.0000 -
407.27/409.19 c 409 3937995 419919 1 - 0.0000 -
412.34/414.24 c 414 3993340 423472 1 - 0.0000 -
417.32/419.29 c 419 4048690 428070 1 - 0.0000 -
422.40/424.34 c 424 4102825 431803 1 - 0.0000 -
427.38/429.39 c 429 4158694 434931 1 - 0.0000 -
432.45/434.44 c 434 4214824 438703 1 - 0.0000 -
437.44/439.49 c 440 4271225 441341 1 - 0.0000 -
442.51/444.54 c 445 4326825 445623 1 - 0.0000 -
447.50/449.59 c 450 4382681 448402 1 - 0.0000 -
452.58/454.64 c 455 4437830 451573 1 - 0.0000 -
457.55/459.69 c 460 4494082 454741 1 - 0.0000 -
462.63/464.74 c 465 4549261 458807 1 - 0.0000 -
467.61/469.79 c 470 4604521 461959 1 - 0.0000 -
472.69/474.84 c 475 4659630 464516 1 - 0.0000 -
477.67/479.89 c 480 4715430 466101 1 - 0.0000 -
482.74/484.94 c 485 4772298 468535 1 - 0.0000 -
487.72/489.99 c 490 4823098 477007 1 - 0.0000 -
492.80/495.04 c 495 4875898 483700 1 - 0.0000 -
497.77/500.09 c 500 4929302 489197 1 - 0.0000 -
502.85/505.14 c 505 4983179 493314 1 - 0.0000 -
507.81/510.19 c 510 5037668 496065 1 - 0.0000 -
512.88/515.24 c 515 5092028 497989 1 - 0.0000 -
517.84/520.29 c 520 5146795 501196 1 - 0.0000 -
522.92/525.34 c 525 5201625 503850 1 - 0.0000 -
527.90/530.39 c 530 5258317 507155 1 - 0.0000 -
532.96/535.44 c 535 5312928 510884 1 - 0.0000 -
537.93/540.49 c 540 5369102 514952 1 - 0.0000 -
543.00/545.54 c 546 5423804 518422 1 - 0.0000 -
547.98/550.59 c 551 5479936 519771 1 - 0.0000 -
553.06/555.64 c 556 5534952 522387 1 - 0.0000 -
558.04/560.69 c 561 5590423 525033 1 - 0.0000 -
563.12/565.74 c 566 5645515 526466 1 - 0.0000 -
568.10/570.79 c 571 5700643 527521 1 - 0.0000 -
573.17/575.84 c 576 5755771 529873 1 - 0.0000 -
578.14/580.89 c 581 5811683 531207 1 - 0.0000 -
583.21/585.94 c 586 5866765 533310 1 - 0.0000 -
588.18/590.99 c 591 5922602 534443 1 - 0.0000 -
593.27/596.04 c 596 5978260 536257 1 - 0.0000 -
598.25/601.09 c 601 6034479 538848 1 - 0.0000 -
603.33/606.14 c 606 6090674 540989 1 - 0.0000 -
608.31/611.19 c 611 6146439 541753 1 - 0.0000 -
613.38/616.24 c 616 6200112 548028 1 - 0.0000 -
618.36/621.29 c 621 6254667 553541 1 - 0.0000 -
623.43/626.34 c 626 6310220 555722 1 - 0.0000 -
628.42/631.39 c 631 6365692 557256 1 - 0.0000 -
633.49/636.44 c 636 6419847 561109 1 - 0.0000 -
638.47/641.49 c 642 6475058 561438 1 - 0.0000 -
643.55/646.54 c 647 6530556 563425 1 - 0.0000 -
648.53/651.59 c 652 6584677 566607 1 - 0.0000 -
653.61/656.64 c 657 6639339 567264 1 - 0.0000 -
658.59/661.69 c 662 6694852 570960 1 - 0.0000 -
663.67/666.74 c 667 6749596 574030 1 - 0.0000 -
668.64/671.79 c 672 6802851 580061 1 - 0.0000 -
673.72/676.84 c 677 6858334 582786 1 - 0.0000 -
678.71/681.89 c 682 6913107 583910 1 - 0.0000 -
683.78/686.94 c 687 6966611 586156 1 - 0.0000 -
688.76/691.99 c 692 7019406 585914 1 - 0.0000 -
693.85/697.04 c 697 7073448 586712 1 - 0.0000 -
698.83/702.09 c 702 7128476 587237 1 - 0.0000 -
703.91/707.14 c 707 7183193 588677 1 - 0.0000 -
708.89/712.19 c 712 7238614 587951 1 - 0.0000 -
713.96/717.24 c 717 7292589 588010 1 - 0.0000 -
718.93/722.29 c 722 7346734 588413 1 - 0.0000 -
724.02/727.34 c 727 7401562 590897 1 - 0.0000 -
729.00/732.39 c 732 7456345 591837 1 - 0.0000 -
734.07/737.44 c 737 7511133 592085 1 - 0.0000 -
739.05/742.49 c 742 7565073 594722 1 - 0.0000 -
744.13/747.54 c 748 7620324 594550 1 - 0.0000 -
749.11/752.59 c 753 7674729 594517 1 - 0.0000 -
754.19/757.64 c 758 7729699 595516 1 - 0.0000 -
759.17/762.69 c 763 7784438 595728 1 - 0.0000 -
764.25/767.74 c 768 7838669 596191 1 - 0.0000 -
769.22/772.79 c 773 7890805 602062 1 - 0.0000 -
774.30/777.84 c 778 7943739 607625 1 - 0.0000 -
779.28/782.89 c 783 7997440 611797 1 - 0.0000 -
784.36/787.94 c 788 8050004 615583 1 - 0.0000 -
789.33/792.99 c 793 8103368 617101 1 - 0.0000 -
794.42/798.04 c 798 8157640 618722 1 - 0.0000 -
799.41/803.09 c 803 8211726 619610 1 - 0.0000 -
804.48/808.14 c 808 8266205 622911 1 - 0.0000 -
809.46/813.19 c 813 8320246 624832 1 - 0.0000 -
814.53/818.24 c 818 8374803 625526 1 - 0.0000 -
819.51/823.29 c 823 8427778 629228 1 - 0.0000 -
824.58/828.34 c 828 8480524 631068 1 - 0.0000 -
829.56/833.39 c 833 8535345 632277 1 - 0.0000 -
834.64/838.44 c 838 8589567 633031 1 - 0.0000 -
839.62/843.49 c 844 8644697 633790 1 - 0.0000 -
844.70/848.54 c 849 8699846 636034 1 - 0.0000 -
849.68/853.59 c 854 8754606 638529 1 - 0.0000 -
854.75/858.64 c 859 8808915 639120 1 - 0.0000 -
859.73/863.69 c 864 8862573 640302 1 - 0.0000 -
864.81/868.74 c 869 8916912 641125 1 - 0.0000 -
869.79/873.79 c 874 8970165 644467 1 - 0.0000 -
874.87/878.84 c 879 9023733 646525 1 - 0.0000 -
879.85/883.89 c 884 9078745 647968 1 - 0.0000 -
884.92/888.94 c 889 9133735 649219 1 - 0.0000 -
889.90/893.99 c 894 9188574 650052 1 - 0.0000 -
894.99/899.04 c 899 9244197 652288 1 - 0.0000 -
899.96/904.09 c 904 9299347 652924 1 - 0.0000 -
905.04/909.14 c 909 9353787 654403 1 - 0.0000 -
910.01/914.19 c 914 9408513 656633 1 - 0.0000 -
915.08/919.24 c 919 9463109 657565 1 - 0.0000 -
920.06/924.29 c 924 9518451 658822 1 - 0.0000 -
925.14/929.34 c 929 9572971 658280 1 - 0.0000 -
930.12/934.39 c 934 9626799 662096 1 - 0.0000 -
935.20/939.44 c 939 9680358 662520 1 - 0.0000 -
940.17/944.49 c 944 9733230 662003 1 - 0.0000 -
945.25/949.54 c 950 9787625 661169 1 - 0.0000 -
950.23/954.59 c 955 9842852 658832 1 - 0.0000 -
955.30/959.64 c 960 9897621 659738 1 - 0.0000 -
960.28/964.69 c 965 9952344 660544 1 - 0.0000 -
965.36/969.74 c 970 10008338 660647 1 - 0.0000 -
970.33/974.79 c 975 10063745 659284 1 - 0.0000 -
975.42/979.84 c 980 10118525 659065 1 - 0.0000 -
980.39/984.89 c 985 10173579 658151 1 - 0.0000 -
985.47/989.94 c 990 10228939 657705 1 - 0.0000 -
990.44/994.99 c 995 10284406 657022 1 - 0.0000 -
995.54/1000.04 c 1000 10339547 657920 1 - 0.0000 -
1000.52/1005.09 c 1005 10395045 656652 1 - 0.0000 -
1005.59/1010.14 c 1010 10450959 656730 1 - 0.0000 -
1010.56/1015.19 c 1015 10506885 656553 1 - 0.0000 -
1015.63/1020.24 c 1020 10563615 657740 1 - 0.0000 -
1020.60/1025.29 c 1025 10619639 658545 1 - 0.0000 -
1025.68/1030.34 c 1030 10674557 660139 1 - 0.0000 -
1030.66/1035.39 c 1035 10725940 668608 1 - 0.0000 -
1035.75/1040.44 c 1040 10780032 674095 1 - 0.0000 -
1040.72/1045.49 c 1046 10834937 678644 1 - 0.0000 -
1045.79/1050.54 c 1051 10889738 682839 1 - 0.0000 -
1050.78/1055.59 c 1056 10945179 685248 1 - 0.0000 -
1055.85/1060.64 c 1061 11000542 688126 1 - 0.0000 -
1060.84/1065.69 c 1066 11056762 688502 1 - 0.0000 -
1065.91/1070.74 c 1071 11112299 690628 1 - 0.0000 -
1070.90/1075.79 c 1076 11167763 691991 1 - 0.0000 -
1075.98/1080.84 c 1081 11223885 691842 1 - 0.0000 -
1080.96/1085.89 c 1086 11280485 691775 1 - 0.0000 -
1086.03/1090.94 c 1091 11337454 691368 1 - 0.0000 -
1091.01/1095.99 c 1096 11393453 692947 1 - 0.0000 -
1096.09/1101.04 c 1101 11450781 694266 1 - 0.0000 -
1101.07/1106.09 c 1106 11506615 693679 1 - 0.0000 -
1106.16/1111.14 c 1111 11562566 692960 1 - 0.0000 -
1111.13/1116.19 c 1116 11618808 691785 1 - 0.0000 -
1116.20/1121.24 c 1121 11674913 691039 1 - 0.0000 -
1121.19/1126.29 c 1126 11731516 689910 1 - 0.0000 -
1126.26/1131.34 c 1131 11788869 689565 1 - 0.0000 -
1131.24/1136.39 c 1136 11845492 687756 1 - 0.0000 -
1136.32/1141.44 c 1141 11900652 688946 1 - 0.0000 -
1141.30/1146.49 c 1146 11957098 688341 1 - 0.0000 -
1146.38/1151.54 c 1152 12012987 688123 1 - 0.0000 -
1151.36/1156.59 c 1157 12068830 689844 1 - 0.0000 -
1156.44/1161.64 c 1162 12124795 688874 1 - 0.0000 -
1161.42/1166.69 c 1167 12181951 688132 1 - 0.0000 -
1166.50/1171.74 c 1172 12238740 688499 1 - 0.0000 -
1171.48/1176.79 c 1177 12294497 687311 1 - 0.0000 -
1176.56/1181.84 c 1182 12351227 686437 1 - 0.0000 -
1181.54/1186.89 c 1187 12408294 686773 1 - 0.0000 -
1186.62/1191.94 c 1192 12464605 686108 1 - 0.0000 -
1191.60/1196.99 c 1197 12520526 687274 1 - 0.0000 -
1196.69/1202.04 c 1202 12577165 686406 1 - 0.0000 -
1201.67/1207.09 c 1207 12633204 686096 1 - 0.0000 -
1206.75/1212.14 c 1212 12689984 685173 1 - 0.0000 -
1211.72/1217.19 c 1217 12745734 683948 1 - 0.0000 -
1216.80/1222.24 c 1222 12798511 689519 1 - 0.0000 -
1221.77/1227.29 c 1227 12853154 690140 1 - 0.0000 -
1226.86/1232.34 c 1232 12908455 690588 1 - 0.0000 -
1231.83/1237.39 c 1237 12963969 691838 1 - 0.0000 -
1236.92/1242.44 c 1242 13019899 692855 1 - 0.0000 -
1241.90/1247.49 c 1248 13075340 692089 1 - 0.0000 -
1246.97/1252.54 c 1253 13130846 691760 1 - 0.0000 -
1251.96/1257.59 c 1258 13186782 691394 1 - 0.0000 -
1257.03/1262.64 c 1263 13241606 691519 1 - 0.0000 -
1262.01/1267.69 c 1268 13297481 691466 1 - 0.0000 -
1267.09/1272.74 c 1273 13347246 701170 1 - 0.0000 -
1272.07/1277.79 c 1278 13400120 706951 1 - 0.0000 -
1277.15/1282.84 c 1283 13452808 712257 1 - 0.0000 -
1282.13/1287.89 c 1288 13506248 715647 1 - 0.0000 -
1287.21/1292.94 c 1293 13558932 719326 1 - 0.0000 -
1292.19/1297.99 c 1298 13610003 725179 1 - 0.0000 -
1297.28/1303.04 c 1303 13661694 727663 1 - 0.0000 -
1302.26/1308.09 c 1308 13713707 728773 1 - 0.0000 -
1307.34/1313.14 c 1313 13766890 730179 1 - 0.0000 -
1312.32/1318.19 c 1318 13819673 731595 1 - 0.0000 -
1317.38/1323.24 c 1323 13872376 732283 1 - 0.0000 -
1322.37/1328.29 c 1328 13925023 732764 1 - 0.0000 -
1327.45/1333.34 c 1333 13977841 734267 1 - 0.0000 -
1332.43/1338.39 c 1338 14029651 735439 1 - 0.0000 -
1337.51/1343.44 c 1343 14083696 737651 1 - 0.0000 -
1342.48/1348.49 c 1348 14136679 737236 1 - 0.0000 -
1347.56/1353.54 c 1354 14189365 736984 1 - 0.0000 -
1352.55/1358.59 c 1359 14242983 736989 1 - 0.0000 -
1357.62/1363.64 c 1364 14295951 736446 1 - 0.0000 -
1362.60/1368.69 c 1369 14348757 740718 1 - 0.0000 -
1367.68/1373.74 c 1374 14403204 744871 1 - 0.0000 -
1372.66/1378.79 c 1379 14458786 747270 1 - 0.0000 -
1377.74/1383.84 c 1384 14514600 747460 1 - 0.0000 -
1382.72/1388.89 c 1389 14570074 747737 1 - 0.0000 -
1387.80/1393.94 c 1394 14624450 747466 1 - 0.0000 -
1392.78/1398.99 c 1399 14679985 747057 1 - 0.0000 -
1397.86/1404.04 c 1404 14734534 747915 1 - 0.0000 -
1402.85/1409.09 c 1409 14789071 747931 1 - 0.0000 -
1407.93/1414.14 c 1414 14843555 749070 1 - 0.0000 -
1412.91/1419.19 c 1419 14898663 750175 1 - 0.0000 -
1417.98/1424.24 c 1424 14952116 752743 1 - 0.0000 -
1422.96/1429.29 c 1429 15006530 752875 1 - 0.0000 -
1428.03/1434.34 c 1434 15060743 755045 1 - 0.0000 -
1433.01/1439.39 c 1439 15115642 757998 1 - 0.0000 -
1438.09/1444.44 c 1444 15171165 758101 1 - 0.0000 -
1443.07/1449.49 c 1450 15227106 757564 1 - 0.0000 -
1448.15/1454.54 c 1455 15283026 756383 1 - 0.0000 -
1453.13/1459.59 c 1460 15338521 755530 1 - 0.0000 -
1458.21/1464.64 c 1465 15393594 755021 1 - 0.0000 -
1463.19/1469.69 c 1470 15448934 754353 1 - 0.0000 -
1468.27/1474.74 c 1475 15504801 755494 1 - 0.0000 -
1473.25/1479.79 c 1480 15559977 757603 1 - 0.0000 -
1478.33/1484.84 c 1485 15613978 757782 1 - 0.0000 -
1483.30/1489.89 c 1490 15667580 758571 1 - 0.0000 -
1488.37/1494.94 c 1495 15722561 758470 1 - 0.0000 -
1493.34/1499.99 c 1500 15777866 757826 1 - 0.0000 -
1498.42/1505.04 c 1505 15833137 756706 1 - 0.0000 -
1503.39/1510.09 c 1510 15888326 756242 1 - 0.0000 -
1508.47/1515.14 c 1515 15942881 757089 1 - 0.0000 -
1513.44/1520.19 c 1520 15996194 757903 1 - 0.0000 -
1518.50/1525.24 c 1525 16050192 760268 1 - 0.0000 -
1523.47/1530.29 c 1530 16106391 760241 1 - 0.0000 -
1528.55/1535.34 c 1535 16161419 758962 1 - 0.0000 -
1533.52/1540.39 c 1540 16215508 759888 1 - 0.0000 -
1538.59/1545.44 c 1545 16269862 763251 1 - 0.0000 -
1543.57/1550.49 c 1550 16325002 763031 1 - 0.0000 -
1548.63/1555.54 c 1556 16380066 761366 1 - 0.0000 -
1553.61/1560.59 c 1561 16432224 762628 1 - 0.0000 -
1558.68/1565.64 c 1566 16486271 762714 1 - 0.0000 -
1563.65/1570.69 c 1571 16541066 763178 1 - 0.0000 -
1568.72/1575.74 c 1576 16595817 763216 1 - 0.0000 -
1573.69/1580.79 c 1581 16650365 763041 1 - 0.0000 -
1578.77/1585.84 c 1586 16705105 762879 1 - 0.0000 -
1583.74/1590.89 c 1591 16760053 762151 1 - 0.0000 -
1588.81/1595.94 c 1596 16814972 761573 1 - 0.0000 -
1593.78/1600.99 c 1601 16869085 761839 1 - 0.0000 -
1598.87/1606.04 c 1606 16923107 763480 1 - 0.0000 -
1603.85/1611.09 c 1611 16977721 765949 1 - 0.0000 -
1608.92/1616.14 c 1616 17033243 767530 1 - 0.0000 -
1613.91/1621.19 c 1621 17089394 766430 1 - 0.0000 -
1618.97/1626.24 c 1626 17144240 766263 1 - 0.0000 -
1623.95/1631.29 c 1631 17199645 765181 1 - 0.0000 -
1629.03/1636.34 c 1636 17254432 765776 1 - 0.0000 -
1634.01/1641.39 c 1641 17308223 765492 1 - 0.0000 -
1639.10/1646.44 c 1646 17362930 764230 1 - 0.0000 -
1644.07/1651.49 c 1652 17418034 764286 1 - 0.0000 -
1649.15/1656.54 c 1657 17473189 763464 1 - 0.0000 -
1654.13/1661.59 c 1662 17528353 762401 1 - 0.0000 -
1659.21/1666.64 c 1667 17583864 761664 1 - 0.0000 -
1664.19/1671.69 c 1672 17639963 762587 1 - 0.0000 -
1669.27/1676.74 c 1677 17695164 761849 1 - 0.0000 -
1674.25/1681.79 c 1682 17749856 761692 1 - 0.0000 -
1679.34/1686.84 c 1687 17804914 762588 1 - 0.0000 -
1684.31/1691.89 c 1692 17859357 762266 1 - 0.0000 -
1689.39/1696.94 c 1697 17914514 763595 1 - 0.0000 -
1694.37/1701.99 c 1702 17969092 763522 1 - 0.0000 -
1699.46/1707.04 c 1707 18024754 762681 1 - 0.0000 -
1704.44/1712.09 c 1712 18079876 761857 1 - 0.0000 -
1709.52/1717.14 c 1717 18131485 764689 1 - 0.0000 -
1714.50/1722.19 c 1722 18185989 764431 1 - 0.0000 -
1719.56/1727.24 c 1727 18240875 763972 1 - 0.0000 -
1724.54/1732.29 c 1732 18296209 763583 1 - 0.0000 -
1729.62/1737.34 c 1737 18350683 762469 1 - 0.0000 -
1734.60/1742.39 c 1742 18405881 761775 1 - 0.0000 -
1739.69/1747.44 c 1747 18460793 761733 1 - 0.0000 -
1744.67/1752.49 c 1752 18515375 761377 1 - 0.0000 -
1749.75/1757.54 c 1758 18569406 761832 1 - 0.0000 -
1754.73/1762.59 c 1763 18623740 761276 1 - 0.0000 -
1759.81/1767.64 c 1768 18678646 762328 1 - 0.0000 -
1764.79/1772.69 c 1773 18732789 762418 1 - 0.0000 -
1769.86/1777.74 c 1778 18788539 762574 1 - 0.0000 -
1774.84/1782.79 c 1783 18843834 762062 1 - 0.0000 -
1779.92/1787.84 c 1788 18897088 762170 1 - 0.0000 -
1784.91/1792.89 c 1793 18950549 761973 1 - 0.0000 -
1789.98/1797.94 c 1798 19005748 762155 1 - 0.0000 -
1794.97/1802.99 c 1803 19061107 761852 1 - 0.0000 -
1800.06/1808.04 c 1808 19116025 762042 1 - 0.0000 -
1805.03/1813.09 c 1813 19171223 760840 1 - 0.0000 -
1810.12/1818.14 c 1818 19226858 760950 1 - 0.0000 -
1815.10/1823.19 c 1823 19281507 763387 1 - 0.0000 -
1820.16/1828.24 c 1828 19336183 766384 1 - 0.0000 -
1825.14/1833.29 c 1833 19391357 766257 1 - 0.0000 -
1830.22/1838.34 c 1838 19447191 765734 1 - 0.0000 -
1835.20/1843.39 c 1843 19501824 765475 1 - 0.0000 -
1840.28/1848.44 c 1848 19556738 765319 1 - 0.0000 -
1845.26/1853.49 c 1854 19611819 765691 1 - 0.0000 -
1850.34/1858.54 c 1859 19667203 765203 1 - 0.0000 -
1855.32/1863.59 c 1864 19721670 766846 1 - 0.0000 -
1860.40/1868.64 c 1869 19776429 766593 1 - 0.0000 -
1865.38/1873.69 c 1874 19830968 766303 1 - 0.0000 -
1870.45/1878.74 c 1879 19883902 767941 1 - 0.0000 -
1875.44/1883.79 c 1884 19937044 767790 1 - 0.0000 -
1880.52/1888.84 c 1889 19992251 766540 1 - 0.0000 -
1885.49/1893.89 c 1894 20046812 767565 1 - 0.0000 -
1890.57/1898.94 c 1899 20102834 768370 1 - 0.0000 -
1895.56/1903.99 c 1904 20156911 769331 1 - 0.0000 -
1900.64/1909.04 c 1909 20212168 768460 1 - 0.0000 -
1905.62/1914.09 c 1914 20262331 774642 1 - 0.0000 -
1910.71/1919.14 c 1919 20313861 776195 1 - 0.0000 -
1915.69/1924.19 c 1924 20365753 775851 1 - 0.0000 -
1920.75/1929.24 c 1929 20418500 775131 1 - 0.0000 -
1925.73/1934.29 c 1934 20472405 777209 1 - 0.0000 -
1930.81/1939.34 c 1939 20527274 775862 1 - 0.0000 -
1935.79/1944.39 c 1944 20581900 775259 1 - 0.0000 -
1940.87/1949.44 c 1949 20636564 776110 1 - 0.0000 -
1945.85/1954.49 c 1954 20690965 775085 1 - 0.0000 -
1950.93/1959.54 c 1960 20745503 774382 1 - 0.0000 -
1955.91/1964.59 c 1965 20799924 773839 1 - 0.0000 -
1960.99/1969.64 c 1970 20852318 775537 1 - 0.0000 -
1965.97/1974.69 c 1975 20905782 774446 1 - 0.0000 -
1971.05/1979.74 c 1980 20959052 774429 1 - 0.0000 -
1976.03/1984.79 c 1985 21011896 776507 1 - 0.0000 -
1981.11/1989.84 c 1990 21066896 775754 1 - 0.0000 -
1986.09/1994.89 c 1995 21121559 774989 1 - 0.0000 -
1991.16/1999.94 c 2000 21176628 775149 1 - 0.0000 -
1996.15/2004.99 c 2005 21228585 781878 1 - 0.0000 -
2001.24/2010.04 c 2010 21282415 784984 1 - 0.0000 -
2006.22/2015.09 c 2015 21336401 786467 1 - 0.0000 -
2011.30/2020.14 c 2020 21391105 785884 1 - 0.0000 -
2016.28/2025.19 c 2025 21446495 784321 1 - 0.0000 -
2021.34/2030.24 c 2030 21500965 786883 1 - 0.0000 -
2026.33/2035.29 c 2035 21557374 785388 1 - 0.0000 -
2031.40/2040.34 c 2040 21612202 784720 1 - 0.0000 -
2036.38/2045.39 c 2045 21666185 783968 1 - 0.0000 -
2041.46/2050.44 c 2050 21721000 784335 1 - 0.0000 -
2046.44/2055.49 c 2056 21775357 785715 1 - 0.0000 -
2051.51/2060.54 c 2061 21829937 786275 1 - 0.0000 -
2056.49/2065.59 c 2066 21883710 785360 1 - 0.0000 -
2061.57/2070.64 c 2071 21938315 784339 1 - 0.0000 -
2066.55/2075.69 c 2076 21992098 783109 1 - 0.0000 -
2071.63/2080.74 c 2081 22046084 783223 1 - 0.0000 -
2076.62/2085.79 c 2086 22101199 784401 1 - 0.0000 -
2081.70/2090.84 c 2091 22154915 783477 1 - 0.0000 -
2086.67/2095.89 c 2096 22208705 785206 1 - 0.0000 -
2091.75/2100.94 c 2101 22263105 785144 1 - 0.0000 -
2096.73/2105.99 c 2106 22318655 784545 1 - 0.0000 -
2101.82/2111.04 c 2111 22373074 783953 1 - 0.0000 -
2106.80/2116.09 c 2116 22428536 783860 1 - 0.0000 -
2111.88/2121.14 c 2121 22482854 783416 1 - 0.0000 -
2116.86/2126.19 c 2126 22536915 783077 1 - 0.0000 -
2121.92/2131.24 c 2131 22589945 783917 1 - 0.0000 -
2126.90/2136.29 c 2136 22643214 786012 1 - 0.0000 -
2131.98/2141.34 c 2141 22696918 785875 1 - 0.0000 -
2136.96/2146.39 c 2146 22750860 785446 1 - 0.0000 -
2142.04/2151.44 c 2151 22803328 788060 1 - 0.0000 -
2147.02/2156.50 c 2156 22856967 786958 1 - 0.0000 -
2152.10/2161.54 c 2162 22913066 789587 1 - 0.0000 -
2157.08/2166.59 c 2167 22968883 789601 1 - 0.0000 -
2162.16/2171.64 c 2172 23023227 791719 1 - 0.0000 -
2167.14/2176.69 c 2177 23078274 791975 1 - 0.0000 -
2172.22/2181.74 c 2182 23133252 790953 1 - 0.0000 -
2177.20/2186.79 c 2187 23188456 789648 1 - 0.0000 -
2182.28/2191.84 c 2192 23243436 787905 1 - 0.0000 -
2187.26/2196.89 c 2197 23298058 787265 1 - 0.0000 -
2192.34/2201.95 c 2202 23351930 789380 1 - 0.0000 -
2197.31/2206.99 c 2207 23405405 789192 1 - 0.0000 -
2202.40/2212.04 c 2212 23459973 788423 1 - 0.0000 -
2207.38/2217.09 c 2217 23514944 788426 1 - 0.0000 -
2212.46/2222.14 c 2222 23569931 788061 1 - 0.0000 -
2217.44/2227.19 c 2227 23625246 787846 1 - 0.0000 -
2222.51/2232.24 c 2232 23679850 787046 1 - 0.0000 -
2227.49/2237.29 c 2237 23734389 787174 1 - 0.0000 -
2232.57/2242.34 c 2242 23788406 788563 1 - 0.0000 -
2237.55/2247.39 c 2247 23842325 789728 1 - 0.0000 -
2242.62/2252.44 c 2252 23897342 788722 1 - 0.0000 -
2247.61/2257.49 c 2258 23951243 788360 1 - 0.0000 -
2252.68/2262.54 c 2263 24006285 787983 1 - 0.0000 -
2257.66/2267.59 c 2268 24060672 787810 1 - 0.0000 -
2262.75/2272.64 c 2273 24115435 787422 1 - 0.0000 -
2267.72/2277.69 c 2278 24170016 786147 1 - 0.0000 -
2272.80/2282.74 c 2283 24224661 784401 1 - 0.0000 -
2277.78/2287.79 c 2288 24279862 783775 1 - 0.0000 -
2282.86/2292.84 c 2293 24334598 782244 1 - 0.0000 -
2287.84/2297.89 c 2298 24388722 782465 1 - 0.0000 -
2292.92/2302.94 c 2303 24440469 783838 1 - 0.0000 -
2297.90/2307.99 c 2308 24494312 782860 1 - 0.0000 -
2302.98/2313.04 c 2313 24548534 783143 1 - 0.0000 -
2307.97/2318.09 c 2318 24603617 780655 1 - 0.0000 -
2313.05/2323.14 c 2323 24658624 779054 1 - 0.0000 -
2318.03/2328.19 c 2328 24713136 777991 1 - 0.0000 -
2323.09/2333.24 c 2333 24768924 777261 1 - 0.0000 -
2328.08/2338.29 c 2338 24823466 776841 1 - 0.0000 -
2333.15/2343.34 c 2343 24878667 774743 1 - 0.0000 -
2338.13/2348.39 c 2348 24933257 773870 1 - 0.0000 -
2343.21/2353.44 c 2353 24987596 774313 1 - 0.0000 -
2348.19/2358.49 c 2358 25042170 771730 1 - 0.0000 -
2353.27/2363.54 c 2364 25096533 770641 1 - 0.0000 -
2358.25/2368.59 c 2369 25150600 770530 1 - 0.0000 -
2363.33/2373.64 c 2374 25205007 769129 1 - 0.0000 -
2368.31/2378.69 c 2379 25259363 769806 1 - 0.0000 -
2373.39/2383.74 c 2384 25314171 768331 1 - 0.0000 -
2378.37/2388.79 c 2389 25367910 767272 1 - 0.0000 -
2383.45/2393.84 c 2394 25422376 766716 1 - 0.0000 -
2388.43/2398.89 c 2399 25476325 765657 1 - 0.0000 -
2393.50/2403.94 c 2404 25527961 766530 1 - 0.0000 -
2398.48/2408.99 c 2409 25582021 765996 1 - 0.0000 -
2403.58/2414.04 c 2414 25636251 765823 1 - 0.0000 -
2408.55/2419.09 c 2419 25691648 764430 1 - 0.0000 -
2413.63/2424.14 c 2424 25747094 762791 1 - 0.0000 -
2418.62/2429.19 c 2429 25802295 762890 1 - 0.0000 -
2423.68/2434.24 c 2434 25858365 763367 1 - 0.0000 -
2428.66/2439.29 c 2439 25913658 761624 1 - 0.0000 -
2433.74/2444.34 c 2444 25968202 761503 1 - 0.0000 -
2438.72/2449.39 c 2449 26023083 761065 1 - 0.0000 -
2443.79/2454.44 c 2454 26078650 760702 1 - 0.0000 -
2448.77/2459.49 c 2460 26133431 760855 1 - 0.0000 -
2453.84/2464.54 c 2465 26187496 760738 1 - 0.0000 -
2458.81/2469.59 c 2470 26241392 760487 1 - 0.0000 -
2463.89/2474.64 c 2475 26296299 760816 1 - 0.0000 -
2468.86/2479.70 c 2480 26351828 762847 1 - 0.0000 -
2473.93/2484.74 c 2485 26408330 761577 1 - 0.0000 -
2479.00/2489.81 c 2490 26462964 760921 1 - 0.0000 -
2483.98/2494.86 c 2495 26517439 761355 1 - 0.0000 -
2489.05/2499.91 c 2500 26570776 762101 1 - 0.0000 -
2494.02/2504.96 c 2505 26626424 761665 1 - 0.0000 -
2499.11/2510.01 c 2510 26680995 760461 1 - 0.0000 -
2504.08/2515.06 c 2515 26735817 760349 1 - 0.0000 -
2509.16/2520.11 c 2520 26789428 758678 1 - 0.0000 -
2514.15/2525.16 c 2525 26843079 756811 1 - 0.0000 -
2519.21/2530.21 c 2530 26897629 753162 1 - 0.0000 -
2524.19/2535.26 c 2535 26952101 751979 1 - 0.0000 -
2529.27/2540.31 c 2540 27006147 749983 1 - 0.0000 -
2534.24/2545.36 c 2545 27058836 751947 1 - 0.0000 -
2539.32/2550.41 c 2550 27111928 751767 1 - 0.0000 -
2544.31/2555.46 c 2555 27164770 753063 1 - 0.0000 -
2549.39/2560.51 c 2561 27219724 752384 1 - 0.0000 -
2554.36/2565.56 c 2566 27273639 750941 1 - 0.0000 -
2559.44/2570.61 c 2571 27328229 749489 1 - 0.0000 -
2564.43/2575.66 c 2576 27382898 749485 1 - 0.0000 -
2569.50/2580.71 c 2581 27438089 750717 1 - 0.0000 -
2574.49/2585.76 c 2586 27493995 750259 1 - 0.0000 -
2579.57/2590.81 c 2591 27548415 749738 1 - 0.0000 -
2584.54/2595.86 c 2596 27602943 748937 1 - 0.0000 -
2589.62/2600.91 c 2601 27660155 749616 1 - 0.0000 -
2594.60/2605.96 c 2606 27714694 748682 1 - 0.0000 -
2599.69/2611.01 c 2611 27770138 748279 1 - 0.0000 -
2604.67/2616.06 c 2616 27822087 748308 1 - 0.0000 -
2609.74/2621.11 c 2621 27876536 747029 1 - 0.0000 -
2614.73/2626.16 c 2626 27931166 745790 1 - 0.0000 -
2619.79/2631.21 c 2631 27983368 747185 1 - 0.0000 -
2624.77/2636.26 c 2636 28033935 747614 1 - 0.0000 -
2629.85/2641.31 c 2641 28086581 747728 1 - 0.0000 -
2634.83/2646.36 c 2646 28141409 746465 1 - 0.0000 -
2639.91/2651.41 c 2651 28194510 745676 1 - 0.0000 -
2644.89/2656.46 c 2656 28247379 750382 1 - 0.0000 -
2649.97/2661.51 c 2662 28302156 752994 1 - 0.0000 -
2654.94/2666.56 c 2667 28356885 754740 1 - 0.0000 -
2660.02/2671.61 c 2672 28411679 755763 1 - 0.0000 -
2665.00/2676.66 c 2677 28466885 756402 1 - 0.0000 -
2670.08/2681.71 c 2682 28522210 755202 1 - 0.0000 -
2675.06/2686.76 c 2687 28576737 754844 1 - 0.0000 -
2680.14/2691.81 c 2692 28631857 753784 1 - 0.0000 -
2685.12/2696.86 c 2697 28686796 752199 1 - 0.0000 -
2690.19/2701.91 c 2702 28742868 752327 1 - 0.0000 -
2695.17/2706.96 c 2707 28797201 751467 1 - 0.0000 -
2700.26/2712.01 c 2712 28852215 749736 1 - 0.0000 -
2705.24/2717.06 c 2717 28907003 748037 1 - 0.0000 -
2710.32/2722.11 c 2722 28960743 747840 1 - 0.0000 -
2715.30/2727.16 c 2727 29012569 752394 1 - 0.0000 -
2720.36/2732.21 c 2732 29066064 755636 1 - 0.0000 -
2725.35/2737.26 c 2737 29119926 756118 1 - 0.0000 -
2730.42/2742.31 c 2742 29174275 756865 1 - 0.0000 -
2735.40/2747.36 c 2747 29227275 758351 1 - 0.0000 -
2740.48/2752.41 c 2752 29280876 758631 1 - 0.0000 -
2745.46/2757.46 c 2757 29335016 755903 1 - 0.0000 -
2750.54/2762.51 c 2763 29387334 755309 1 - 0.0000 -
2755.52/2767.56 c 2768 29440875 752363 1 - 0.0000 -
2760.60/2772.61 c 2773 29495364 750963 1 - 0.0000 -
2765.58/2777.66 c 2778 29549912 749712 1 - 0.0000 -
2770.66/2782.71 c 2783 29602168 749311 1 - 0.0000 -
2775.64/2787.76 c 2788 29656755 748398 1 - 0.0000 -
2780.71/2792.81 c 2793 29710568 748305 1 - 0.0000 -
2785.69/2797.86 c 2798 29766797 749504 1 - 0.0000 -
2790.77/2802.91 c 2803 29822366 750528 1 - 0.0000 -
2795.75/2807.96 c 2808 29877560 748554 1 - 0.0000 -
2800.84/2813.01 c 2813 29932218 747262 1 - 0.0000 -
2805.82/2818.06 c 2818 29985419 747536 1 - 0.0000 -
2810.90/2823.11 c 2823 30039622 746944 1 - 0.0000 -
2815.88/2828.16 c 2828 30092201 748089 1 - 0.0000 -
2820.94/2833.21 c 2833 30145932 746611 1 - 0.0000 -
2825.92/2838.26 c 2838 30200503 745616 1 - 0.0000 -
2831.00/2843.31 c 2843 30253890 746580 1 - 0.0000 -
2835.98/2848.36 c 2848 30308292 747212 1 - 0.0000 -
2841.06/2853.41 c 2853 30362762 746022 1 - 0.0000 -
2846.03/2858.46 c 2858 30417541 743659 1 - 0.0000 -
2851.11/2863.51 c 2864 30472420 742392 1 - 0.0000 -
2856.09/2868.56 c 2869 30527853 742836 1 - 0.0000 -
2861.17/2873.61 c 2874 30582753 742298 1 - 0.0000 -
2866.15/2878.66 c 2879 30637408 741890 1 - 0.0000 -
2871.23/2883.71 c 2884 30692335 740965 1 - 0.0000 -
2876.21/2888.76 c 2889 30746726 739764 1 - 0.0000 -
2881.29/2893.81 c 2894 30801500 738413 1 - 0.0000 -
2886.27/2898.86 c 2899 30854903 740685 1 - 0.0000 -
2891.35/2903.91 c 2904 30907828 743874 1 - 0.0000 -
2896.33/2908.96 c 2909 30962523 742635 1 - 0.0000 -
2901.42/2914.01 c 2914 31015251 742396 1 - 0.0000 -
2906.39/2919.06 c 2919 31068575 740963 1 - 0.0000 -
2911.47/2924.11 c 2924 31121446 742796 1 - 0.0000 -
2916.45/2929.16 c 2929 31173247 748477 1 - 0.0000 -
2921.52/2934.21 c 2934 31226566 752391 1 - 0.0000 -
2926.50/2939.26 c 2939 31281408 754443 1 - 0.0000 -
2931.58/2944.31 c 2944 31335934 756832 1 - 0.0000 -
2936.56/2949.36 c 2949 31390869 758555 1 - 0.0000 -
2941.64/2954.41 c 2954 31444576 760743 1 - 0.0000 -
2946.61/2959.46 c 2959 31498672 762473 1 - 0.0000 -
2951.69/2964.51 c 2965 31553790 762456 1 - 0.0000 -
2956.66/2969.56 c 2970 31608455 760473 1 - 0.0000 -
2961.74/2974.61 c 2975 31662933 759830 1 - 0.0000 -
2966.71/2979.66 c 2980 31718225 758575 1 - 0.0000 -
2971.78/2984.71 c 2985 31773371 756382 1 - 0.0000 -
2976.76/2989.76 c 2990 31827555 756073 1 - 0.0000 -
2981.83/2994.81 c 2995 31882093 755757 1 - 0.0000 -
2986.81/2999.86 c 3000 31936493 756829 1 - 0.0000 -
2991.88/3004.91 c 3005 31991374 755307 1 - 0.0000 -
2996.86/3009.96 c 3010 32045622 753851 1 - 0.0000 -
3001.95/3015.01 c 3015 32099807 753707 1 - 0.0000 -
3006.93/3020.06 c 3020 32155253 751795 1 - 0.0000 -
3012.01/3025.11 c 3025 32210635 750737 1 - 0.0000 -
3016.99/3030.16 c 3030 32264993 750622 1 - 0.0000 -
3022.05/3035.21 c 3035 32319618 749375 1 - 0.0000 -
3027.03/3040.26 c 3040 32373814 747958 1 - 0.0000 -
3032.11/3045.31 c 3045 32428815 747821 1 - 0.0000 -
3037.08/3050.36 c 3050 32484311 746758 1 - 0.0000 -
3042.16/3055.41 c 3055 32536462 749418 1 - 0.0000 -
3047.14/3060.46 c 3060 32590316 749192 1 - 0.0000 -
3052.21/3065.51 c 3066 32644383 748774 1 - 0.0000 -
3057.20/3070.56 c 3071 32699425 746807 1 - 0.0000 -
3062.27/3075.61 c 3076 32753255 745325 1 - 0.0000 -
3067.24/3080.66 c 3081 32807028 746551 1 - 0.0000 -
3072.32/3085.71 c 3086 32859911 748294 1 - 0.0000 -
3077.30/3090.76 c 3091 32915638 747136 1 - 0.0000 -
3082.37/3095.81 c 3096 32970935 744848 1 - 0.0000 -
3087.36/3100.86 c 3101 33026180 744489 1 - 0.0000 -
3092.42/3105.91 c 3106 33079116 747928 1 - 0.0000 -
3097.41/3110.96 c 3111 33132179 750280 1 - 0.0000 -
3102.49/3116.01 c 3116 33186274 751414 1 - 0.0000 -
3107.47/3121.06 c 3121 33241015 750034 1 - 0.0000 -
3112.55/3126.11 c 3126 33295528 747826 1 - 0.0000 -
3117.53/3131.16 c 3131 33351165 746785 1 - 0.0000 -
3122.59/3136.21 c 3136 33405889 746571 1 - 0.0000 -
3127.57/3141.26 c 3141 33459667 745882 1 - 0.0000 -
3132.65/3146.31 c 3146 33512490 747982 1 - 0.0000 -
3137.62/3151.36 c 3151 33565486 746696 1 - 0.0000 -
3142.70/3156.41 c 3156 33619232 747229 1 - 0.0000 -
3147.68/3161.46 c 3161 33673546 746242 1 - 0.0000 -
3152.75/3166.51 c 3167 33728421 747610 1 - 0.0000 -
3157.73/3171.56 c 3172 33784280 746538 1 - 0.0000 -
3162.81/3176.61 c 3177 33839105 745432 1 - 0.0000 -
3167.80/3181.66 c 3182 33894516 743129 1 - 0.0000 -
3172.86/3186.71 c 3187 33949123 741909 1 - 0.0000 -
3177.85/3191.79 c 3192 34003416 741592 1 - 0.0000 -
3182.93/3196.84 c 3197 34057225 742592 1 - 0.0000 -
3187.91/3201.89 c 3202 34112319 742036 1 - 0.0000 -
3192.99/3206.94 c 3207 34167617 740703 1 - 0.0000 -
3197.97/3211.99 c 3212 34221600 741778 1 - 0.0000 -
3203.05/3217.04 c 3217 34274670 746035 1 - 0.0000 -
3208.03/3222.09 c 3222 34327945 748014 1 - 0.0000 -
3213.11/3227.14 c 3227 34382357 748886 1 - 0.0000 -
3218.09/3232.19 c 3232 34437275 747059 1 - 0.0000 -
3223.16/3237.24 c 3237 34491459 747029 1 - 0.0000 -
3228.14/3242.29 c 3242 34545238 745809 1 - 0.0000 -
3233.22/3247.34 c 3247 34599622 743496 1 - 0.0000 -
3238.19/3252.39 c 3252 34654349 742997 1 - 0.0000 -
3243.28/3257.44 c 3257 34709355 741125 1 - 0.0000 -
3248.25/3262.49 c 3262 34763595 741060 1 - 0.0000 -
3253.33/3267.54 c 3268 34817118 740918 1 - 0.0000 -
3258.32/3272.59 c 3273 34871011 739696 1 - 0.0000 -
3263.39/3277.64 c 3278 34925840 737516 1 - 0.0000 -
3268.37/3282.69 c 3283 34980754 736308 1 - 0.0000 -
3273.45/3287.74 c 3288 35035242 738476 1 - 0.0000 -
3278.43/3292.79 c 3293 35089664 738180 1 - 0.0000 -
3283.51/3297.84 c 3298 35143822 736600 1 - 0.0000 -
3288.48/3302.89 c 3303 35197016 736334 1 - 0.0000 -
3293.56/3307.94 c 3308 35250721 735393 1 - 0.0000 -
3298.54/3312.99 c 3313 35303606 736345 1 - 0.0000 -
3303.64/3318.04 c 3318 35357059 736070 1 - 0.0000 -
3308.61/3323.09 c 3323 35411574 735149 1 - 0.0000 -
3313.69/3328.14 c 3328 35466484 734029 1 - 0.0000 -
3318.67/3333.20 c 3333 35521300 734773 1 - 0.0000 -
3323.75/3338.24 c 3338 35575242 734149 1 - 0.0000 -
3328.73/3343.29 c 3343 35627508 733803 1 - 0.0000 -
3333.80/3348.34 c 3348 35681737 732961 1 - 0.0000 -
3338.78/3353.39 c 3353 35735588 731498 1 - 0.0000 -
3343.86/3358.44 c 3358 35787643 734671 1 - 0.0000 -
3348.84/3363.49 c 3364 35840127 733532 1 - 0.0000 -
3353.92/3368.54 c 3369 35894289 731961 1 - 0.0000 -
3358.90/3373.59 c 3374 35949135 731107 1 - 0.0000 -
3363.98/3378.64 c 3379 36004256 729440 1 - 0.0000 -
3368.95/3383.69 c 3384 36058089 728458 1 - 0.0000 -
3374.04/3388.74 c 3389 36108670 731318 1 - 0.0000 -
3379.01/3393.79 c 3394 36160107 732267 1 - 0.0000 -
3384.10/3398.84 c 3399 36213162 730918 1 - 0.0000 -
3389.07/3403.89 c 3404 36266461 729712 1 - 0.0000 -
3394.15/3408.94 c 3409 36320522 729508 1 - 0.0000 -
3399.13/3413.99 c 3414 36375691 730289 1 - 0.0000 -
3404.22/3419.04 c 3419 36429637 730764 1 - 0.0000 -
3409.20/3424.09 c 3424 36484895 730634 1 - 0.0000 -
3414.28/3429.14 c 3429 36540705 729773 1 - 0.0000 -
3419.26/3434.19 c 3434 36594517 727795 1 - 0.0000 -
3424.33/3439.24 c 3439 36648622 726270 1 - 0.0000 -
3429.31/3444.29 c 3444 36703026 725266 1 - 0.0000 -
3434.39/3449.34 c 3449 36758410 726184 1 - 0.0000 -
3439.37/3454.39 c 3454 36814644 723957 1 - 0.0000 -
3444.45/3459.44 c 3459 36869389 722392 1 - 0.0000 -
3449.42/3464.49 c 3464 36924060 721169 1 - 0.0000 -
3454.50/3469.54 c 3470 36976870 722641 1 - 0.0000 -
3459.48/3474.59 c 3475 37029439 724590 1 - 0.0000 -
3464.56/3479.64 c 3480 37083594 724588 1 - 0.0000 -
3469.54/3484.69 c 3485 37138924 723256 1 - 0.0000 -
3474.62/3489.74 c 3490 37193321 720631 1 - 0.0000 -
3479.60/3494.79 c 3495 37248650 717950 1 - 0.0000 -
3484.68/3499.84 c 3500 37303768 717086 1 - 0.0000 -
3489.65/3504.89 c 3505 37358732 714725 1 - 0.0000 -
3494.74/3509.94 c 3510 37413222 713300 1 - 0.0000 -
3499.72/3514.99 c 3515 37467364 713572 1 - 0.0000 -
3504.81/3520.04 c 3520 37523253 712664 1 - 0.0000 -
3509.79/3525.09 c 3525 37576500 712704 1 - 0.0000 -
3514.87/3530.14 c 3530 37631152 711264 1 - 0.0000 -
3519.85/3535.19 c 3535 37685698 710411 1 - 0.0000 -
3524.91/3540.24 c 3540 37740124 707346 1 - 0.0000 -
3529.89/3545.29 c 3545 37795950 706717 1 - 0.0000 -
3534.96/3550.34 c 3550 37850785 706812 1 - 0.0000 -
3539.94/3555.39 c 3555 37903599 708651 1 - 0.0000 -
3545.01/3560.44 c 3560 37955634 709480 1 - 0.0000 -
3549.99/3565.49 c 3566 38009245 707479 1 - 0.0000 -
3555.05/3570.54 c 3571 38064101 709242 1 - 0.0000 -
3560.03/3575.59 c 3576 38120276 710475 1 - 0.0000 -
3565.10/3580.64 c 3581 38175657 711156 1 - 0.0000 -
3570.08/3585.69 c 3586 38231593 712139 1 - 0.0000 -
3575.15/3590.74 c 3591 38287556 709431 1 - 0.0000 -
3580.13/3595.79 c 3596 38343099 708161 1 - 0.0000 -
3586.70/3602.37 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.70/3602.37 c Total Time : 3602.3700
3586.70/3602.37 c solving : 3602.3700
3586.70/3602.37 c presolving : 0.0092 (included in solving)
3586.70/3602.37 c B&B Tree :
3586.70/3602.37 c nodes (total) : 1
3586.70/3602.37 c Solution :
3586.70/3602.37 c Solutions found : 0
3586.70/3602.37 c Primal Bound : -
3586.70/3602.37 c Dual Bound : +0.00000000000000e+00
3586.70/3602.37 c Gap : -
3586.70/3602.38 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61071 MiB free)
memory of node 1: 64510 MiB (62194 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434691-1721095524/watcher-4434691-1721095524 -o /tmp/evaluation-result-4434691-1721095524/solver-4434691-1721095524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830634 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434691-1721095524.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=830693, runsolver pid=830681
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 3.90 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126179528/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=106488 memory=20768 CPUtime=0.11 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 2072 0 0 0 10 1 0 0 20 0 3 0 161711168 109043712 5192 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 26622 5192 2926 3032 0 8216 0
[pid=830693/tid=830701] ppid=830681 vsize=106488 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 939 0 0 0 8 0 0 0 20 0 3 0 161711170 109043712 5192 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=106488 memory=19017 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711171 109043712 5192 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 106488 KiB
Current children cumulated memory: 20768 KiB
[startup+0.215923 s]*
/proc/loadavg: 3.90 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126161444/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=106488 memory=25256 CPUtime=0.22 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3189 0 0 0 21 1 0 0 20 0 3 0 161711168 109043712 6314 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 26622 6314 2926 3032 0 9237 0
[pid=830693/tid=830701] ppid=830681 vsize=106488 memory=4782652875487838339 CPUtime=0.2 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 2056 0 0 0 19 1 0 0 20 0 3 0 161711170 109043712 6314 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=106488 memory=19017 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711171 109043712 6314 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 106488 KiB
Current children cumulated memory: 25256 KiB
[startup+0.314543 s]*
/proc/loadavg: 3.90 4.14 4.13 5/251 830707
/proc/meminfo: memFree=126151420/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=106488 memory=25256 CPUtime=0.31 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3239 0 0 0 30 1 0 0 20 0 3 0 161711168 109043712 6314 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 26622 6314 2926 3032 0 9272 0
[pid=830693/tid=830701] ppid=830681 vsize=106488 memory=-6153162199148968810 CPUtime=0.3 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 2106 0 0 0 29 1 0 0 20 0 3 0 161711170 109043712 6314 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=106488 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711171 109043712 6314 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 106488 KiB
Current children cumulated memory: 25256 KiB
[startup+0.700363 s]
/proc/loadavg: 3.90 4.14 4.13 6/251 830707
/proc/meminfo: memFree=126133656/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=106488 memory=27104 CPUtime=0.68 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3651 0 0 0 67 1 0 0 20 0 3 0 161711168 109043712 6776 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 26622 6776 2926 3032 0 9753 0
[pid=830693/tid=830701] ppid=830681 vsize=106488 memory=0 CPUtime=0.66 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 2518 0 0 0 65 1 0 0 20 0 3 0 161711170 109043712 6776 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=106488 memory=0 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711171 109043712 6776 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 106488 KiB
Current children cumulated memory: 27104 KiB
[startup+1.50039 s]
/proc/loadavg: 3.90 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126122712/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=106488 memory=29016 CPUtime=1.48 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 5792 0 0 0 147 1 0 0 20 0 3 0 161711168 109043712 7254 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 26622 7254 2926 3032 0 10309 0
[pid=830693/tid=830701] ppid=830681 vsize=106488 memory=0 CPUtime=1.46 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 4648 0 0 0 145 1 0 0 20 0 3 0 161711170 109043712 7254 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=106488 memory=0 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711171 109043712 7254 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106488 KiB
Current children cumulated memory: 29016 KiB
[startup+3.11401 s]
/proc/loadavg: 3.91 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126099724/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=106488 memory=31448 CPUtime=3.08 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 7219 0 0 0 306 2 0 0 20 0 3 0 161711168 109043712 7862 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 26622 7862 2926 3032 0 10662 0
[pid=830693/tid=830701] ppid=830681 vsize=106488 memory=0 CPUtime=3.06 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 6074 0 0 0 304 2 0 0 20 0 3 0 161711170 109043712 7862 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=106488 memory=2273 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 161711171 109043712 7862 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106488 KiB
Current children cumulated memory: 31448 KiB
[startup+6.30035 s]
/proc/loadavg: 3.91 4.14 4.13 8/251 830708
/proc/meminfo: memFree=126074196/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=107068 memory=36324 CPUtime=6.26 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 11011 0 0 0 620 6 0 0 20 0 3 0 161711168 109637632 9081 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 26767 9081 2974 3032 0 12003 0
[pid=830693/tid=830701] ppid=830681 vsize=107068 memory=0 CPUtime=6.23 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 9844 0 0 0 618 5 0 0 20 0 3 0 161711170 109637632 9081 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=107068 memory=11516 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 161711171 109637632 9081 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107068 KiB
Current children cumulated memory: 36324 KiB
[startup+12.7004 s]
/proc/loadavg: 3.93 4.14 4.13 8/251 830708
/proc/meminfo: memFree=126029768/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=108808 memory=42408 CPUtime=12.63 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 19708 0 0 0 1251 12 0 0 20 0 3 0 161711168 111419392 10602 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 27202 10602 2974 3032 0 13229 0
[pid=830693/tid=830701] ppid=830681 vsize=108808 memory=11516 CPUtime=12.6 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 18513 0 0 0 1249 11 0 0 20 0 3 0 161711170 111419392 10602 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=108808 memory=30920 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 161711171 111419392 10602 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 108808 KiB
Current children cumulated memory: 42408 KiB
[startup+25.5004 s]
/proc/loadavg: 3.94 4.13 4.12 8/251 830711
/proc/meminfo: memFree=125957512/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=111128 memory=53780 CPUtime=25.36 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 39099 0 0 0 2514 22 0 0 20 0 3 0 161711168 113795072 13445 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 27782 13445 2974 3032 0 16222 0
[pid=830693/tid=830701] ppid=830681 vsize=111128 memory=11516 CPUtime=25.33 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 37842 0 0 0 2512 21 0 0 20 0 3 0 161711170 113795072 13445 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=111128 memory=52916 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 161711171 113795072 13445 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 111128 KiB
Current children cumulated memory: 53780 KiB
[startup+51.1139 s]
/proc/loadavg: 4.02 4.14 4.13 8/251 830714
/proc/meminfo: memFree=125833892/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=120980 memory=75972 CPUtime=50.84 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 71234 0 0 0 5039 45 0 0 20 0 3 0 161711168 123883520 18993 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 30245 18993 2974 3032 0 21786 0
[pid=830693/tid=830701] ppid=830681 vsize=120980 memory=5468 CPUtime=50.81 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 69919 0 0 0 5036 45 0 0 20 0 3 0 161711170 123883520 18993 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=120980 memory=72724 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 161711171 123883520 18993 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 120980 KiB
Current children cumulated memory: 75972 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.13 4.12 8/251 830723
/proc/meminfo: memFree=125633456/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=198888 memory=111864 CPUtime=101.77 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 128298 0 0 0 10086 91 0 0 20 0 3 0 161711168 203661312 27966 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 49722 27966 2974 3032 0 30579 0
[pid=830693/tid=830701] ppid=830681 vsize=198888 memory=11516 CPUtime=101.73 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 126915 0 0 0 10083 90 0 0 20 0 3 0 161711170 203661312 27966 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=198888 memory=109524 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 161711171 203661312 27966 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 101.77 s
Current children cumulated vsize: 198888 KiB
Current children cumulated memory: 111864 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.12 8/251 830734
/proc/meminfo: memFree=125423620/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=214480 memory=150368 CPUtime=161.52 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 189305 0 0 0 16003 149 0 0 20 0 3 0 161711168 219627520 37592 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 53620 37592 2974 3032 0 40042 0
[pid=830693/tid=830701] ppid=830681 vsize=214480 memory=129324 CPUtime=161.48 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 187875 0 0 0 16000 148 0 0 20 0 3 0 161711170 219627520 37592 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=214480 memory=11516 CPUtime=0 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 161711171 219627520 37592 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 214480 KiB
################
# More data... #
################
/proc/830693/statm: 225938 207183 2974 3032 0 210097 0
[pid=830693/tid=830701] ppid=830681 vsize=903752 memory=827368 CPUtime=3446.99 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 3153878 0 0 0 340860 3839 0 0 20 0 3 0 161711170 925442048 207183 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=903752 memory=827380 CPUtime=0.04 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 67 0 0 0 1 3 0 0 20 0 3 0 161711171 925442048 207183 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3447.33 s
Current children cumulated vsize: 903752 KiB
Current children cumulated memory: 828732 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.16 7/252 832572
/proc/meminfo: memFree=120467132/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=903752 memory=828732 CPUtime=3507.08 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3168232 0 0 0 346805 3903 0 0 20 0 3 0 161711168 925442048 207183 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 225938 207183 2974 3032 0 210108 0
[pid=830693/tid=830701] ppid=830681 vsize=903752 memory=41416 CPUtime=3506.74 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 3165457 0 0 0 346776 3898 0 0 20 0 3 0 161711170 925442048 207183 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=903752 memory=828732 CPUtime=0.05 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 161711171 925442048 207183 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3507.08 s
Current children cumulated vsize: 903752 KiB
Current children cumulated memory: 828732 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.14 4.16 7/251 832583
/proc/meminfo: memFree=120384848/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=903752 memory=828936 CPUtime=3566.8 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3178553 0 0 0 352714 3966 0 0 20 0 3 0 161711168 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 225938 207234 2974 3032 0 210108 0
[pid=830693/tid=830701] ppid=830681 vsize=903752 memory=12020 CPUtime=3566.45 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 3175754 0 0 0 352684 3961 0 0 20 0 3 0 161711170 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=903752 memory=16224 CPUtime=0.05 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 161711171 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3566.8 s
Current children cumulated vsize: 903752 KiB
Current children cumulated memory: 828936 KiB
[startup+3602.38 s]
# the end of solver process 830693 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3546.93 s, system=39.8595 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.14 4.16 7/251 832584
/proc/meminfo: memFree=120383160/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=903752 memory=828936 CPUtime=3568.51 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3178629 0 0 0 352883 3968 0 0 20 0 3 0 161711168 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 225938 207234 2974 3032 0 210108 0
[pid=830693/tid=830701] ppid=830681 vsize=903752 memory=6720659948264570219 CPUtime=3568.14 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 3175830 0 0 0 352852 3962 0 0 20 0 3 0 161711170 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=903752 memory=-7594044954668917371 CPUtime=0.05 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 161711171 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3568.51 s
Current children cumulated vsize: 903752 KiB
Current children cumulated memory: 828936 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.14 4.16 7/251 832584
/proc/meminfo: memFree=120373580/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=903752 memory=828936 CPUtime=3574.86 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3180926 0 0 0 353512 3974 0 0 20 0 3 0 161711168 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 225938 207234 2974 3032 0 210108 0
[pid=830693/tid=830701] ppid=830681 vsize=903752 memory=828936 CPUtime=3574.5 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 3178115 0 0 0 353481 3969 0 0 20 0 3 0 161711170 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=903752 memory=828936 CPUtime=0.05 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 161711171 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3574.86 s
Current children cumulated vsize: 903752 KiB
Current children cumulated memory: 828936 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.13 4.16 7/251 832586
/proc/meminfo: memFree=120367984/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=903752 memory=828936 CPUtime=3581.22 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3183320 0 0 0 354142 3980 0 0 20 0 3 0 161711168 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 225938 207234 2974 3032 0 210108 0
[pid=830693/tid=830701] ppid=830681 vsize=903752 memory=12020 CPUtime=3580.86 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 3180498 0 0 0 354111 3975 0 0 20 0 3 0 161711170 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=903752 memory=828936 CPUtime=0.05 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 161711171 925442048 207234 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3581.22 s
Current children cumulated vsize: 903752 KiB
Current children cumulated memory: 828936 KiB
[startup+3600 s]*
/proc/loadavg: 4.12 4.13 4.16 7/250 832586
/proc/meminfo: memFree=120361704/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=903752 memory=828948 CPUtime=3584.42 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3184582 0 0 0 354459 3983 0 0 20 0 3 0 161711168 925442048 207237 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 225938 207237 2974 3032 0 210108 0
[pid=830693/tid=830701] ppid=830681 vsize=903752 memory=6720659948264570219 CPUtime=3584.07 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 3181755 0 0 0 354429 3978 0 0 20 0 3 0 161711170 925442048 207237 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=903752 memory=-7594044954668917371 CPUtime=0.05 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 161711171 925442048 207237 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 903752 KiB
Current children cumulated memory: 828948 KiB
[startup+3601.6 s]
/proc/loadavg: 4.12 4.13 4.16 7/250 832586
/proc/meminfo: memFree=120407180/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=855420 memory=780616 CPUtime=3586 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3186985 0 0 0 354617 3983 0 0 20 0 3 0 161711168 875950080 195154 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 213855 195154 2974 3032 0 198025 0
[pid=830693/tid=830701] ppid=830681 vsize=855420 memory=828944 CPUtime=3585.64 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 3184158 0 0 0 354586 3978 0 0 20 0 3 0 161711170 875950080 195154 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=855420 memory=11516 CPUtime=0.05 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 161711171 875950080 195154 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3586 s
Current children cumulated vsize: 855420 KiB
Current children cumulated memory: 780616 KiB
[startup+3602 s]*
/proc/loadavg: 4.12 4.13 4.16 7/250 832586
/proc/meminfo: memFree=120551516/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=798000 memory=723196 CPUtime=3586.41 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3186988 0 0 0 354657 3984 0 0 20 0 3 0 161711168 817152000 180799 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 199500 180799 2974 3032 0 183670 0
[pid=830693/tid=830701] ppid=830681 vsize=798000 memory=6720659948264570219 CPUtime=3586.06 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 3184161 0 0 0 354627 3979 0 0 20 0 3 0 161711170 817152000 180799 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=798000 memory=-7594044954668917371 CPUtime=0.05 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 161711171 817152000 180799 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3586.41 s
Current children cumulated vsize: 798000 KiB
Current children cumulated memory: 723196 KiB
[startup+3602.2 s]
/proc/loadavg: 4.12 4.13 4.16 7/250 832586
/proc/meminfo: memFree=120551516/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=740716 memory=665912 CPUtime=3586.6 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3186989 0 0 0 354676 3984 0 0 20 0 3 0 161711168 758493184 166478 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 185179 166478 2974 3032 0 169349 0
[pid=830693/tid=830701] ppid=830681 vsize=740716 memory=18871 CPUtime=3586.24 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 3184162 0 0 0 354645 3979 0 0 20 0 3 0 161711170 758493184 166478 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=740716 memory=25126 CPUtime=0.05 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 161711171 758493184 166478 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 740716 KiB
Current children cumulated memory: 665912 KiB
[startup+3602.3 s]
/proc/loadavg: 4.12 4.13 4.16 7/250 832586
/proc/meminfo: memFree=120551516/131655788 swapFree=131071996/131071996
[pid=830693] ppid=830681 vsize=698956 memory=624152 CPUtime=3586.7 cores=0,2
/proc/830693/stat : 830693 (fscip) S 830681 830693 830624 0 -1 1077936128 3186989 0 0 0 354685 3985 0 0 20 0 3 0 161711168 715730944 156038 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
/proc/830693/statm: 174739 156038 2974 3032 0 158909 0
[pid=830693/tid=830701] ppid=830681 vsize=698956 memory=828732 CPUtime=3586.34 cores=0,2
/proc/830693/task/830701/stat : 830701 (fscip) R 830681 830693 830624 0 -1 4194368 3184162 0 0 0 354655 3979 0 0 20 0 3 0 161711170 715730944 156038 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
[pid=830693/tid=830704] ppid=830681 vsize=698956 memory=11516 CPUtime=0.05 cores=0,2
/proc/830693/task/830704/stat : 830704 (fscip) S 830681 830693 830624 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 161711171 715730944 156038 134679101440 4194304 16613245 140737051237856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46567424 140737051243541 140737051243657 140737051243657 140737051250672 0
Current children cumulated CPU time: 3586.7 s
Current children cumulated vsize: 698956 KiB
Current children cumulated memory: 624152 KiB
Child status: 0
Real time (s): 3602.38
CPU time (s): 3586.79
CPU user time (s): 3546.93
CPU system time (s): 39.8595
CPU usage (%): 99.5672
Max. virtual memory (cumulated for all children) (KiB): 903752
Max. memory (cumulated for all children) (KiB): 828948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.93
system time used= 39.8595
maximum resident set size= 828948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3187357
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= 11065
involuntary context switches= 24553
# summary of solver processes directly reported to runsolver:
# pid: 830693
# total CPU time (s): 3586.79
# total CPU user time (s): 3546.93
# total CPU system time (s): 39.8595
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6644 second user time and 40.4662 second system time
The end
Begin job on nodeC006 at 2024-07-16 04:05:36
IDJOB=4434691
IDBENCH=147576
IDSOLVER=3064
FILE ID=nodeC006/4434691-1721095524
RUNJOBID= nodeC006-1721095536-830634
SLURM_JOB_ID= 7505606
Free space on /tmp= 723776 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.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-4434691-1721095524/watcher-4434691-1721095524 -o /tmp/evaluation-result-4434691-1721095524/solver-4434691-1721095524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830634 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434691-1721095524.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52024caa2fcec9d840e113a681eace59
RANDOM SEED=941439795
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.257
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.245
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.249
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.256
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.249
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1202.619
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1203.753
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1193.921
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126224836 kB
MemAvailable: 129912060 kB
Buffers: 392016 kB
Cached: 4092660 kB
SwapCached: 0 kB
Active: 689460 kB
Inactive: 4119264 kB
Active(anon): 1340 kB
Inactive(anon): 360408 kB
Active(file): 688120 kB
Inactive(file): 3758856 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112716 kB
Writeback: 4 kB
AnonPages: 323984 kB
Mapped: 103072 kB
Shmem: 37704 kB
KReclaimable: 160556 kB
Slab: 265364 kB
SReclaimable: 160556 kB
SUnreclaim: 104808 kB
KernelStack: 3584 kB
PageTables: 9288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 736696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 219976 kB
DirectMap2M: 27996160 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC006 at 2024-07-16 05:05:39