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 = 22327296, getVmSize() = 22327296, SCIPgetMemUsed() = 788642, SCIPgetMemTotal() = 914402, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15478784, getVmSize() = 24109056, SCIPgetMemUsed() = 931452, SCIPgetMemTotal() = 1520428, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4464346-1722378984
0.00/0.00 c Variables : 96 (96 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 96 (96 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 1
0.00/0.00 c logicor : 1
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.00 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.00 c Nodes Active
0.00/0.00 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.98/5.08 c 5 29063 1266 1 - 0.0000 -
10.05/10.13 c 10 58392 2308 1 - 0.0000 -
15.04/15.18 c 15 83531 3031 1 - 0.0000 -
20.11/20.22 c 20 109287 4281 1 - 0.0000 -
25.09/25.27 c 25 135681 5153 1 - 0.0000 -
30.18/30.32 c 30 157233 5606 1 - 0.0000 -
35.16/35.37 c 35 184694 6454 1 - 0.0000 -
40.24/40.42 c 40 210038 6898 1 - 0.0000 -
45.22/45.48 c 45 230518 7355 1 - 0.0000 -
50.29/50.52 c 51 252426 7618 1 - 0.0000 -
55.28/55.57 c 56 279291 8054 1 - 0.0000 -
60.35/60.62 c 61 304647 8637 1 - 0.0000 -
65.33/65.66 c 66 325747 9663 1 - 0.0000 -
70.41/70.71 c 71 343539 10498 1 - 0.0000 -
75.39/75.76 c 76 363364 11044 1 - 0.0000 -
80.47/80.81 c 81 381421 11376 1 - 0.0000 -
85.45/85.86 c 86 400084 11486 1 - 0.0000 -
90.54/90.91 c 91 417772 11558 1 - 0.0000 -
95.52/95.96 c 96 442393 11699 1 - 0.0000 -
100.60/101.01 c 101 465800 11705 1 - 0.0000 -
105.58/106.06 c 106 483019 12146 1 - 0.0000 -
110.65/111.11 c 111 503005 11991 1 - 0.0000 -
115.64/116.16 c 116 525484 12712 1 - 0.0000 -
120.71/121.21 c 121 547020 13054 1 - 0.0000 -
125.70/126.26 c 126 570006 12962 1 - 0.0000 -
130.78/131.31 c 131 596899 13088 1 - 0.0000 -
135.75/136.36 c 136 619175 13224 1 - 0.0000 -
140.83/141.41 c 141 639273 13426 1 - 0.0000 -
145.81/146.46 c 146 662008 13997 1 - 0.0000 -
150.89/151.51 c 152 684414 14299 1 - 0.0000 -
155.88/156.56 c 157 707740 14251 1 - 0.0000 -
160.96/161.61 c 162 730790 13844 1 - 0.0000 -
165.93/166.66 c 167 753707 13810 1 - 0.0000 -
171.01/171.71 c 172 777100 13442 1 - 0.0000 -
175.99/176.76 c 177 798921 13362 1 - 0.0000 -
181.07/181.81 c 182 822284 13174 1 - 0.0000 -
186.05/186.86 c 187 845339 13095 1 - 0.0000 -
191.12/191.91 c 192 872100 13233 1 - 0.0000 -
196.10/196.96 c 197 897407 12937 1 - 0.0000 -
201.18/202.01 c 202 916031 13438 1 - 0.0000 -
206.16/207.06 c 207 937027 13941 1 - 0.0000 -
211.24/212.11 c 212 958312 14461 1 - 0.0000 -
216.22/217.16 c 217 980322 14678 1 - 0.0000 -
221.30/222.21 c 222 1001388 14877 1 - 0.0000 -
226.28/227.26 c 227 1022853 15041 1 - 0.0000 -
231.37/232.31 c 232 1045752 15230 1 - 0.0000 -
236.35/237.36 c 237 1067688 14988 1 - 0.0000 -
241.42/242.41 c 242 1089351 14833 1 - 0.0000 -
246.40/247.46 c 247 1111937 14616 1 - 0.0000 -
251.48/252.51 c 253 1133911 13992 1 - 0.0000 -
256.46/257.55 c 258 1155961 13439 1 - 0.0000 -
261.55/262.60 c 263 1178985 14043 1 - 0.0000 -
266.52/267.65 c 268 1202579 13538 1 - 0.0000 -
271.60/272.70 c 273 1225141 13149 1 - 0.0000 -
276.59/277.75 c 278 1248554 13747 1 - 0.0000 -
281.67/282.80 c 283 1271729 15378 1 - 0.0000 -
286.65/287.85 c 288 1295415 16698 1 - 0.0000 -
291.73/292.90 c 293 1318184 18007 1 - 0.0000 -
296.71/297.95 c 298 1343858 19649 1 - 0.0000 -
301.79/303.00 c 303 1370216 20771 1 - 0.0000 -
306.77/308.05 c 308 1394648 21724 1 - 0.0000 -
311.76/313.10 c 313 1421500 22441 1 - 0.0000 -
316.83/318.15 c 318 1446758 23071 1 - 0.0000 -
321.92/323.20 c 323 1472966 23594 1 - 0.0000 -
326.89/328.25 c 328 1499287 23943 1 - 0.0000 -
331.98/333.30 c 333 1525417 24263 1 - 0.0000 -
336.95/338.36 c 338 1553216 24712 1 - 0.0000 -
342.04/343.41 c 343 1579067 25261 1 - 0.0000 -
347.02/348.46 c 348 1606979 25452 1 - 0.0000 -
352.10/353.51 c 354 1632739 25605 1 - 0.0000 -
357.09/358.56 c 359 1658337 25494 1 - 0.0000 -
362.16/363.61 c 364 1685810 25809 1 - 0.0000 -
367.14/368.66 c 369 1711338 25465 1 - 0.0000 -
372.23/373.71 c 374 1737939 25167 1 - 0.0000 -
377.21/378.76 c 379 1763596 24610 1 - 0.0000 -
382.29/383.81 c 384 1788558 24351 1 - 0.0000 -
387.28/388.86 c 389 1814099 23689 1 - 0.0000 -
392.36/393.91 c 394 1841956 22676 1 - 0.0000 -
397.34/398.96 c 399 1869562 21980 1 - 0.0000 -
402.43/404.01 c 404 1898977 20770 1 - 0.0000 -
407.41/409.06 c 409 1926191 19671 1 - 0.0000 -
412.49/414.11 c 414 1955391 18502 1 - 0.0000 -
417.47/419.16 c 419 1983117 17381 1 - 0.0000 -
422.55/424.21 c 424 2010120 16314 1 - 0.0000 -
427.52/429.26 c 429 2034062 15691 1 - 0.0000 -
432.61/434.31 c 434 2062742 15606 1 - 0.0000 -
437.59/439.36 c 439 2089273 16047 1 - 0.0000 -
442.67/444.41 c 444 2121727 15713 1 - 0.0000 -
447.66/449.46 c 449 2148679 15297 1 - 0.0000 -
452.74/454.51 c 455 2172490 14943 1 - 0.0000 -
457.71/459.56 c 460 2198252 14693 1 - 0.0000 -
462.80/464.61 c 465 2225488 14252 1 - 0.0000 -
467.78/469.66 c 470 2243604 14536 1 - 0.0000 -
472.86/474.71 c 475 2264438 14977 1 - 0.0000 -
477.84/479.76 c 480 2282870 16001 1 - 0.0000 -
482.92/484.81 c 485 2300342 16687 1 - 0.0000 -
487.90/489.86 c 490 2318226 17406 1 - 0.0000 -
492.98/494.91 c 495 2336738 18086 1 - 0.0000 -
497.96/499.96 c 500 2355187 18921 1 - 0.0000 -
503.04/505.01 c 505 2374234 19671 1 - 0.0000 -
508.03/510.06 c 510 2391900 20426 1 - 0.0000 -
513.10/515.11 c 515 2408795 21362 1 - 0.0000 -
518.09/520.16 c 520 2426030 22240 1 - 0.0000 -
523.17/525.21 c 525 2444560 22943 1 - 0.0000 -
528.14/530.27 c 530 2462325 23479 1 - 0.0000 -
533.23/535.32 c 535 2479689 24463 1 - 0.0000 -
538.21/540.37 c 540 2495271 25512 1 - 0.0000 -
543.28/545.42 c 545 2515237 26248 1 - 0.0000 -
548.27/550.47 c 550 2532687 26615 1 - 0.0000 -
553.35/555.52 c 556 2550610 27113 1 - 0.0000 -
558.33/560.57 c 561 2567223 27712 1 - 0.0000 -
563.41/565.62 c 566 2585694 28019 1 - 0.0000 -
568.39/570.67 c 571 2604731 28381 1 - 0.0000 -
573.47/575.72 c 576 2622847 28730 1 - 0.0000 -
578.45/580.77 c 581 2641318 29228 1 - 0.0000 -
583.54/585.82 c 586 2660467 29662 1 - 0.0000 -
588.52/590.87 c 591 2679034 29403 1 - 0.0000 -
593.60/595.93 c 596 2698617 29606 1 - 0.0000 -
598.58/600.98 c 601 2716379 29935 1 - 0.0000 -
603.66/606.03 c 606 2733791 30476 1 - 0.0000 -
608.64/611.08 c 611 2753649 30792 1 - 0.0000 -
613.73/616.13 c 616 2773490 30297 1 - 0.0000 -
618.70/621.18 c 621 2792029 30160 1 - 0.0000 -
623.78/626.23 c 626 2811817 29729 1 - 0.0000 -
628.76/631.29 c 631 2831105 29633 1 - 0.0000 -
633.84/636.34 c 636 2849779 29258 1 - 0.0000 -
638.92/641.40 c 641 2866652 30267 1 - 0.0000 -
643.90/646.45 c 646 2885592 29790 1 - 0.0000 -
648.98/651.51 c 652 2903951 28968 1 - 0.0000 -
653.97/656.56 c 657 2923012 28037 1 - 0.0000 -
659.05/661.62 c 662 2941372 27713 1 - 0.0000 -
664.03/666.67 c 667 2961559 26119 1 - 0.0000 -
669.12/671.72 c 672 2982089 24315 1 - 0.0000 -
674.10/676.77 c 677 3001815 23410 1 - 0.0000 -
679.17/681.82 c 682 3022933 21956 1 - 0.0000 -
684.16/686.87 c 687 3043358 21444 1 - 0.0000 -
689.24/691.96 c 692 3063586 21393 1 - 0.0000 -
694.32/697.02 c 697 3083306 20674 1 - 0.0000 -
699.30/702.07 c 702 3106290 19991 1 - 0.0000 -
704.38/707.12 c 707 3126825 19565 1 - 0.0000 -
709.36/712.17 c 712 3149575 18772 1 - 0.0000 -
714.44/717.22 c 717 3172742 18654 1 - 0.0000 -
719.42/722.27 c 722 3196813 17822 1 - 0.0000 -
724.50/727.33 c 727 3222070 17962 1 - 0.0000 -
729.48/732.38 c 732 3246727 17202 1 - 0.0000 -
734.56/737.44 c 737 3267042 17408 1 - 0.0000 -
739.54/742.49 c 742 3285123 18000 1 - 0.0000 -
744.63/747.54 c 748 3300617 18101 1 - 0.0000 -
749.61/752.59 c 753 3315659 18212 1 - 0.0000 -
754.69/757.64 c 758 3333886 18927 1 - 0.0000 -
759.66/762.69 c 763 3349365 19036 1 - 0.0000 -
764.74/767.74 c 768 3363691 18859 1 - 0.0000 -
769.73/772.79 c 773 3382970 17212 1 - 0.0000 -
774.81/777.87 c 778 3410564 17444 1 - 0.0000 -
779.89/782.92 c 783 3438563 17107 1 - 0.0000 -
784.87/787.97 c 788 3462090 16253 1 - 0.0000 -
789.96/793.02 c 793 3482433 17687 1 - 0.0000 -
794.93/798.09 c 798 3499402 18625 1 - 0.0000 -
800.02/803.15 c 803 3515159 20271 1 - 0.0000 -
805.09/808.20 c 808 3533442 21583 1 - 0.0000 -
810.07/813.29 c 813 3549798 23074 1 - 0.0000 -
815.16/818.34 c 818 3565971 25234 1 - 0.0000 -
820.24/823.42 c 823 3580596 27297 1 - 0.0000 -
825.22/828.47 c 828 3596447 28852 1 - 0.0000 -
830.30/833.53 c 834 3611334 30660 1 - 0.0000 -
835.37/838.61 c 839 3627496 32061 1 - 0.0000 -
840.35/843.66 c 844 3644357 33194 1 - 0.0000 -
845.44/848.71 c 849 3662039 34414 1 - 0.0000 -
850.42/853.76 c 854 3678433 35413 1 - 0.0000 -
855.50/858.83 c 859 3695473 36358 1 - 0.0000 -
860.48/863.88 c 864 3713590 37293 1 - 0.0000 -
865.56/868.93 c 869 3731019 38092 1 - 0.0000 -
870.64/874.00 c 874 3748775 39110 1 - 0.0000 -
875.62/879.05 c 879 3765760 40027 1 - 0.0000 -
880.70/884.14 c 884 3784470 40756 1 - 0.0000 -
885.68/889.19 c 889 3801904 41554 1 - 0.0000 -
890.76/894.24 c 894 3819868 42542 1 - 0.0000 -
895.84/899.32 c 899 3837083 43389 1 - 0.0000 -
900.82/904.37 c 904 3854364 44232 1 - 0.0000 -
905.90/909.44 c 909 3870428 45008 1 - 0.0000 -
911.08/914.66 c 915 3882978 46846 1 - 0.0000 -
916.26/919.81 c 920 3896833 47826 1 - 0.0000 -
921.25/924.86 c 925 3913619 48862 1 - 0.0000 -
926.33/929.98 c 930 3930938 49619 1 - 0.0000 -
931.41/935.03 c 935 3948285 50323 1 - 0.0000 -
936.39/940.08 c 940 3965201 51275 1 - 0.0000 -
941.47/945.15 c 945 3982385 52085 1 - 0.0000 -
946.55/950.20 c 950 4000497 52781 1 - 0.0000 -
951.53/955.28 c 955 4018102 53450 1 - 0.0000 -
956.61/960.34 c 960 4036276 54086 1 - 0.0000 -
961.59/965.39 c 965 4054976 54771 1 - 0.0000 -
966.66/970.49 c 970 4071012 55320 1 - 0.0000 -
971.84/975.65 c 976 4088397 56000 1 - 0.0000 -
976.92/980.70 c 981 4104629 56803 1 - 0.0000 -
981.91/985.75 c 986 4122652 57579 1 - 0.0000 -
986.98/990.80 c 991 4138763 58310 1 - 0.0000 -
992.06/995.90 c 996 4155847 58832 1 - 0.0000 -
997.04/1000.95 c 1001 4172444 59665 1 - 0.0000 -
1002.12/1006.00 c 1006 4190290 60296 1 - 0.0000 -
1007.10/1011.05 c 1011 4206505 60975 1 - 0.0000 -
1012.08/1016.10 c 1016 4224237 61583 1 - 0.0000 -
1017.16/1021.15 c 1021 4241059 62254 1 - 0.0000 -
1022.14/1026.19 c 1026 4258174 62685 1 - 0.0000 -
1027.22/1031.24 c 1031 4275227 63238 1 - 0.0000 -
1032.30/1036.33 c 1036 4292624 64036 1 - 0.0000 -
1037.27/1041.38 c 1041 4308451 64643 1 - 0.0000 -
1042.36/1046.43 c 1046 4325284 65283 1 - 0.0000 -
1047.44/1051.58 c 1052 4343095 65735 1 - 0.0000 -
1052.51/1056.63 c 1057 4359879 66249 1 - 0.0000 -
1057.49/1061.68 c 1062 4377704 66682 1 - 0.0000 -
1062.57/1066.75 c 1067 4394067 67070 1 - 0.0000 -
1067.65/1071.83 c 1072 4410846 67604 1 - 0.0000 -
1072.62/1076.89 c 1077 4427375 68033 1 - 0.0000 -
1077.70/1081.94 c 1082 4442457 68527 1 - 0.0000 -
1082.67/1086.99 c 1087 4457546 68905 1 - 0.0000 -
1087.75/1092.04 c 1092 4472381 69187 1 - 0.0000 -
1092.73/1097.09 c 1097 4489100 69585 1 - 0.0000 -
1097.81/1102.17 c 1102 4504925 69770 1 - 0.0000 -
1102.88/1107.21 c 1107 4517675 70203 1 - 0.0000 -
1107.86/1112.26 c 1112 4533185 70534 1 - 0.0000 -
1112.93/1117.31 c 1117 4548812 70735 1 - 0.0000 -
1118.01/1122.43 c 1122 4564840 70836 1 - 0.0000 -
1122.99/1127.47 c 1127 4579436 71015 1 - 0.0000 -
1128.16/1132.60 c 1133 4594627 71223 1 - 0.0000 -
1133.24/1137.72 c 1138 4611255 71245 1 - 0.0000 -
1138.32/1142.81 c 1143 4627839 71471 1 - 0.0000 -
1143.29/1147.88 c 1148 4643953 71594 1 - 0.0000 -
1148.36/1152.98 c 1153 4659486 71705 1 - 0.0000 -
1153.44/1158.08 c 1158 4675738 71735 1 - 0.0000 -
1158.52/1163.13 c 1163 4690881 71841 1 - 0.0000 -
1163.50/1168.18 c 1168 4707368 71961 1 - 0.0000 -
1168.57/1173.23 c 1173 4723976 71943 1 - 0.0000 -
1173.55/1178.28 c 1178 4738815 71953 1 - 0.0000 -
1178.62/1183.37 c 1183 4756331 72038 1 - 0.0000 -
1183.70/1188.42 c 1188 4772612 72030 1 - 0.0000 -
1188.77/1193.55 c 1194 4788639 72100 1 - 0.0000 -
1193.85/1198.60 c 1199 4803714 72053 1 - 0.0000 -
1198.82/1203.65 c 1204 4818122 71987 1 - 0.0000 -
1203.90/1208.70 c 1209 4833190 71724 1 - 0.0000 -
1208.88/1213.75 c 1214 4849538 71344 1 - 0.0000 -
1213.95/1218.80 c 1219 4866688 70865 1 - 0.0000 -
1218.93/1223.85 c 1224 4883286 70513 1 - 0.0000 -
1224.01/1228.90 c 1229 4898307 70011 1 - 0.0000 -
1229.09/1234.03 c 1234 4914730 69628 1 - 0.0000 -
1234.06/1239.07 c 1239 4931702 68981 1 - 0.0000 -
1239.14/1244.12 c 1244 4949525 68268 1 - 0.0000 -
1244.20/1249.23 c 1249 4966863 67742 1 - 0.0000 -
1249.18/1254.29 c 1254 4984965 67324 1 - 0.0000 -
1254.35/1259.40 c 1259 5000813 66754 1 - 0.0000 -
1259.43/1264.50 c 1265 5017268 66157 1 - 0.0000 -
1264.41/1269.55 c 1270 5032758 65351 1 - 0.0000 -
1269.48/1274.61 c 1275 5047941 64600 1 - 0.0000 -
1274.46/1279.66 c 1280 5064050 63896 1 - 0.0000 -
1279.54/1284.73 c 1285 5080378 63009 1 - 0.0000 -
1284.62/1289.84 c 1290 5097196 62277 1 - 0.0000 -
1289.60/1294.89 c 1295 5113302 61354 1 - 0.0000 -
1294.69/1299.94 c 1300 5131364 60042 1 - 0.0000 -
1299.67/1304.99 c 1305 5151532 58034 1 - 0.0000 -
1304.75/1310.04 c 1310 5173360 55640 1 - 0.0000 -
1309.73/1315.09 c 1315 5194282 53546 1 - 0.0000 -
1314.80/1320.19 c 1320 5207044 54046 1 - 0.0000 -
1319.98/1325.33 c 1325 5223323 54805 1 - 0.0000 -
1325.07/1330.49 c 1330 5245849 55256 1 - 0.0000 -
1330.14/1335.54 c 1336 5269259 55330 1 - 0.0000 -
1335.13/1340.59 c 1341 5296927 54646 1 - 0.0000 -
1340.22/1345.64 c 1346 5323738 53554 1 - 0.0000 -
1345.19/1350.69 c 1351 5345897 50490 1 - 0.0000 -
1350.48/1355.91 c 1356 5365471 49036 1 - 0.0000 -
1355.67/1361.11 c 1361 5387642 48995 1 - 0.0000 -
1360.94/1366.45 c 1366 5402302 48977 1 - 0.0000 -
1365.92/1371.49 c 1372 5427642 47365 1 - 0.0000 -
1371.00/1376.54 c 1377 5448200 45491 1 - 0.0000 -
1375.98/1381.59 c 1382 5472375 42349 1 - 0.0000 -
1381.06/1386.64 c 1387 5499641 39258 1 - 0.0000 -
1386.04/1391.69 c 1392 5523701 36391 1 - 0.0000 -
1391.12/1396.74 c 1397 5547690 33466 1 - 0.0000 -
1396.10/1401.79 c 1402 5571011 30360 1 - 0.0000 -
1401.18/1406.87 c 1407 5596042 29778 1 - 0.0000 -
1406.26/1411.91 c 1412 5619613 30153 1 - 0.0000 -
1411.45/1417.11 c 1417 5640151 30533 1 - 0.0000 -
1416.43/1422.16 c 1422 5670056 29724 1 - 0.0000 -
1421.51/1427.24 c 1427 5697163 29116 1 - 0.0000 -
1426.48/1432.28 c 1432 5716251 29881 1 - 0.0000 -
1431.56/1437.33 c 1437 5733189 30012 1 - 0.0000 -
1436.55/1442.38 c 1442 5750641 30356 1 - 0.0000 -
1441.63/1447.43 c 1447 5766107 30896 1 - 0.0000 -
1446.60/1452.48 c 1452 5785229 31634 1 - 0.0000 -
1451.78/1457.61 c 1458 5802020 32374 1 - 0.0000 -
1456.76/1462.66 c 1463 5818942 33186 1 - 0.0000 -
1461.84/1467.71 c 1468 5834881 33455 1 - 0.0000 -
1466.82/1472.76 c 1473 5850465 33103 1 - 0.0000 -
1471.90/1477.87 c 1478 5866613 33437 1 - 0.0000 -
1476.98/1482.95 c 1483 5880412 34168 1 - 0.0000 -
1482.06/1488.02 c 1488 5894485 34854 1 - 0.0000 -
1487.15/1493.14 c 1493 5907875 35708 1 - 0.0000 -
1492.23/1498.25 c 1498 5924628 36664 1 - 0.0000 -
1497.31/1503.37 c 1503 5938721 37389 1 - 0.0000 -
1502.39/1508.45 c 1508 5956009 37961 1 - 0.0000 -
1507.47/1513.54 c 1514 5971404 38500 1 - 0.0000 -
1512.45/1518.59 c 1519 5989593 39206 1 - 0.0000 -
1517.63/1523.74 c 1524 6008395 39773 1 - 0.0000 -
1522.71/1528.87 c 1529 6026650 40276 1 - 0.0000 -
1527.79/1533.99 c 1534 6045308 40582 1 - 0.0000 -
1532.88/1539.06 c 1539 6063705 41037 1 - 0.0000 -
1537.96/1544.12 c 1544 6083064 41330 1 - 0.0000 -
1542.94/1549.17 c 1549 6105750 41661 1 - 0.0000 -
1548.11/1554.33 c 1554 6126945 41872 1 - 0.0000 -
1553.19/1559.41 c 1559 6146505 42194 1 - 0.0000 -
1558.28/1564.59 c 1565 6167576 42511 1 - 0.0000 -
1563.35/1569.64 c 1570 6187912 42666 1 - 0.0000 -
1568.34/1574.69 c 1575 6211174 42633 1 - 0.0000 -
1573.52/1579.81 c 1580 6232512 42591 1 - 0.0000 -
1578.50/1584.86 c 1585 6252998 43392 1 - 0.0000 -
1583.58/1589.91 c 1590 6276496 43786 1 - 0.0000 -
1588.67/1595.08 c 1595 6295357 44199 1 - 0.0000 -
1593.75/1600.13 c 1600 6314597 44391 1 - 0.0000 -
1598.73/1605.18 c 1605 6337352 44484 1 - 0.0000 -
1603.90/1610.31 c 1610 6357220 44544 1 - 0.0000 -
1608.99/1615.43 c 1615 6377653 44365 1 - 0.0000 -
1614.07/1620.53 c 1621 6401751 43897 1 - 0.0000 -
1619.05/1625.58 c 1626 6424915 43691 1 - 0.0000 -
1624.13/1630.63 c 1631 6449423 43574 1 - 0.0000 -
1629.11/1635.69 c 1636 6470545 43280 1 - 0.0000 -
1634.19/1640.74 c 1641 6492941 43188 1 - 0.0000 -
1639.27/1645.81 c 1646 6516108 42843 1 - 0.0000 -
1644.25/1650.87 c 1651 6538413 42625 1 - 0.0000 -
1649.33/1655.92 c 1656 6561494 41988 1 - 0.0000 -
1654.31/1660.97 c 1661 6586130 41289 1 - 0.0000 -
1659.41/1666.08 c 1666 6610969 40938 1 - 0.0000 -
1664.48/1671.17 c 1671 6632259 40634 1 - 0.0000 -
1669.56/1676.22 c 1676 6656463 39930 1 - 0.0000 -
1674.55/1681.27 c 1681 6680328 39359 1 - 0.0000 -
1679.62/1686.32 c 1686 6696799 39856 1 - 0.0000 -
1684.61/1691.37 c 1691 6717670 39171 1 - 0.0000 -
1689.80/1696.52 c 1697 6741649 38451 1 - 0.0000 -
1694.77/1701.57 c 1702 6763564 37672 1 - 0.0000 -
1699.95/1706.75 c 1707 6786107 37113 1 - 0.0000 -
1705.03/1711.80 c 1712 6809725 36235 1 - 0.0000 -
1710.02/1716.85 c 1717 6835048 35522 1 - 0.0000 -
1715.10/1721.90 c 1722 6860035 34925 1 - 0.0000 -
1720.09/1726.95 c 1727 6884768 34259 1 - 0.0000 -
1725.18/1732.00 c 1732 6908565 33550 1 - 0.0000 -
1730.16/1737.05 c 1737 6932683 32908 1 - 0.0000 -
1735.14/1742.10 c 1742 6956805 32324 1 - 0.0000 -
1740.22/1747.15 c 1747 6980935 31925 1 - 0.0000 -
1745.30/1752.20 c 1752 7005659 31308 1 - 0.0000 -
1750.28/1757.25 c 1757 7030225 30776 1 - 0.0000 -
1755.36/1762.30 c 1762 7053065 30314 1 - 0.0000 -
1760.34/1767.36 c 1767 7074516 30219 1 - 0.0000 -
1765.53/1772.51 c 1773 7091997 31402 1 - 0.0000 -
1770.61/1777.60 c 1778 7109245 32107 1 - 0.0000 -
1775.69/1782.70 c 1783 7123606 32540 1 - 0.0000 -
1780.67/1787.75 c 1788 7142501 32564 1 - 0.0000 -
1785.75/1792.80 c 1793 7159965 32789 1 - 0.0000 -
1790.83/1797.92 c 1798 7176372 34085 1 - 0.0000 -
1795.81/1802.99 c 1803 7194195 35060 1 - 0.0000 -
1800.90/1808.04 c 1808 7210993 35787 1 - 0.0000 -
1805.88/1813.09 c 1813 7229029 36660 1 - 0.0000 -
1810.96/1818.14 c 1818 7245893 37750 1 - 0.0000 -
1815.94/1823.19 c 1823 7262097 38507 1 - 0.0000 -
1821.02/1828.29 c 1828 7280910 39335 1 - 0.0000 -
1826.20/1833.43 c 1833 7295745 40302 1 - 0.0000 -
1831.28/1838.53 c 1839 7313547 41266 1 - 0.0000 -
1836.36/1843.62 c 1844 7332019 42052 1 - 0.0000 -
1841.34/1848.67 c 1849 7349887 42584 1 - 0.0000 -
1846.42/1853.72 c 1854 7367683 42797 1 - 0.0000 -
1851.41/1858.77 c 1859 7382904 43112 1 - 0.0000 -
1856.49/1863.83 c 1864 7400062 43143 1 - 0.0000 -
1861.57/1868.94 c 1869 7416421 44159 1 - 0.0000 -
1866.85/1874.27 c 1874 7432643 45580 1 - 0.0000 -
1871.93/1879.36 c 1879 7448676 46619 1 - 0.0000 -
1877.02/1884.41 c 1884 7465982 47712 1 - 0.0000 -
1882.10/1889.54 c 1890 7482102 48737 1 - 0.0000 -
1887.18/1894.61 c 1895 7500020 49565 1 - 0.0000 -
1892.26/1899.71 c 1900 7515799 50208 1 - 0.0000 -
1897.24/1904.76 c 1905 7532515 51771 1 - 0.0000 -
1902.32/1909.87 c 1910 7549187 53142 1 - 0.0000 -
1907.40/1914.92 c 1915 7565471 54121 1 - 0.0000 -
1912.49/1920.00 c 1920 7583959 55215 1 - 0.0000 -
1917.46/1925.05 c 1925 7602050 56065 1 - 0.0000 -
1922.64/1930.22 c 1930 7617815 56971 1 - 0.0000 -
1927.73/1935.30 c 1935 7632014 58430 1 - 0.0000 -
1932.80/1940.50 c 1940 7648406 59710 1 - 0.0000 -
1937.98/1945.66 c 1946 7663682 60657 1 - 0.0000 -
1943.07/1950.74 c 1951 7678414 61900 1 - 0.0000 -
1948.25/1955.92 c 1956 7701541 63354 1 - 0.0000 -
1953.43/1961.11 c 1961 7725253 64651 1 - 0.0000 -
1958.61/1966.37 c 1966 7742207 65927 1 - 0.0000 -
1963.69/1971.46 c 1971 7763252 67257 1 - 0.0000 -
1968.77/1976.51 c 1977 7784546 68292 1 - 0.0000 -
1973.75/1981.56 c 1982 7805200 69455 1 - 0.0000 -
1978.94/1986.70 c 1987 7828818 70855 1 - 0.0000 -
1984.12/1991.91 c 1992 7853587 72001 1 - 0.0000 -
1989.10/1996.96 c 1997 7880287 73043 1 - 0.0000 -
1994.39/2002.21 c 2002 7899960 73966 1 - 0.0000 -
1999.57/2007.43 c 2007 7919917 74706 1 - 0.0000 -
2004.55/2012.48 c 2012 7941028 75387 1 - 0.0000 -
2009.64/2017.53 c 2018 7969491 76450 1 - 0.0000 -
2014.61/2022.58 c 2023 7994729 77175 1 - 0.0000 -
2019.70/2027.68 c 2028 8017792 77939 1 - 0.0000 -
2024.88/2032.82 c 2033 8041981 78463 1 - 0.0000 -
2029.96/2037.96 c 2038 8064675 79030 1 - 0.0000 -
2035.05/2043.09 c 2043 8086042 79772 1 - 0.0000 -
2040.23/2048.27 c 2048 8114647 80789 1 - 0.0000 -
2045.31/2053.36 c 2053 8133912 81340 1 - 0.0000 -
2050.39/2058.41 c 2058 8155990 81824 1 - 0.0000 -
2055.37/2063.46 c 2063 8176976 82128 1 - 0.0000 -
2060.55/2068.67 c 2069 8202049 82746 1 - 0.0000 -
2065.63/2073.76 c 2074 8224025 83207 1 - 0.0000 -
2070.71/2078.81 c 2079 8245521 83501 1 - 0.0000 -
2075.70/2083.86 c 2084 8272014 83554 1 - 0.0000 -
2080.78/2088.91 c 2089 8295696 83544 1 - 0.0000 -
2085.76/2093.97 c 2094 8316050 83617 1 - 0.0000 -
2090.84/2099.02 c 2099 8336307 84028 1 - 0.0000 -
2095.92/2104.15 c 2104 8359131 84372 1 - 0.0000 -
2101.00/2109.28 c 2109 8383412 84429 1 - 0.0000 -
2106.18/2114.42 c 2114 8402054 84526 1 - 0.0000 -
2111.17/2119.47 c 2119 8422471 84566 1 - 0.0000 -
2116.24/2124.52 c 2125 8443074 84445 1 - 0.0000 -
2121.33/2129.63 c 2130 8466915 84342 1 - 0.0000 -
2126.30/2134.68 c 2135 8486124 84429 1 - 0.0000 -
2131.38/2139.73 c 2140 8504417 84491 1 - 0.0000 -
2136.36/2144.78 c 2145 8529192 84222 1 - 0.0000 -
2141.44/2149.84 c 2150 8552520 84102 1 - 0.0000 -
2146.51/2154.98 c 2155 8575716 83704 1 - 0.0000 -
2151.69/2160.11 c 2160 8598252 83783 1 - 0.0000 -
2156.77/2165.20 c 2165 8616474 84018 1 - 0.0000 -
2161.84/2170.32 c 2170 8636823 83799 1 - 0.0000 -
2166.82/2175.36 c 2175 8658248 83539 1 - 0.0000 -
2171.90/2180.41 c 2180 8683157 82895 1 - 0.0000 -
2176.87/2185.46 c 2185 8708133 82440 1 - 0.0000 -
2181.96/2190.51 c 2191 8732815 81820 1 - 0.0000 -
2186.93/2195.59 c 2196 8755790 81396 1 - 0.0000 -
2192.00/2200.64 c 2201 8779999 80693 1 - 0.0000 -
2196.99/2205.69 c 2206 8803995 80306 1 - 0.0000 -
2202.16/2210.86 c 2211 8825796 80390 1 - 0.0000 -
2207.24/2215.91 c 2216 8851300 81018 1 - 0.0000 -
2212.32/2221.00 c 2221 8881725 81173 1 - 0.0000 -
2217.49/2226.21 c 2226 8906438 80831 1 - 0.0000 -
2222.47/2231.26 c 2231 8931497 80240 1 - 0.0000 -
2227.55/2236.31 c 2236 8956627 79539 1 - 0.0000 -
2232.54/2241.38 c 2241 8980672 78906 1 - 0.0000 -
2237.62/2246.46 c 2246 9007502 78059 1 - 0.0000 -
2242.69/2251.51 c 2252 9034534 77051 1 - 0.0000 -
2247.67/2256.56 c 2257 9059870 76308 1 - 0.0000 -
2252.76/2261.63 c 2262 9084867 75724 1 - 0.0000 -
2257.74/2266.68 c 2267 9107322 74765 1 - 0.0000 -
2262.82/2271.73 c 2272 9132779 73934 1 - 0.0000 -
2267.99/2276.97 c 2277 9161997 72999 1 - 0.0000 -
2273.08/2282.07 c 2282 9188698 71981 1 - 0.0000 -
2278.17/2287.12 c 2287 9216781 70968 1 - 0.0000 -
2283.24/2292.22 c 2292 9238024 70552 1 - 0.0000 -
2288.22/2297.29 c 2297 9262050 69428 1 - 0.0000 -
2293.30/2302.34 c 2302 9287372 68299 1 - 0.0000 -
2298.28/2307.39 c 2307 9312971 67227 1 - 0.0000 -
2303.36/2312.49 c 2312 9340217 65887 1 - 0.0000 -
2308.44/2317.54 c 2318 9369304 64244 1 - 0.0000 -
2313.42/2322.59 c 2323 9395191 62994 1 - 0.0000 -
2318.50/2327.64 c 2328 9422811 61939 1 - 0.0000 -
2323.48/2332.69 c 2333 9452825 60410 1 - 0.0000 -
2328.57/2337.74 c 2338 9479931 58548 1 - 0.0000 -
2333.64/2342.88 c 2343 9504624 57181 1 - 0.0000 -
2338.73/2347.93 c 2348 9532738 55963 1 - 0.0000 -
2343.71/2352.98 c 2353 9560205 54687 1 - 0.0000 -
2348.79/2358.03 c 2358 9590424 53565 1 - 0.0000 -
2353.77/2363.09 c 2363 9618985 51554 1 - 0.0000 -
2358.86/2368.14 c 2368 9650867 50011 1 - 0.0000 -
2363.83/2373.19 c 2373 9681870 48474 1 - 0.0000 -
2368.91/2378.24 c 2378 9710556 46583 1 - 0.0000 -
2373.89/2383.29 c 2383 9740187 45051 1 - 0.0000 -
2378.97/2388.34 c 2388 9768137 43588 1 - 0.0000 -
2383.95/2393.39 c 2393 9797002 41870 1 - 0.0000 -
2389.03/2398.45 c 2398 9826776 40276 1 - 0.0000 -
2394.11/2403.50 c 2404 9855538 39065 1 - 0.0000 -
2399.09/2408.55 c 2409 9881981 38022 1 - 0.0000 -
2404.17/2413.60 c 2414 9909374 36496 1 - 0.0000 -
2409.15/2418.65 c 2419 9937435 35532 1 - 0.0000 -
2414.23/2423.71 c 2424 9951685 35910 1 - 0.0000 -
2419.20/2428.77 c 2429 9966661 36223 1 - 0.0000 -
2424.28/2433.88 c 2434 9980510 36669 1 - 0.0000 -
2429.45/2439.03 c 2439 9994335 37114 1 - 0.0000 -
2434.43/2444.08 c 2444 10007497 36908 1 - 0.0000 -
2439.52/2449.13 c 2449 10023769 36626 1 - 0.0000 -
2444.70/2454.30 c 2454 10035165 37578 1 - 0.0000 -
2449.77/2459.42 c 2459 10045321 38184 1 - 0.0000 -
2454.95/2464.61 c 2465 10057739 38833 1 - 0.0000 -
2459.93/2469.66 c 2470 10069534 39422 1 - 0.0000 -
2465.01/2474.77 c 2475 10081645 39963 1 - 0.0000 -
2470.40/2480.11 c 2480 10092495 40423 1 - 0.0000 -
2475.38/2485.19 c 2485 10105161 40939 1 - 0.0000 -
2480.55/2490.33 c 2490 10118730 41260 1 - 0.0000 -
2485.54/2495.39 c 2495 10134325 41491 1 - 0.0000 -
2490.72/2500.55 c 2501 10154165 42009 1 - 0.0000 -
2495.71/2505.59 c 2506 10171963 42827 1 - 0.0000 -
2500.79/2510.64 c 2511 10189568 43228 1 - 0.0000 -
2505.76/2515.69 c 2516 10208795 43967 1 - 0.0000 -
2510.85/2520.74 c 2521 10228153 44250 1 - 0.0000 -
2515.83/2525.79 c 2526 10248989 44604 1 - 0.0000 -
2520.90/2530.84 c 2531 10271419 44836 1 - 0.0000 -
2525.89/2535.89 c 2536 10291977 44872 1 - 0.0000 -
2531.07/2541.03 c 2541 10312654 44815 1 - 0.0000 -
2536.14/2546.12 c 2546 10334637 44665 1 - 0.0000 -
2541.12/2551.18 c 2551 10355988 44476 1 - 0.0000 -
2546.20/2556.23 c 2556 10378261 44221 1 - 0.0000 -
2551.17/2561.28 c 2561 10397355 43871 1 - 0.0000 -
2556.25/2566.33 c 2566 10418039 43414 1 - 0.0000 -
2561.23/2571.38 c 2571 10439551 43010 1 - 0.0000 -
2566.30/2576.48 c 2576 10459128 42859 1 - 0.0000 -
2571.38/2581.53 c 2582 10480655 42218 1 - 0.0000 -
2576.37/2586.58 c 2587 10502296 41440 1 - 0.0000 -
2581.55/2591.70 c 2592 10524226 40725 1 - 0.0000 -
2586.53/2596.75 c 2597 10547008 40037 1 - 0.0000 -
2591.61/2601.80 c 2602 10571014 39240 1 - 0.0000 -
2596.59/2606.85 c 2607 10592928 38518 1 - 0.0000 -
2601.68/2611.90 c 2612 10614774 37760 1 - 0.0000 -
2606.76/2617.00 c 2617 10637167 37268 1 - 0.0000 -
2611.74/2622.05 c 2622 10659555 36918 1 - 0.0000 -
2616.73/2627.10 c 2627 10683277 36544 1 - 0.0000 -
2621.90/2632.20 c 2632 10706968 36115 1 - 0.0000 -
2626.89/2637.25 c 2637 10726848 35775 1 - 0.0000 -
2631.97/2642.30 c 2642 10747195 35403 1 - 0.0000 -
2636.95/2647.35 c 2647 10770962 34714 1 - 0.0000 -
2642.03/2652.40 c 2652 10797670 33395 1 - 0.0000 -
2647.02/2657.45 c 2657 10816087 34015 1 - 0.0000 -
2652.10/2662.51 c 2663 10833923 34563 1 - 0.0000 -
2657.18/2667.65 c 2668 10853906 35624 1 - 0.0000 -
2662.16/2672.69 c 2673 10871340 37014 1 - 0.0000 -
2667.24/2677.75 c 2678 10889330 37946 1 - 0.0000 -
2672.32/2682.83 c 2683 10906063 38595 1 - 0.0000 -
2677.40/2687.94 c 2688 10926234 39108 1 - 0.0000 -
2682.39/2692.99 c 2693 10947231 39747 1 - 0.0000 -
2687.47/2698.04 c 2698 10967273 40251 1 - 0.0000 -
2692.55/2703.14 c 2703 10985978 40460 1 - 0.0000 -
2697.54/2708.18 c 2708 11006196 40318 1 - 0.0000 -
2702.61/2713.23 c 2713 11026443 40202 1 - 0.0000 -
2707.59/2718.28 c 2718 11046564 40237 1 - 0.0000 -
2712.67/2723.33 c 2723 11067181 39858 1 - 0.0000 -
2717.66/2728.38 c 2728 11088033 39482 1 - 0.0000 -
2722.74/2733.43 c 2733 11109378 38955 1 - 0.0000 -
2727.72/2738.48 c 2738 11131290 38345 1 - 0.0000 -
2732.80/2743.53 c 2744 11153564 37567 1 - 0.0000 -
2737.79/2748.58 c 2749 11176141 36813 1 - 0.0000 -
2742.87/2753.63 c 2754 11199728 35926 1 - 0.0000 -
2747.95/2758.70 c 2759 11223645 35109 1 - 0.0000 -
2752.93/2763.75 c 2764 11246261 34848 1 - 0.0000 -
2758.02/2768.80 c 2769 11268598 34280 1 - 0.0000 -
2762.99/2773.85 c 2774 11293630 33682 1 - 0.0000 -
2768.08/2778.90 c 2779 11318196 32455 1 - 0.0000 -
2773.16/2784.00 c 2784 11340368 31376 1 - 0.0000 -
2778.14/2789.09 c 2789 11362278 31864 1 - 0.0000 -
2783.22/2794.17 c 2794 11381013 32349 1 - 0.0000 -
2788.30/2799.22 c 2799 11404941 31388 1 - 0.0000 -
2793.28/2804.27 c 2804 11429296 30271 1 - 0.0000 -
2798.36/2809.32 c 2809 11452689 29460 1 - 0.0000 -
2803.34/2814.37 c 2814 11476886 28538 1 - 0.0000 -
2808.42/2819.42 c 2819 11500312 27436 1 - 0.0000 -
2813.40/2824.48 c 2824 11524455 25969 1 - 0.0000 -
2818.48/2829.52 c 2830 11548037 25253 1 - 0.0000 -
2823.46/2834.57 c 2835 11567574 25834 1 - 0.0000 -
2828.54/2839.62 c 2840 11584868 26278 1 - 0.0000 -
2833.53/2844.67 c 2845 11601038 26069 1 - 0.0000 -
2838.60/2849.76 c 2850 11617644 26780 1 - 0.0000 -
2843.68/2854.85 c 2855 11633927 27455 1 - 0.0000 -
2848.76/2859.90 c 2860 11649299 28166 1 - 0.0000 -
2853.74/2864.98 c 2865 11666589 29282 1 - 0.0000 -
2858.82/2870.07 c 2870 11683912 30260 1 - 0.0000 -
2863.90/2875.12 c 2875 11701000 30922 1 - 0.0000 -
2868.98/2880.23 c 2880 11718258 31335 1 - 0.0000 -
2873.95/2885.28 c 2885 11735758 31294 1 - 0.0000 -
2879.04/2890.33 c 2890 11752999 32177 1 - 0.0000 -
2884.11/2895.45 c 2895 11770160 33270 1 - 0.0000 -
2889.20/2900.57 c 2901 11782896 34170 1 - 0.0000 -
2894.37/2905.71 c 2906 11792381 35141 1 - 0.0000 -
2899.45/2910.84 c 2911 11810555 36424 1 - 0.0000 -
2904.53/2915.93 c 2916 11830755 37245 1 - 0.0000 -
2909.51/2920.98 c 2921 11850368 38231 1 - 0.0000 -
2914.59/2926.03 c 2926 11869155 39151 1 - 0.0000 -
2919.57/2931.08 c 2931 11890358 40144 1 - 0.0000 -
2924.75/2936.22 c 2936 11910235 41104 1 - 0.0000 -
2929.73/2941.26 c 2941 11930085 42106 1 - 0.0000 -
2934.82/2946.31 c 2946 11951960 42841 1 - 0.0000 -
2939.89/2951.47 c 2951 11970635 43696 1 - 0.0000 -
2945.07/2956.65 c 2957 11991147 44383 1 - 0.0000 -
2950.15/2961.72 c 2962 12011979 45417 1 - 0.0000 -
2955.23/2966.82 c 2967 12032295 46237 1 - 0.0000 -
2960.21/2971.89 c 2972 12050400 47030 1 - 0.0000 -
2965.39/2977.04 c 2977 12070702 47966 1 - 0.0000 -
2970.47/2982.16 c 2982 12090659 48769 1 - 0.0000 -
2975.54/2987.24 c 2987 12113983 49440 1 - 0.0000 -
2980.61/2992.31 c 2992 12135865 50083 1 - 0.0000 -
2985.60/2997.35 c 2997 12157502 50503 1 - 0.0000 -
2990.77/3002.58 c 3003 12177779 51029 1 - 0.0000 -
2995.95/3007.71 c 3008 12196577 51702 1 - 0.0000 -
3001.03/3012.82 c 3013 12222868 52249 1 - 0.0000 -
3006.01/3017.88 c 3018 12245915 52669 1 - 0.0000 -
3011.08/3022.96 c 3023 12270963 53101 1 - 0.0000 -
3016.17/3028.10 c 3028 12295761 53585 1 - 0.0000 -
3021.24/3033.15 c 3033 12318174 53990 1 - 0.0000 -
3026.32/3038.25 c 3038 12340185 54294 1 - 0.0000 -
3031.39/3043.30 c 3043 12362936 54673 1 - 0.0000 -
3036.47/3048.44 c 3048 12388803 55491 1 - 0.0000 -
3041.44/3053.49 c 3054 12414368 56093 1 - 0.0000 -
3046.52/3058.54 c 3059 12436263 56592 1 - 0.0000 -
3051.60/3063.64 c 3064 12452299 57088 1 - 0.0000 -
3056.58/3068.69 c 3069 12475554 57305 1 - 0.0000 -
3061.66/3073.74 c 3074 12497806 57648 1 - 0.0000 -
3066.64/3078.79 c 3079 12522075 57838 1 - 0.0000 -
3071.71/3083.84 c 3084 12546601 57818 1 - 0.0000 -
3076.89/3089.00 c 3089 12570524 58158 1 - 0.0000 -
3081.87/3094.05 c 3094 12594364 58127 1 - 0.0000 -
3086.86/3099.10 c 3099 12616295 58235 1 - 0.0000 -
3091.94/3104.15 c 3104 12636833 58204 1 - 0.0000 -
3097.02/3109.20 c 3109 12659807 57926 1 - 0.0000 -
3102.10/3114.30 c 3114 12686325 57442 1 - 0.0000 -
3107.18/3119.42 c 3119 12713889 56912 1 - 0.0000 -
3112.26/3124.54 c 3125 12741428 56263 1 - 0.0000 -
3117.35/3129.68 c 3130 12766291 55644 1 - 0.0000 -
3122.43/3134.73 c 3135 12793322 54925 1 - 0.0000 -
3127.41/3139.78 c 3140 12818105 54446 1 - 0.0000 -
3132.49/3144.88 c 3145 12846716 53491 1 - 0.0000 -
3137.68/3150.00 c 3150 12868909 53485 1 - 0.0000 -
3142.66/3155.09 c 3155 12894590 52530 1 - 0.0000 -
3147.73/3160.15 c 3160 12919325 51759 1 - 0.0000 -
3152.81/3165.26 c 3165 12944641 51016 1 - 0.0000 -
3157.89/3170.33 c 3170 12971545 50100 1 - 0.0000 -
3162.88/3175.38 c 3175 12997674 49871 1 - 0.0000 -
3167.97/3180.43 c 3180 13024963 49194 1 - 0.0000 -
3172.95/3185.48 c 3185 13050532 48319 1 - 0.0000 -
3178.03/3190.53 c 3191 13077428 47254 1 - 0.0000 -
3183.00/3195.59 c 3196 13104115 46269 1 - 0.0000 -
3188.09/3200.64 c 3201 13134055 45081 1 - 0.0000 -
3193.27/3205.80 c 3206 13159229 44097 1 - 0.0000 -
3198.25/3210.85 c 3211 13185014 43043 1 - 0.0000 -
3203.33/3215.90 c 3216 13212084 41820 1 - 0.0000 -
3208.31/3220.95 c 3221 13240262 40763 1 - 0.0000 -
3213.40/3226.00 c 3226 13267633 39491 1 - 0.0000 -
3218.38/3231.05 c 3231 13293372 38874 1 - 0.0000 -
3223.36/3236.10 c 3236 13320881 37987 1 - 0.0000 -
3228.44/3241.19 c 3241 13350565 37022 1 - 0.0000 -
3233.61/3246.30 c 3246 13378522 35977 1 - 0.0000 -
3238.60/3251.35 c 3251 13406499 34992 1 - 0.0000 -
3243.68/3256.40 c 3256 13435017 33870 1 - 0.0000 -
3248.66/3261.45 c 3261 13459789 33014 1 - 0.0000 -
3253.74/3266.50 c 3267 13488566 31924 1 - 0.0000 -
3258.73/3271.55 c 3272 13517102 31019 1 - 0.0000 -
3263.80/3276.60 c 3277 13545945 30070 1 - 0.0000 -
3268.79/3281.65 c 3282 13573508 29394 1 - 0.0000 -
3273.87/3286.70 c 3287 13601656 28588 1 - 0.0000 -
3278.85/3291.78 c 3292 13628458 27959 1 - 0.0000 -
3283.93/3296.87 c 3297 13654508 27260 1 - 0.0000 -
3289.02/3301.92 c 3302 13682307 26730 1 - 0.0000 -
3294.00/3306.97 c 3307 13708200 26116 1 - 0.0000 -
3299.08/3312.02 c 3312 13731014 25566 1 - 0.0000 -
3304.16/3317.13 c 3317 13749513 25730 1 - 0.0000 -
3309.24/3322.21 c 3322 13767462 26320 1 - 0.0000 -
3314.22/3327.26 c 3327 13783707 26847 1 - 0.0000 -
3319.30/3332.36 c 3332 13798368 27556 1 - 0.0000 -
3324.38/3337.41 c 3337 13814077 28128 1 - 0.0000 -
3329.36/3342.49 c 3342 13831209 28909 1 - 0.0000 -
3334.54/3347.62 c 3348 13846173 29107 1 - 0.0000 -
3339.52/3352.67 c 3353 13863684 30052 1 - 0.0000 -
3344.60/3357.72 c 3358 13882321 30928 1 - 0.0000 -
3349.58/3362.77 c 3363 13897773 31271 1 - 0.0000 -
3354.66/3367.82 c 3368 13913506 32101 1 - 0.0000 -
3359.64/3372.87 c 3373 13928493 32029 1 - 0.0000 -
3364.72/3377.93 c 3378 13945885 31640 1 - 0.0000 -
3369.81/3383.03 c 3383 13959469 32278 1 - 0.0000 -
3374.78/3388.08 c 3388 13974108 32203 1 - 0.0000 -
3379.86/3393.13 c 3393 13991247 31106 1 - 0.0000 -
3384.85/3398.18 c 3398 14010075 29301 1 - 0.0000 -
3389.92/3403.27 c 3403 14033185 25928 1 - 0.0000 -
3395.00/3408.34 c 3408 14055377 25087 1 - 0.0000 -
3400.09/3413.45 c 3413 14077241 24689 1 - 0.0000 -
3405.16/3418.55 c 3419 14099476 24390 1 - 0.0000 -
3410.25/3423.60 c 3424 14123589 23619 1 - 0.0000 -
3415.23/3428.65 c 3429 14147538 22676 1 - 0.0000 -
3420.31/3433.70 c 3434 14171622 21424 1 - 0.0000 -
3425.29/3438.75 c 3439 14187035 22218 1 - 0.0000 -
3430.37/3443.81 c 3444 14200933 23628 1 - 0.0000 -
3435.35/3448.86 c 3449 14213635 24811 1 - 0.0000 -
3440.43/3453.91 c 3454 14228175 25709 1 - 0.0000 -
3445.41/3458.99 c 3459 14242736 26668 1 - 0.0000 -
3450.49/3464.06 c 3464 14256865 27477 1 - 0.0000 -
3455.57/3469.11 c 3469 14273537 28329 1 - 0.0000 -
3460.64/3474.24 c 3474 14287758 29101 1 - 0.0000 -
3465.71/3479.33 c 3479 14304992 29996 1 - 0.0000 -
3470.80/3484.46 c 3484 14320083 30743 1 - 0.0000 -
3475.97/3489.65 c 3490 14331984 31434 1 - 0.0000 -
3481.14/3494.83 c 3495 14343179 32133 1 - 0.0000 -
3486.12/3499.88 c 3500 14358545 32780 1 - 0.0000 -
3491.30/3505.00 c 3505 14372876 33181 1 - 0.0000 -
3496.28/3510.08 c 3510 14386109 33611 1 - 0.0000 -
3501.36/3515.17 c 3515 14400919 33983 1 - 0.0000 -
3506.44/3520.22 c 3520 14415604 34458 1 - 0.0000 -
3511.51/3525.31 c 3525 14431622 34698 1 - 0.0000 -
3516.60/3530.40 c 3530 14445730 34805 1 - 0.0000 -
3521.57/3535.45 c 3535 14458789 34912 1 - 0.0000 -
3526.65/3540.50 c 3541 14472690 34921 1 - 0.0000 -
3531.73/3545.61 c 3546 14485340 35223 1 - 0.0000 -
3536.71/3550.65 c 3551 14498104 35078 1 - 0.0000 -
3541.89/3555.81 c 3556 14511146 35062 1 - 0.0000 -
3546.87/3560.89 c 3561 14523100 34956 1 - 0.0000 -
3552.05/3566.02 c 3566 14537455 34637 1 - 0.0000 -
3557.04/3571.07 c 3571 14553498 33764 1 - 0.0000 -
3562.11/3576.12 c 3576 14567223 33691 1 - 0.0000 -
3567.18/3581.25 c 3581 14582772 32529 1 - 0.0000 -
3572.27/3586.30 c 3586 14599108 31353 1 - 0.0000 -
3577.25/3591.35 c 3591 14614890 30084 1 - 0.0000 -
3582.32/3596.40 c 3596 14634732 26669 1 - 0.0000 -
3584.31/3598.46 c SCIP Status : c solving was interrupted [hard time limit reached]
3584.31/3598.46 c Total Time : 3598.4700
3584.31/3598.46 c solving : 3598.4700
3584.31/3598.46 c presolving : 0.0017 (included in solving)
3584.31/3598.46 c B&B Tree :
3584.31/3598.46 c nodes (total) : 1
3584.31/3598.46 c Solution :
3584.31/3598.46 c Solutions found : 0
3584.31/3598.46 c Primal Bound : -
3584.31/3598.46 c Dual Bound : +0.00000000000000e+00
3584.31/3598.46 c Gap : -
3584.31/3598.46 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62516 MiB free)
memory of node 1: 64510 MiB (61132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464346-1722378984/watcher-4464346-1722378984 -o /tmp/evaluation-result-4464346-1722378984/solver-4464346-1722378984 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30696 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464346-1722378984.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=31708, runsolver pid=31705
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.39 3.19 1.55 5/263 31711
/proc/meminfo: memFree=126607256/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=106556 memory=20332 CPUtime=0.1 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2478 0 0 0 10 0 0 0 20 0 3 0 4495772 109113344 5083 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 26639 5083 2950 3035 0 8431 0
[pid=31708/tid=31710] ppid=31705 vsize=106556 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 1333 0 0 0 9 0 0 0 20 0 3 0 4495772 109113344 5083 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=106556 memory=228556276070 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4495773 109113344 5083 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 106556 KiB
Current children cumulated memory: 20332 KiB
[startup+0.205817 s]*
/proc/loadavg: 4.39 3.19 1.55 5/263 31711
/proc/meminfo: memFree=126606752/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=106556 memory=20656 CPUtime=0.2 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2564 0 0 0 20 0 0 0 20 0 3 0 4495772 109113344 5164 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 26639 5164 2966 3035 0 8532 0
[pid=31708/tid=31710] ppid=31705 vsize=106556 memory=664970838410264707 CPUtime=0.2 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 1419 0 0 0 20 0 0 0 20 0 3 0 4495772 109113344 5164 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=106556 memory=18004 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4495773 109113344 5164 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106556 KiB
Current children cumulated memory: 20656 KiB
[startup+0.305154 s]*
/proc/loadavg: 4.39 3.19 1.55 5/263 31711
/proc/meminfo: memFree=126605940/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=106556 memory=21184 CPUtime=0.3 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2722 0 0 0 30 0 0 0 20 0 3 0 4495772 109113344 5296 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 26639 5296 2966 3035 0 8663 0
[pid=31708/tid=31710] ppid=31705 vsize=106556 memory=-5155630214950906757 CPUtime=0.29 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 1577 0 0 0 29 0 0 0 20 0 3 0 4495772 109113344 5296 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=106556 memory=0 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4495773 109113344 5296 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106556 KiB
Current children cumulated memory: 21184 KiB
[startup+0.700142 s]
/proc/loadavg: 4.39 3.19 1.55 5/263 31711
/proc/meminfo: memFree=126605800/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=106556 memory=21448 CPUtime=0.69 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2746 0 0 0 69 0 0 0 20 0 3 0 4495772 109113344 5362 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 26639 5362 2966 3035 0 8663 0
[pid=31708/tid=31710] ppid=31705 vsize=106556 memory=0 CPUtime=0.68 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 1601 0 0 0 68 0 0 0 20 0 3 0 4495772 109113344 5362 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=106556 memory=0 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4495773 109113344 5362 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106556 KiB
Current children cumulated memory: 21448 KiB
[startup+1.50018 s]
/proc/loadavg: 4.39 3.19 1.55 5/263 31711
/proc/meminfo: memFree=126605100/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=106556 memory=22828 CPUtime=1.48 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 5077 0 0 0 148 0 0 0 20 0 3 0 4495772 109113344 5707 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 26639 5707 2966 3035 0 9122 0
[pid=31708/tid=31710] ppid=31705 vsize=106556 memory=0 CPUtime=1.48 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 3914 0 0 0 148 0 0 0 20 0 3 0 4495772 109113344 5707 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=106556 memory=0 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4495773 109113344 5707 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106556 KiB
Current children cumulated memory: 22828 KiB
[startup+3.10523 s]
/proc/loadavg: 4.36 3.20 1.56 5/263 31711
/proc/meminfo: memFree=126602776/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=106556 memory=22828 CPUtime=3.09 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 5523 0 0 0 307 2 0 0 20 0 3 0 4495772 109113344 5707 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 26639 5707 2966 3035 0 9122 0
[pid=31708/tid=31710] ppid=31705 vsize=106556 memory=2273 CPUtime=3.07 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 4360 0 0 0 306 1 0 0 20 0 3 0 4495772 109113344 5707 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=106556 memory=0 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4495773 109113344 5707 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106556 KiB
Current children cumulated memory: 22828 KiB
[startup+6.30017 s]
/proc/loadavg: 4.36 3.20 1.56 5/263 31713
/proc/meminfo: memFree=126597176/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=106556 memory=27184 CPUtime=6.27 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 8389 0 0 0 623 4 0 0 20 0 3 0 4495772 109113344 6796 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 26639 6796 3014 3035 0 9857 0
[pid=31708/tid=31710] ppid=31705 vsize=106556 memory=-5155630214950906757 CPUtime=6.26 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 7205 0 0 0 622 4 0 0 20 0 3 0 4495772 109113344 6796 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=106556 memory=26236 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4495773 109113344 6796 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106556 KiB
Current children cumulated memory: 27184 KiB
[startup+12.7002 s]
/proc/loadavg: 4.31 3.23 1.59 5/263 31713
/proc/meminfo: memFree=126584168/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=107108 memory=33524 CPUtime=12.64 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 14615 0 0 0 1257 7 0 0 20 0 3 0 4495772 109678592 8381 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 26777 8381 3014 3035 0 11578 0
[pid=31708/tid=31710] ppid=31705 vsize=107108 memory=22840 CPUtime=12.64 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 13402 0 0 0 1257 7 0 0 20 0 3 0 4495772 109678592 8381 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=107108 memory=0 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4495773 109678592 8381 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 107108 KiB
Current children cumulated memory: 33524 KiB
[startup+25.5001 s]
/proc/loadavg: 4.34 3.27 1.62 5/263 31714
/proc/meminfo: memFree=126558672/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=114956 memory=50440 CPUtime=25.39 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 29305 0 0 0 2526 13 0 0 20 0 3 0 4495772 117714944 12610 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 28739 12610 3014 3035 0 16001 0
[pid=31708/tid=31710] ppid=31705 vsize=114956 memory=30516 CPUtime=25.38 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 28027 0 0 0 2525 13 0 0 20 0 3 0 4495772 117714944 12610 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=114956 memory=11360 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4495773 117714944 12610 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 114956 KiB
Current children cumulated memory: 50440 KiB
[startup+51.1056 s]
/proc/loadavg: 4.28 3.35 1.69 5/263 31719
/proc/meminfo: memFree=126493892/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=128668 memory=69560 CPUtime=50.9 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 54689 0 0 0 5062 28 0 0 20 0 3 0 4495772 131756032 17390 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 32167 17390 3014 3035 0 21715 0
[pid=31708/tid=31710] ppid=31705 vsize=128668 memory=67508 CPUtime=50.88 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 53367 0 0 0 5061 27 0 0 20 0 3 0 4495772 131756032 17390 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=128668 memory=66904 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4495773 131756032 17390 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 128668 KiB
Current children cumulated memory: 69560 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 3.49 1.83 5/264 31730
/proc/meminfo: memFree=126422796/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=160516 memory=111312 CPUtime=101.89 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 99274 0 0 0 10137 52 0 0 20 0 3 0 4495772 164368384 27828 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 40129 27828 3014 3035 0 33260 0
[pid=31708/tid=31710] ppid=31705 vsize=160516 memory=108948 CPUtime=101.88 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 97869 0 0 0 10136 52 0 0 20 0 3 0 4495772 164368384 27828 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=160516 memory=108940 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4495773 164368384 27828 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 160516 KiB
Current children cumulated memory: 111312 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 3.61 1.98 5/264 31740
/proc/meminfo: memFree=126360160/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=181000 memory=136104 CPUtime=161.65 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 137081 0 0 0 16082 83 0 0 20 0 3 0 4495772 185344000 34026 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 45250 34026 3014 3035 0 40276 0
[pid=31708/tid=31710] ppid=31705 vsize=181000 memory=134792 CPUtime=161.63 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 135629 0 0 0 16080 83 0 0 20 0 3 0 4495772 185344000 34026 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=181000 memory=11360 CPUtime=0 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4495773 185344000 34026 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 181000 KiB
################
# More data... #
################
/proc/31708/statm: 227118 202828 3014 3035 0 211328 0
[pid=31708/tid=31710] ppid=31705 vsize=908472 memory=805148 CPUtime=3388.83 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 2352821 0 0 0 337406 1477 0 0 20 0 3 0 4495772 930275328 202828 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=908472 memory=811312 CPUtime=0.01 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 135 0 0 0 0 1 0 0 20 0 3 0 4495773 930275328 202828 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3389.02 s
Current children cumulated vsize: 908472 KiB
Current children cumulated memory: 811312 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.07 5/266 33674
/proc/meminfo: memFree=125579636/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=908472 memory=816400 CPUtime=3448.8 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2416337 0 0 0 343378 1502 0 0 20 0 3 0 4495772 930275328 204100 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 227118 204100 3014 3035 0 211386 0
[pid=31708/tid=31710] ppid=31705 vsize=908472 memory=805148 CPUtime=3448.6 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 2413735 0 0 0 343361 1499 0 0 20 0 3 0 4495772 930275328 204100 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=908472 memory=816376 CPUtime=0.01 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 137 0 0 0 0 1 0 0 20 0 3 0 4495773 930275328 204100 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3448.8 s
Current children cumulated vsize: 908472 KiB
Current children cumulated memory: 816400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/265 33686
/proc/meminfo: memFree=125549100/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=908472 memory=822112 CPUtime=3508.52 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2466980 0 0 0 349330 1522 0 0 20 0 3 0 4495772 930275328 205528 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 227118 205528 3014 3035 0 211386 0
[pid=31708/tid=31710] ppid=31705 vsize=908472 memory=813928 CPUtime=3508.33 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 2464357 0 0 0 349314 1519 0 0 20 0 3 0 4495772 930275328 205528 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=908472 memory=822112 CPUtime=0.01 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 139 0 0 0 0 1 0 0 20 0 3 0 4495773 930275328 205528 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3508.52 s
Current children cumulated vsize: 908472 KiB
Current children cumulated memory: 822112 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.11 4.07 5/263 33743
/proc/meminfo: memFree=124778628/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=921008 memory=827108 CPUtime=3568.28 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2519791 0 0 0 355288 1540 0 0 20 0 3 0 4495772 943112192 206777 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 230252 206777 3014 3035 0 214717 0
[pid=31708/tid=31710] ppid=31705 vsize=921008 memory=826052 CPUtime=3568.08 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 2517149 0 0 0 355272 1536 0 0 20 0 3 0 4495772 943112192 206777 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=921008 memory=827108 CPUtime=0.01 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 139 0 0 0 0 1 0 0 20 0 3 0 4495773 943112192 206777 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3568.28 s
Current children cumulated vsize: 921008 KiB
Current children cumulated memory: 827108 KiB
[startup+3598.47 s]
# the end of solver process 31708 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.9 s, system=15.4876 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.04 4.11 4.07 5/263 33743
/proc/meminfo: memFree=124778524/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=921008 memory=827388 CPUtime=3569.98 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2520045 0 0 0 355458 1540 0 0 20 0 3 0 4495772 943112192 206847 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 230252 206847 3014 3035 0 214717 0
[pid=31708/tid=31710] ppid=31705 vsize=921008 memory=1688 CPUtime=3569.78 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 2517401 0 0 0 355441 1537 0 0 20 0 3 0 4495772 943112192 206847 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=921008 memory=-7163937848848114048 CPUtime=0.01 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 141 0 0 0 0 1 0 0 20 0 3 0 4495773 943112192 206847 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3569.98 s
Current children cumulated vsize: 921008 KiB
Current children cumulated memory: 827388 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.12 4.07 5/263 33745
/proc/meminfo: memFree=124777604/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=921008 memory=827748 CPUtime=3576.34 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2520571 0 0 0 356092 1542 0 0 20 0 3 0 4495772 943112192 206937 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 230252 206937 3014 3035 0 214717 0
[pid=31708/tid=31710] ppid=31705 vsize=921008 memory=11360 CPUtime=3576.15 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 2517926 0 0 0 356076 1539 0 0 20 0 3 0 4495772 943112192 206937 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=921008 memory=12760 CPUtime=0.01 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 141 0 0 0 0 1 0 0 20 0 3 0 4495773 943112192 206937 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3576.34 s
Current children cumulated vsize: 921008 KiB
Current children cumulated memory: 827748 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.12 4.07 5/263 33745
/proc/meminfo: memFree=124777400/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=921008 memory=827968 CPUtime=3579.53 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2520720 0 0 0 356410 1543 0 0 20 0 3 0 4495772 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 230252 206992 3014 3035 0 214717 0
[pid=31708/tid=31710] ppid=31705 vsize=921008 memory=-7163937848848114048 CPUtime=3579.33 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 2518075 0 0 0 356393 1540 0 0 20 0 3 0 4495772 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=921008 memory=1782596 CPUtime=0.01 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 141 0 0 0 0 1 0 0 20 0 3 0 4495773 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3579.53 s
Current children cumulated vsize: 921008 KiB
Current children cumulated memory: 827968 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.07 5/263 33746
/proc/meminfo: memFree=124777304/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=921008 memory=827968 CPUtime=3582.72 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2521074 0 0 0 356727 1545 0 0 20 0 3 0 4495772 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 230252 206992 3014 3035 0 214717 0
[pid=31708/tid=31710] ppid=31705 vsize=921008 memory=12760 CPUtime=3582.52 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 2518429 0 0 0 356710 1542 0 0 20 0 3 0 4495772 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=921008 memory=11360 CPUtime=0.01 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 141 0 0 0 0 1 0 0 20 0 3 0 4495773 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3582.72 s
Current children cumulated vsize: 921008 KiB
Current children cumulated memory: 827968 KiB
[startup+3597.6 s]
/proc/loadavg: 4.10 4.12 4.07 5/263 33746
/proc/meminfo: memFree=124777280/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=921008 memory=827968 CPUtime=3583.51 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2521205 0 0 0 356806 1545 0 0 20 0 3 0 4495772 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 230252 206992 3014 3035 0 214717 0
[pid=31708/tid=31710] ppid=31705 vsize=921008 memory=12760 CPUtime=3583.31 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 2518552 0 0 0 356789 1542 0 0 20 0 3 0 4495772 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=921008 memory=11360 CPUtime=0.01 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 141 0 0 0 0 1 0 0 20 0 3 0 4495773 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3583.51 s
Current children cumulated vsize: 921008 KiB
Current children cumulated memory: 827968 KiB
[startup+3598 s]*
/proc/loadavg: 4.10 4.12 4.07 5/263 33746
/proc/meminfo: memFree=124777280/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=921008 memory=827968 CPUtime=3583.91 cores=0,2
/proc/31708/stat : 31708 (fscip) R 31705 31708 30686 0 -1 1077936128 2521886 0 0 0 356846 1545 0 0 20 0 3 0 4495772 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 230252 206992 3014 3035 0 214717 0
[pid=31708/tid=31710] ppid=31705 vsize=921008 memory=827968 CPUtime=3583.72 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 2519234 0 0 0 356830 1542 0 0 20 0 3 0 4495772 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=921008 memory=35228 CPUtime=0.01 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 141 0 0 0 0 1 0 0 20 0 3 0 4495773 943112192 206992 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3583.91 s
Current children cumulated vsize: 921008 KiB
Current children cumulated memory: 827968 KiB
[startup+3598.4 s]
/proc/loadavg: 4.10 4.12 4.07 5/263 33746
/proc/meminfo: memFree=124777280/131524600 swapFree=131071996/131071996
[pid=31708] ppid=31705 vsize=866200 memory=773160 CPUtime=3584.31 cores=0,2
/proc/31708/stat : 31708 (fscip) S 31705 31708 30686 0 -1 1077936128 2529036 0 0 0 356885 1546 0 0 20 0 3 0 4495772 886988800 193290 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
/proc/31708/statm: 216550 193290 3014 3035 0 201015 0
[pid=31708/tid=31710] ppid=31705 vsize=866200 memory=827968 CPUtime=3584.11 cores=0,2
/proc/31708/task/31710/stat : 31710 (fscip) R 31705 31708 30686 0 -1 4194368 2526375 0 0 0 356868 1543 0 0 20 0 3 0 4495772 886988800 193290 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
[pid=31708/tid=31711] ppid=31705 vsize=866200 memory=5560 CPUtime=0.01 cores=0,2
/proc/31708/task/31711/stat : 31711 (fscip) S 31705 31708 30686 0 -1 1077936192 141 0 0 0 0 1 0 0 20 0 3 0 4495773 886988800 193290 134679101440 4194304 16623229 140732552724288 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36143104 140732552725526 140732552725642 140732552725642 140732552732656 0
Current children cumulated CPU time: 3584.31 s
Current children cumulated vsize: 866200 KiB
Current children cumulated memory: 773160 KiB
Child status: 0
Real time (s): 3598.47
CPU time (s): 3584.39
CPU user time (s): 3568.9
CPU system time (s): 15.4876
CPU usage (%): 99.6088
Max. virtual memory (cumulated for all children) (KiB): 921008
Max. memory (cumulated for all children) (KiB): 827968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.9
system time used= 15.4876
maximum resident set size= 827968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2529722
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= 10812
involuntary context switches= 24585
# summary of solver processes directly reported to runsolver:
# pid: 31708
# total CPU time (s): 3584.39
# total CPU user time (s): 3568.9
# total CPU system time (s): 15.4876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24782 second user time and 16.4252 second system time
The end
Begin job on nodeC018 at 2024-07-31 00:36:24
IDJOB=4464346
IDBENCH=148099
IDSOLVER=3092
FILE ID=nodeC018/4464346-1722378984
RUNJOBID= nodeC018-1722378594-30696
SLURM_JOB_ID= 8249831
Free space on /tmp= 889968 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob7.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-4464346-1722378984/watcher-4464346-1722378984 -o /tmp/evaluation-result-4464346-1722378984/solver-4464346-1722378984 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30696 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464346-1722378984.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0da7938cd78b604d95ed37ad5ec78200
RANDOM SEED=99795441
nodeC018.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 : 3661.756
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3686.992
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 : 7007.08
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 : 3673.880
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.389
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 : 7007.08
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 : 3669.252
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3687.057
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 : 7007.08
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.436
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.081
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126616500 kB
MemAvailable: 128114628 kB
Buffers: 94076 kB
Cached: 2223856 kB
SwapCached: 0 kB
Active: 268624 kB
Inactive: 4130828 kB
Active(anon): 1548 kB
Inactive(anon): 2100984 kB
Active(file): 267076 kB
Inactive(file): 2029844 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28308 kB
Writeback: 12 kB
AnonPages: 2081152 kB
Mapped: 124224 kB
Shmem: 21336 kB
KReclaimable: 81712 kB
Slab: 166872 kB
SReclaimable: 81712 kB
SUnreclaim: 85160 kB
KernelStack: 4288 kB
PageTables: 13276 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1708620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8512 kB
HardwareCorrupted: 0 kB
AnonHugePages: 872448 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: 148180 kB
DirectMap2M: 10110976 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889932 MiB
End job on nodeC018 at 2024-07-31 01:36:22