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() = 811046, SCIPgetMemTotal() = 932238, 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 = 15486976, getVmSize() = 24133632, SCIPgetMemUsed() = 961102, SCIPgetMemTotal() = 1556262, 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-4464339-1722378947
0.00/0.00 c Variables : 106 (106 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 : 106 (106 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 19172 1216 1 - 0.0000 -
10.07/10.13 c 10 46420 3936 1 - 0.0000 -
15.05/15.18 c 15 69510 5178 1 - 0.0000 -
20.13/20.22 c 20 93153 6179 1 - 0.0000 -
25.12/25.27 c 25 118470 7878 1 - 0.0000 -
30.22/30.32 c 30 145026 9220 1 - 0.0000 -
35.20/35.37 c 35 172633 11000 1 - 0.0000 -
40.29/40.42 c 40 198466 12487 1 - 0.0000 -
45.27/45.47 c 45 224196 14182 1 - 0.0000 -
50.36/50.52 c 51 253417 15447 1 - 0.0000 -
55.35/55.57 c 56 281126 17122 1 - 0.0000 -
60.44/60.62 c 61 306558 18554 1 - 0.0000 -
65.43/65.66 c 66 335388 19714 1 - 0.0000 -
70.51/70.71 c 71 362471 21051 1 - 0.0000 -
75.49/75.76 c 76 390565 22195 1 - 0.0000 -
80.58/80.81 c 81 418038 23574 1 - 0.0000 -
85.58/85.86 c 86 446563 25178 1 - 0.0000 -
90.66/90.91 c 91 473518 26219 1 - 0.0000 -
95.65/95.96 c 96 498323 27561 1 - 0.0000 -
100.74/101.01 c 101 522262 29476 1 - 0.0000 -
105.72/106.06 c 106 546507 31519 1 - 0.0000 -
110.82/111.11 c 111 572350 33328 1 - 0.0000 -
115.80/116.16 c 116 595775 34984 1 - 0.0000 -
120.88/121.21 c 121 620133 36386 1 - 0.0000 -
125.87/126.26 c 126 644318 37655 1 - 0.0000 -
130.95/131.31 c 131 668881 39108 1 - 0.0000 -
135.94/136.36 c 136 693647 40566 1 - 0.0000 -
141.02/141.41 c 141 719500 42301 1 - 0.0000 -
146.01/146.46 c 146 745611 43388 1 - 0.0000 -
151.09/151.51 c 152 768873 44430 1 - 0.0000 -
156.07/156.56 c 157 795236 45477 1 - 0.0000 -
161.16/161.61 c 162 820574 46633 1 - 0.0000 -
166.14/166.66 c 167 847167 48254 1 - 0.0000 -
171.22/171.71 c 172 877064 49655 1 - 0.0000 -
176.21/176.76 c 177 905523 50668 1 - 0.0000 -
181.30/181.81 c 182 932754 51768 1 - 0.0000 -
186.27/186.86 c 187 959220 52806 1 - 0.0000 -
191.36/191.91 c 192 992522 54750 1 - 0.0000 -
196.34/196.96 c 197 1053963 57329 1 - 0.0000 -
201.42/202.01 c 202 1113242 59900 1 - 0.0000 -
206.41/207.06 c 207 1141897 61393 1 - 0.0000 -
211.50/212.11 c 212 1199306 63904 1 - 0.0000 -
216.48/217.16 c 217 1260783 66207 1 - 0.0000 -
221.56/222.21 c 222 1287928 67586 1 - 0.0000 -
226.55/227.26 c 227 1315522 68836 1 - 0.0000 -
231.63/232.31 c 232 1339500 69970 1 - 0.0000 -
236.63/237.36 c 237 1360698 70938 1 - 0.0000 -
241.71/242.41 c 242 1384843 71897 1 - 0.0000 -
246.70/247.46 c 247 1410366 72738 1 - 0.0000 -
251.78/252.51 c 253 1431185 73627 1 - 0.0000 -
256.78/257.55 c 258 1454515 74459 1 - 0.0000 -
261.86/262.60 c 263 1481315 75919 1 - 0.0000 -
266.84/267.65 c 268 1512128 77484 1 - 0.0000 -
271.94/272.70 c 273 1540537 78471 1 - 0.0000 -
276.92/277.75 c 278 1571208 79630 1 - 0.0000 -
282.00/282.80 c 283 1599013 80642 1 - 0.0000 -
286.98/287.85 c 288 1626175 82254 1 - 0.0000 -
292.07/292.90 c 293 1655307 83434 1 - 0.0000 -
297.05/297.95 c 298 1681396 84753 1 - 0.0000 -
302.13/303.00 c 303 1709747 85920 1 - 0.0000 -
307.13/308.05 c 308 1738095 87012 1 - 0.0000 -
312.11/313.10 c 313 1769067 88118 1 - 0.0000 -
317.20/318.15 c 318 1798175 89464 1 - 0.0000 -
322.28/323.20 c 323 1825843 90182 1 - 0.0000 -
327.26/328.25 c 328 1854717 91060 1 - 0.0000 -
332.36/333.30 c 333 1883979 91990 1 - 0.0000 -
337.34/338.35 c 338 1916488 93537 1 - 0.0000 -
342.43/343.40 c 343 1951103 95396 1 - 0.0000 -
347.42/348.45 c 348 1984271 96298 1 - 0.0000 -
352.50/353.50 c 354 2017323 98006 1 - 0.0000 -
357.49/358.55 c 359 2045911 99402 1 - 0.0000 -
362.57/363.60 c 364 2073880 100589 1 - 0.0000 -
367.56/368.65 c 369 2098112 102027 1 - 0.0000 -
372.64/373.70 c 374 2121064 103171 1 - 0.0000 -
377.63/378.75 c 379 2141927 103640 1 - 0.0000 -
382.72/383.80 c 384 2164267 104410 1 - 0.0000 -
387.71/388.85 c 389 2185574 104911 1 - 0.0000 -
392.80/393.90 c 394 2209537 105537 1 - 0.0000 -
397.79/398.95 c 399 2236395 106463 1 - 0.0000 -
402.88/404.00 c 404 2261939 107401 1 - 0.0000 -
407.87/409.05 c 409 2285815 109089 1 - 0.0000 -
412.85/414.10 c 414 2306846 110096 1 - 0.0000 -
417.94/419.15 c 419 2326602 110736 1 - 0.0000 -
423.02/424.20 c 424 2347483 111437 1 - 0.0000 -
428.01/429.25 c 429 2367985 111935 1 - 0.0000 -
433.09/434.30 c 434 2387909 112463 1 - 0.0000 -
438.09/439.35 c 439 2407813 113403 1 - 0.0000 -
443.17/444.40 c 444 2432775 114557 1 - 0.0000 -
448.16/449.45 c 449 2463870 115718 1 - 0.0000 -
453.25/454.50 c 455 2493635 117785 1 - 0.0000 -
458.24/459.55 c 460 2524447 118994 1 - 0.0000 -
463.32/464.60 c 465 2545457 120052 1 - 0.0000 -
468.31/469.65 c 470 2569258 121105 1 - 0.0000 -
473.40/474.70 c 475 2596375 121980 1 - 0.0000 -
478.39/479.75 c 480 2626732 123051 1 - 0.0000 -
483.47/484.80 c 485 2648054 124011 1 - 0.0000 -
488.46/489.85 c 490 2679287 125178 1 - 0.0000 -
493.55/494.90 c 495 2711041 126456 1 - 0.0000 -
498.54/499.95 c 500 2736566 127341 1 - 0.0000 -
503.63/505.00 c 505 2766762 128425 1 - 0.0000 -
508.62/510.05 c 510 2793929 129446 1 - 0.0000 -
513.60/515.10 c 515 2823153 130422 1 - 0.0000 -
518.69/520.15 c 520 2847236 131289 1 - 0.0000 -
523.77/525.20 c 525 2873922 132195 1 - 0.0000 -
528.75/530.25 c 530 2902176 133181 1 - 0.0000 -
533.84/535.30 c 535 2929952 134279 1 - 0.0000 -
538.84/540.35 c 540 2963072 135343 1 - 0.0000 -
543.92/545.40 c 545 2991742 136605 1 - 0.0000 -
548.91/550.45 c 550 3018439 138168 1 - 0.0000 -
554.00/555.50 c 556 3040810 138935 1 - 0.0000 -
558.98/560.55 c 561 3068136 139875 1 - 0.0000 -
564.07/565.60 c 566 3110138 141551 1 - 0.0000 -
569.06/570.65 c 571 3138546 142691 1 - 0.0000 -
574.15/575.70 c 576 3166996 143805 1 - 0.0000 -
579.13/580.75 c 581 3196224 144871 1 - 0.0000 -
584.22/585.80 c 586 3217915 145848 1 - 0.0000 -
589.21/590.85 c 591 3239663 146560 1 - 0.0000 -
594.29/595.92 c 596 3266199 147480 1 - 0.0000 -
599.28/600.97 c 601 3326129 150250 1 - 0.0000 -
604.37/606.02 c 606 3384833 152516 1 - 0.0000 -
609.36/611.07 c 611 3406501 153104 1 - 0.0000 -
614.44/616.12 c 616 3425568 153651 1 - 0.0000 -
619.43/621.17 c 621 3453904 154757 1 - 0.0000 -
624.52/626.22 c 626 3479821 155616 1 - 0.0000 -
629.61/631.30 c 631 3516373 157380 1 - 0.0000 -
634.58/636.35 c 636 3584847 159486 1 - 0.0000 -
639.67/641.40 c 641 3613064 160672 1 - 0.0000 -
644.66/646.45 c 646 3641381 161767 1 - 0.0000 -
649.75/651.50 c 652 3669465 162689 1 - 0.0000 -
654.74/656.55 c 657 3694952 163628 1 - 0.0000 -
659.82/661.60 c 662 3726260 164690 1 - 0.0000 -
664.81/666.65 c 667 3750550 165556 1 - 0.0000 -
669.90/671.70 c 672 3781669 166825 1 - 0.0000 -
674.88/676.75 c 677 3810906 168074 1 - 0.0000 -
679.97/681.81 c 682 3839085 168963 1 - 0.0000 -
684.96/686.86 c 687 3866087 170335 1 - 0.0000 -
690.05/691.91 c 692 3895033 171477 1 - 0.0000 -
695.04/696.96 c 697 3925873 172731 1 - 0.0000 -
700.13/702.01 c 702 3957152 173916 1 - 0.0000 -
705.12/707.06 c 707 3984273 174929 1 - 0.0000 -
710.20/712.11 c 712 4017119 175957 1 - 0.0000 -
715.19/717.16 c 717 4045027 176983 1 - 0.0000 -
720.27/722.21 c 722 4074478 178038 1 - 0.0000 -
725.26/727.26 c 727 4102251 178983 1 - 0.0000 -
730.34/732.31 c 732 4127049 179899 1 - 0.0000 -
735.33/737.36 c 737 4155393 180897 1 - 0.0000 -
740.42/742.41 c 742 4182284 181610 1 - 0.0000 -
745.41/747.46 c 747 4211335 182493 1 - 0.0000 -
750.49/752.51 c 753 4239452 183328 1 - 0.0000 -
755.49/757.56 c 758 4271535 184453 1 - 0.0000 -
760.57/762.61 c 763 4300803 186037 1 - 0.0000 -
765.56/767.67 c 768 4345869 187829 1 - 0.0000 -
770.64/772.71 c 773 4370845 188827 1 - 0.0000 -
775.63/777.76 c 778 4396123 189787 1 - 0.0000 -
780.73/782.81 c 783 4422536 190708 1 - 0.0000 -
785.71/787.86 c 788 4452991 191911 1 - 0.0000 -
790.80/792.91 c 793 4482541 192845 1 - 0.0000 -
795.79/797.96 c 798 4532015 195267 1 - 0.0000 -
800.88/803.01 c 803 4561600 196144 1 - 0.0000 -
805.86/808.06 c 808 4593223 197105 1 - 0.0000 -
810.95/813.11 c 813 4621310 198100 1 - 0.0000 -
815.93/818.16 c 818 4652301 199229 1 - 0.0000 -
821.02/823.21 c 823 4683060 200355 1 - 0.0000 -
826.00/828.26 c 828 4710715 201396 1 - 0.0000 -
831.09/833.31 c 833 4738175 202456 1 - 0.0000 -
836.08/838.36 c 838 4769226 203777 1 - 0.0000 -
841.16/843.41 c 843 4795413 204715 1 - 0.0000 -
846.15/848.46 c 848 4823731 205633 1 - 0.0000 -
851.24/853.51 c 854 4850828 206358 1 - 0.0000 -
856.23/858.56 c 859 4881477 207351 1 - 0.0000 -
861.32/863.61 c 864 4910839 208319 1 - 0.0000 -
866.31/868.66 c 869 4938012 209316 1 - 0.0000 -
871.39/873.71 c 874 4970659 210227 1 - 0.0000 -
876.37/878.76 c 879 4999251 211335 1 - 0.0000 -
881.47/883.81 c 884 5028516 212394 1 - 0.0000 -
886.46/888.86 c 889 5057555 213701 1 - 0.0000 -
891.54/893.91 c 894 5082913 214479 1 - 0.0000 -
896.53/898.96 c 899 5109868 215320 1 - 0.0000 -
901.62/904.01 c 904 5149331 216519 1 - 0.0000 -
906.61/909.06 c 909 5181558 217404 1 - 0.0000 -
911.70/914.11 c 914 5212213 218427 1 - 0.0000 -
916.68/919.16 c 919 5245553 219689 1 - 0.0000 -
921.76/924.22 c 924 5277687 220633 1 - 0.0000 -
926.74/929.27 c 929 5319189 222210 1 - 0.0000 -
931.84/934.32 c 934 5348426 223133 1 - 0.0000 -
936.82/939.38 c 939 5386408 224403 1 - 0.0000 -
941.91/944.43 c 944 5419649 225344 1 - 0.0000 -
946.90/949.48 c 949 5448253 226290 1 - 0.0000 -
951.98/954.53 c 955 5475239 227315 1 - 0.0000 -
956.97/959.58 c 960 5505174 228272 1 - 0.0000 -
962.06/964.63 c 965 5533066 229178 1 - 0.0000 -
967.05/969.68 c 970 5561391 230125 1 - 0.0000 -
972.13/974.73 c 975 5614086 231910 1 - 0.0000 -
977.22/979.80 c 980 5647043 233237 1 - 0.0000 -
982.21/984.85 c 985 5670618 234002 1 - 0.0000 -
987.30/989.93 c 990 5699106 234896 1 - 0.0000 -
992.28/994.98 c 995 5728456 236170 1 - 0.0000 -
997.37/1000.03 c 1000 5757076 237112 1 - 0.0000 -
1002.36/1005.09 c 1005 5784289 238181 1 - 0.0000 -
1007.44/1010.14 c 1010 5815597 239545 1 - 0.0000 -
1012.43/1015.19 c 1015 5843515 240441 1 - 0.0000 -
1017.50/1020.24 c 1020 5872023 241341 1 - 0.0000 -
1022.49/1025.29 c 1025 5902155 242257 1 - 0.0000 -
1027.57/1030.34 c 1030 5931717 243245 1 - 0.0000 -
1032.56/1035.39 c 1035 5969235 244481 1 - 0.0000 -
1037.63/1040.44 c 1040 6006951 245875 1 - 0.0000 -
1042.62/1045.49 c 1046 6035266 246682 1 - 0.0000 -
1047.71/1050.54 c 1051 6064418 247624 1 - 0.0000 -
1052.69/1055.59 c 1056 6096682 248770 1 - 0.0000 -
1057.77/1060.64 c 1061 6121408 249440 1 - 0.0000 -
1062.76/1065.69 c 1066 6147758 250368 1 - 0.0000 -
1067.84/1070.74 c 1071 6177907 251325 1 - 0.0000 -
1072.83/1075.79 c 1076 6205850 252080 1 - 0.0000 -
1077.91/1080.84 c 1081 6236271 252981 1 - 0.0000 -
1082.89/1085.89 c 1086 6265869 254011 1 - 0.0000 -
1087.97/1090.94 c 1091 6294819 254921 1 - 0.0000 -
1092.95/1095.99 c 1096 6324534 255804 1 - 0.0000 -
1098.04/1101.05 c 1101 6353619 256859 1 - 0.0000 -
1103.13/1106.11 c 1106 6409314 258996 1 - 0.0000 -
1108.12/1111.16 c 1111 6441496 259960 1 - 0.0000 -
1113.19/1116.21 c 1116 6475546 261138 1 - 0.0000 -
1118.19/1121.26 c 1121 6504071 261825 1 - 0.0000 -
1123.28/1126.31 c 1126 6534532 263102 1 - 0.0000 -
1128.26/1131.36 c 1131 6560251 263797 1 - 0.0000 -
1133.34/1136.41 c 1136 6585863 264921 1 - 0.0000 -
1138.34/1141.46 c 1141 6609591 265865 1 - 0.0000 -
1143.42/1146.51 c 1147 6631727 267011 1 - 0.0000 -
1148.40/1151.56 c 1152 6654483 267947 1 - 0.0000 -
1153.49/1156.63 c 1157 6675439 268831 1 - 0.0000 -
1158.48/1161.68 c 1162 6698793 269773 1 - 0.0000 -
1163.57/1166.73 c 1167 6721322 270436 1 - 0.0000 -
1168.55/1171.78 c 1172 6741062 271032 1 - 0.0000 -
1173.65/1176.83 c 1177 6761008 271804 1 - 0.0000 -
1178.63/1181.88 c 1182 6780908 272498 1 - 0.0000 -
1183.72/1186.93 c 1187 6801221 273023 1 - 0.0000 -
1188.70/1191.98 c 1192 6823603 273781 1 - 0.0000 -
1193.80/1197.03 c 1197 6848691 274561 1 - 0.0000 -
1198.78/1202.08 c 1202 6886352 275714 1 - 0.0000 -
1203.87/1207.13 c 1207 6922843 276881 1 - 0.0000 -
1208.85/1212.18 c 1212 6950195 277727 1 - 0.0000 -
1213.94/1217.23 c 1217 6976470 278670 1 - 0.0000 -
1218.92/1222.29 c 1222 7006179 279715 1 - 0.0000 -
1224.01/1227.34 c 1227 7037186 280778 1 - 0.0000 -
1229.00/1232.39 c 1232 7065132 281540 1 - 0.0000 -
1234.09/1237.44 c 1237 7092921 282571 1 - 0.0000 -
1239.07/1242.49 c 1242 7124474 283332 1 - 0.0000 -
1244.15/1247.54 c 1248 7155702 284860 1 - 0.0000 -
1249.15/1252.59 c 1253 7179337 286179 1 - 0.0000 -
1254.23/1257.64 c 1258 7206448 287318 1 - 0.0000 -
1259.22/1262.69 c 1263 7233891 288035 1 - 0.0000 -
1264.30/1267.74 c 1268 7263550 289040 1 - 0.0000 -
1269.29/1272.79 c 1273 7291348 289958 1 - 0.0000 -
1274.37/1277.84 c 1278 7315804 290988 1 - 0.0000 -
1279.36/1282.89 c 1283 7341503 291541 1 - 0.0000 -
1284.45/1287.94 c 1288 7372450 292436 1 - 0.0000 -
1289.43/1292.99 c 1293 7396931 293295 1 - 0.0000 -
1294.52/1298.04 c 1298 7430001 294431 1 - 0.0000 -
1299.51/1303.09 c 1303 7458701 295301 1 - 0.0000 -
1304.60/1308.14 c 1308 7483272 296232 1 - 0.0000 -
1309.58/1313.19 c 1313 7513069 297233 1 - 0.0000 -
1314.67/1318.24 c 1318 7543077 298011 1 - 0.0000 -
1319.66/1323.29 c 1323 7572458 299054 1 - 0.0000 -
1324.74/1328.34 c 1328 7600438 300052 1 - 0.0000 -
1329.73/1333.39 c 1333 7630473 301115 1 - 0.0000 -
1334.81/1338.44 c 1338 7664430 302360 1 - 0.0000 -
1339.80/1343.49 c 1344 7699736 304012 1 - 0.0000 -
1344.89/1348.54 c 1349 7731233 305259 1 - 0.0000 -
1349.88/1353.59 c 1354 7756813 307645 1 - 0.0000 -
1354.97/1358.64 c 1359 7787574 309706 1 - 0.0000 -
1360.05/1363.70 c 1364 7822704 311462 1 - 0.0000 -
1365.03/1368.75 c 1369 7855412 312988 1 - 0.0000 -
1370.12/1373.80 c 1374 7887138 314492 1 - 0.0000 -
1375.11/1378.87 c 1379 7920929 316167 1 - 0.0000 -
1380.20/1383.92 c 1384 7954200 317660 1 - 0.0000 -
1385.19/1388.97 c 1389 7986522 319246 1 - 0.0000 -
1390.27/1394.02 c 1394 8018158 320868 1 - 0.0000 -
1395.27/1399.07 c 1399 8050814 322918 1 - 0.0000 -
1400.35/1404.12 c 1404 8079812 324594 1 - 0.0000 -
1405.34/1409.17 c 1409 8111748 326272 1 - 0.0000 -
1410.42/1414.22 c 1414 8145779 327931 1 - 0.0000 -
1415.41/1419.27 c 1419 8176354 330172 1 - 0.0000 -
1420.49/1424.32 c 1424 8206247 331579 1 - 0.0000 -
1425.49/1429.37 c 1429 8227559 332397 1 - 0.0000 -
1430.57/1434.42 c 1434 8259473 333545 1 - 0.0000 -
1435.56/1439.47 c 1439 8284127 334111 1 - 0.0000 -
1440.65/1444.52 c 1445 8311666 335216 1 - 0.0000 -
1445.64/1449.57 c 1450 8338719 336231 1 - 0.0000 -
1450.72/1454.62 c 1455 8370425 337017 1 - 0.0000 -
1455.71/1459.67 c 1460 8399931 337923 1 - 0.0000 -
1460.80/1464.72 c 1465 8425341 338513 1 - 0.0000 -
1465.79/1469.77 c 1470 8452660 339167 1 - 0.0000 -
1470.88/1474.82 c 1475 8482267 339978 1 - 0.0000 -
1475.86/1479.87 c 1480 8507153 340522 1 - 0.0000 -
1480.96/1484.95 c 1485 8532779 341898 1 - 0.0000 -
1486.04/1490.00 c 1490 8555708 343141 1 - 0.0000 -
1491.03/1495.05 c 1495 8581992 344019 1 - 0.0000 -
1496.01/1500.10 c 1500 8609407 344928 1 - 0.0000 -
1501.10/1505.15 c 1505 8635187 346504 1 - 0.0000 -
1506.19/1510.21 c 1510 8662856 347771 1 - 0.0000 -
1511.17/1515.26 c 1515 8691983 348982 1 - 0.0000 -
1516.26/1520.31 c 1520 8721786 350003 1 - 0.0000 -
1521.25/1525.39 c 1525 8750609 351150 1 - 0.0000 -
1526.33/1530.44 c 1530 8776741 352120 1 - 0.0000 -
1531.33/1535.49 c 1536 8803963 353052 1 - 0.0000 -
1536.41/1540.54 c 1541 8828852 353863 1 - 0.0000 -
1541.40/1545.59 c 1546 8858770 354875 1 - 0.0000 -
1546.48/1550.64 c 1551 8886821 355688 1 - 0.0000 -
1551.47/1555.69 c 1556 8912756 356645 1 - 0.0000 -
1556.56/1560.74 c 1561 8941634 357639 1 - 0.0000 -
1561.55/1565.79 c 1566 8967071 358372 1 - 0.0000 -
1566.63/1570.86 c 1571 8995446 359517 1 - 0.0000 -
1571.72/1575.91 c 1576 9024536 360389 1 - 0.0000 -
1576.71/1580.98 c 1581 9051539 361318 1 - 0.0000 -
1581.80/1586.03 c 1586 9080015 362286 1 - 0.0000 -
1586.78/1591.08 c 1591 9107941 363226 1 - 0.0000 -
1591.88/1596.13 c 1596 9136556 364017 1 - 0.0000 -
1596.86/1601.18 c 1601 9165228 364945 1 - 0.0000 -
1601.94/1606.23 c 1606 9194218 365823 1 - 0.0000 -
1606.93/1611.28 c 1611 9224373 366746 1 - 0.0000 -
1612.02/1616.33 c 1616 9255236 367935 1 - 0.0000 -
1617.01/1621.38 c 1621 9283847 368874 1 - 0.0000 -
1622.10/1626.43 c 1626 9313054 370313 1 - 0.0000 -
1627.08/1631.48 c 1631 9346175 371284 1 - 0.0000 -
1632.17/1636.53 c 1637 9373368 372255 1 - 0.0000 -
1637.16/1641.58 c 1642 9401901 373526 1 - 0.0000 -
1642.24/1646.68 c 1647 9429757 374760 1 - 0.0000 -
1647.34/1651.73 c 1652 9459755 375918 1 - 0.0000 -
1652.32/1656.78 c 1657 9487145 376930 1 - 0.0000 -
1657.40/1661.83 c 1662 9519704 378025 1 - 0.0000 -
1662.39/1666.88 c 1667 9548963 378766 1 - 0.0000 -
1667.49/1671.93 c 1672 9578279 379608 1 - 0.0000 -
1672.48/1676.98 c 1677 9606406 380521 1 - 0.0000 -
1677.56/1682.04 c 1682 9637651 381548 1 - 0.0000 -
1682.65/1687.10 c 1687 9666499 382400 1 - 0.0000 -
1687.63/1692.18 c 1692 9687708 384707 1 - 0.0000 -
1692.72/1697.23 c 1697 9715875 387324 1 - 0.0000 -
1697.71/1702.28 c 1702 9745988 389029 1 - 0.0000 -
1702.80/1707.33 c 1707 9776318 391103 1 - 0.0000 -
1707.78/1712.38 c 1712 9807610 393119 1 - 0.0000 -
1712.87/1717.43 c 1717 9837747 395328 1 - 0.0000 -
1717.86/1722.48 c 1722 9865225 397250 1 - 0.0000 -
1722.95/1727.57 c 1728 9894936 399703 1 - 0.0000 -
1728.03/1732.62 c 1733 9925788 402255 1 - 0.0000 -
1733.02/1737.69 c 1738 9954889 404570 1 - 0.0000 -
1738.11/1742.74 c 1743 9985189 406694 1 - 0.0000 -
1743.10/1747.79 c 1748 10014902 408523 1 - 0.0000 -
1748.19/1752.84 c 1753 10043727 410102 1 - 0.0000 -
1753.17/1757.89 c 1758 10073621 411928 1 - 0.0000 -
1758.26/1762.94 c 1763 10100402 413459 1 - 0.0000 -
1763.25/1767.99 c 1768 10131062 414887 1 - 0.0000 -
1768.34/1773.04 c 1773 10162367 416964 1 - 0.0000 -
1773.33/1778.09 c 1778 10190870 418629 1 - 0.0000 -
1778.41/1783.14 c 1783 10220607 420438 1 - 0.0000 -
1783.40/1788.19 c 1788 10254434 423635 1 - 0.0000 -
1788.49/1793.24 c 1793 10284121 426272 1 - 0.0000 -
1793.47/1798.29 c 1798 10310972 428671 1 - 0.0000 -
1798.56/1803.34 c 1803 10339016 430591 1 - 0.0000 -
1803.64/1808.40 c 1808 10366761 432046 1 - 0.0000 -
1808.64/1813.45 c 1813 10396641 434450 1 - 0.0000 -
1813.72/1818.50 c 1819 10424682 436687 1 - 0.0000 -
1818.71/1823.55 c 1824 10455857 438534 1 - 0.0000 -
1823.80/1828.60 c 1829 10486654 440915 1 - 0.0000 -
1828.78/1833.65 c 1834 10518108 442943 1 - 0.0000 -
1833.87/1838.70 c 1839 10549862 444725 1 - 0.0000 -
1838.86/1843.75 c 1844 10575287 445662 1 - 0.0000 -
1843.95/1848.80 c 1849 10602093 446370 1 - 0.0000 -
1848.94/1853.85 c 1854 10628799 447332 1 - 0.0000 -
1854.02/1858.90 c 1859 10656100 448023 1 - 0.0000 -
1859.01/1863.95 c 1864 10685069 448946 1 - 0.0000 -
1864.10/1869.03 c 1869 10714651 450988 1 - 0.0000 -
1869.09/1874.09 c 1874 10742039 452718 1 - 0.0000 -
1874.18/1879.14 c 1879 10772210 455127 1 - 0.0000 -
1879.26/1884.20 c 1884 10800587 460560 1 - 0.0000 -
1884.25/1889.27 c 1889 10829391 464974 1 - 0.0000 -
1889.33/1894.32 c 1894 10859107 468470 1 - 0.0000 -
1894.32/1899.37 c 1899 10887793 471006 1 - 0.0000 -
1899.41/1904.42 c 1904 10917790 473385 1 - 0.0000 -
1904.39/1909.47 c 1909 10944376 475221 1 - 0.0000 -
1909.48/1914.52 c 1915 10976834 477231 1 - 0.0000 -
1914.47/1919.57 c 1920 11006653 478786 1 - 0.0000 -
1919.56/1924.62 c 1925 11038915 481104 1 - 0.0000 -
1924.55/1929.67 c 1930 11068227 483170 1 - 0.0000 -
1929.63/1934.72 c 1935 11098309 486008 1 - 0.0000 -
1934.62/1939.77 c 1940 11130986 489357 1 - 0.0000 -
1939.71/1944.82 c 1945 11158517 491232 1 - 0.0000 -
1944.70/1949.87 c 1950 11187030 493251 1 - 0.0000 -
1949.78/1954.92 c 1955 11216391 495912 1 - 0.0000 -
1954.77/1959.97 c 1960 11245720 497761 1 - 0.0000 -
1959.86/1965.02 c 1965 11275542 499957 1 - 0.0000 -
1964.85/1970.07 c 1970 11305243 502528 1 - 0.0000 -
1969.94/1975.12 c 1975 11333746 504013 1 - 0.0000 -
1974.92/1980.17 c 1980 11358552 505413 1 - 0.0000 -
1980.01/1985.22 c 1985 11386073 507616 1 - 0.0000 -
1985.00/1990.27 c 1990 11417006 509779 1 - 0.0000 -
1990.08/1995.37 c 1995 11446731 511858 1 - 0.0000 -
1995.17/2000.42 c 2000 11477138 514141 1 - 0.0000 -
2000.15/2005.47 c 2005 11505170 516243 1 - 0.0000 -
2005.24/2010.52 c 2011 11533676 517979 1 - 0.0000 -
2010.23/2015.57 c 2016 11561476 520053 1 - 0.0000 -
2015.32/2020.62 c 2021 11590140 522209 1 - 0.0000 -
2020.30/2025.67 c 2026 11627921 525868 1 - 0.0000 -
2025.39/2030.72 c 2031 11657338 528699 1 - 0.0000 -
2030.49/2035.80 c 2036 11686262 530491 1 - 0.0000 -
2035.57/2040.92 c 2041 11718990 533049 1 - 0.0000 -
2040.55/2045.97 c 2046 11746998 534541 1 - 0.0000 -
2045.64/2051.02 c 2051 11777159 535924 1 - 0.0000 -
2050.63/2056.07 c 2056 11804460 537179 1 - 0.0000 -
2055.73/2061.12 c 2061 11835200 538859 1 - 0.0000 -
2060.71/2066.17 c 2066 11888860 540935 1 - 0.0000 -
2065.80/2071.22 c 2071 11921726 542963 1 - 0.0000 -
2070.78/2076.27 c 2076 11949498 544879 1 - 0.0000 -
2075.87/2081.32 c 2081 11977354 546451 1 - 0.0000 -
2080.86/2086.37 c 2086 12005009 547802 1 - 0.0000 -
2085.94/2091.42 c 2091 12032293 548980 1 - 0.0000 -
2090.93/2096.48 c 2096 12061807 549816 1 - 0.0000 -
2096.02/2101.53 c 2102 12084231 550374 1 - 0.0000 -
2101.00/2106.58 c 2107 12107740 551091 1 - 0.0000 -
2106.10/2111.63 c 2112 12137363 552612 1 - 0.0000 -
2111.08/2116.68 c 2117 12163800 554541 1 - 0.0000 -
2116.17/2121.73 c 2122 12193262 556395 1 - 0.0000 -
2121.15/2126.78 c 2127 12220326 557651 1 - 0.0000 -
2126.25/2131.83 c 2132 12250059 559044 1 - 0.0000 -
2131.24/2136.88 c 2137 12275083 560154 1 - 0.0000 -
2136.32/2141.93 c 2142 12303051 561814 1 - 0.0000 -
2141.31/2146.98 c 2147 12331568 563029 1 - 0.0000 -
2146.40/2152.07 c 2152 12366761 563918 1 - 0.0000 -
2151.49/2157.12 c 2157 12398231 564886 1 - 0.0000 -
2156.48/2162.17 c 2162 12427165 566256 1 - 0.0000 -
2161.56/2167.22 c 2167 12457456 567723 1 - 0.0000 -
2166.54/2172.29 c 2172 12488682 568977 1 - 0.0000 -
2171.62/2177.34 c 2177 12521198 570499 1 - 0.0000 -
2176.62/2182.39 c 2182 12551169 572278 1 - 0.0000 -
2181.70/2187.44 c 2187 12577125 573700 1 - 0.0000 -
2186.69/2192.49 c 2192 12602706 576411 1 - 0.0000 -
2191.78/2197.54 c 2198 12631169 577616 1 - 0.0000 -
2196.77/2202.59 c 2203 12661771 578958 1 - 0.0000 -
2201.86/2207.64 c 2208 12688763 580058 1 - 0.0000 -
2206.84/2212.69 c 2213 12710035 580640 1 - 0.0000 -
2211.92/2217.74 c 2218 12736688 581795 1 - 0.0000 -
2216.92/2222.79 c 2223 12765140 582879 1 - 0.0000 -
2222.01/2227.84 c 2228 12794007 584060 1 - 0.0000 -
2226.99/2232.89 c 2233 12822407 585306 1 - 0.0000 -
2232.08/2237.95 c 2238 12848525 586686 1 - 0.0000 -
2237.17/2243.00 c 2243 12879001 588024 1 - 0.0000 -
2242.15/2248.06 c 2248 12906223 589934 1 - 0.0000 -
2247.25/2253.11 c 2253 12929501 591606 1 - 0.0000 -
2252.24/2258.16 c 2258 12956768 593251 1 - 0.0000 -
2257.32/2263.21 c 2263 12985567 594404 1 - 0.0000 -
2262.30/2268.26 c 2268 13012763 596198 1 - 0.0000 -
2267.38/2273.33 c 2273 13040501 597482 1 - 0.0000 -
2272.37/2278.38 c 2278 13070006 599149 1 - 0.0000 -
2277.45/2283.43 c 2283 13095809 600090 1 - 0.0000 -
2282.44/2288.48 c 2288 13124723 601862 1 - 0.0000 -
2287.52/2293.53 c 2294 13153288 604521 1 - 0.0000 -
2292.50/2298.58 c 2299 13181013 607716 1 - 0.0000 -
2297.58/2303.63 c 2304 13209152 608677 1 - 0.0000 -
2302.57/2308.68 c 2309 13240198 610397 1 - 0.0000 -
2307.66/2313.73 c 2314 13269039 612244 1 - 0.0000 -
2312.64/2318.78 c 2319 13289410 612999 1 - 0.0000 -
2317.72/2323.83 c 2324 13318346 614479 1 - 0.0000 -
2322.71/2328.88 c 2329 13343444 615833 1 - 0.0000 -
2327.79/2333.93 c 2334 13371284 617167 1 - 0.0000 -
2332.77/2338.98 c 2339 13400297 618434 1 - 0.0000 -
2337.86/2344.03 c 2344 13430353 620224 1 - 0.0000 -
2342.84/2349.08 c 2349 13459200 621355 1 - 0.0000 -
2347.93/2354.13 c 2354 13488399 622616 1 - 0.0000 -
2352.91/2359.18 c 2359 13515869 624422 1 - 0.0000 -
2357.99/2364.23 c 2364 13545588 626369 1 - 0.0000 -
2362.97/2369.28 c 2369 13573992 628325 1 - 0.0000 -
2368.05/2374.33 c 2374 13593347 629256 1 - 0.0000 -
2373.04/2379.38 c 2379 13614025 629792 1 - 0.0000 -
2378.13/2384.43 c 2384 13633829 630458 1 - 0.0000 -
2383.11/2389.49 c 2390 13654148 630928 1 - 0.0000 -
2388.19/2394.54 c 2395 13675107 631497 1 - 0.0000 -
2393.18/2399.59 c 2400 13706443 635085 1 - 0.0000 -
2398.26/2404.64 c 2405 13737730 638176 1 - 0.0000 -
2403.24/2409.69 c 2410 13766279 639969 1 - 0.0000 -
2408.32/2414.74 c 2415 13795041 641497 1 - 0.0000 -
2413.32/2419.79 c 2420 13822535 642957 1 - 0.0000 -
2418.40/2424.84 c 2425 13850885 645273 1 - 0.0000 -
2423.48/2429.93 c 2430 13883639 646903 1 - 0.0000 -
2428.47/2434.98 c 2435 13909310 647948 1 - 0.0000 -
2433.55/2440.03 c 2440 13941009 649739 1 - 0.0000 -
2438.54/2445.08 c 2445 13965959 650941 1 - 0.0000 -
2443.62/2450.13 c 2450 13994419 652153 1 - 0.0000 -
2448.62/2455.18 c 2455 14022965 654035 1 - 0.0000 -
2453.70/2460.25 c 2460 14050719 656041 1 - 0.0000 -
2458.78/2465.30 c 2465 14077223 658075 1 - 0.0000 -
2463.77/2470.35 c 2470 14133613 660489 1 - 0.0000 -
2468.86/2475.40 c 2475 14165253 662027 1 - 0.0000 -
2473.84/2480.45 c 2480 14201670 664956 1 - 0.0000 -
2478.92/2485.50 c 2486 14229296 666014 1 - 0.0000 -
2483.91/2490.55 c 2491 14259105 667121 1 - 0.0000 -
2488.99/2495.60 c 2496 14286190 668479 1 - 0.0000 -
2493.97/2500.68 c 2501 14312301 669522 1 - 0.0000 -
2499.06/2505.73 c 2506 14332286 670485 1 - 0.0000 -
2504.04/2510.78 c 2511 14352486 671675 1 - 0.0000 -
2509.12/2515.83 c 2516 14376798 672903 1 - 0.0000 -
2514.10/2520.88 c 2521 14400265 674254 1 - 0.0000 -
2519.19/2525.94 c 2526 14430847 676216 1 - 0.0000 -
2524.18/2530.99 c 2531 14457214 677531 1 - 0.0000 -
2529.27/2536.04 c 2536 14485245 678738 1 - 0.0000 -
2534.25/2541.09 c 2541 14512166 680241 1 - 0.0000 -
2539.34/2546.15 c 2546 14543381 681766 1 - 0.0000 -
2544.42/2551.20 c 2551 14568222 682945 1 - 0.0000 -
2549.41/2556.25 c 2556 14594769 684146 1 - 0.0000 -
2554.50/2561.30 c 2561 14623148 686011 1 - 0.0000 -
2559.48/2566.35 c 2566 14645827 687316 1 - 0.0000 -
2564.58/2571.40 c 2571 14665558 688179 1 - 0.0000 -
2569.56/2576.45 c 2576 14686068 688751 1 - 0.0000 -
2574.65/2581.50 c 2582 14707078 689943 1 - 0.0000 -
2579.63/2586.55 c 2587 14729508 690829 1 - 0.0000 -
2584.72/2591.60 c 2592 14750898 691545 1 - 0.0000 -
2589.71/2596.65 c 2597 14769847 692174 1 - 0.0000 -
2594.80/2601.70 c 2602 14789319 692802 1 - 0.0000 -
2599.79/2606.75 c 2607 14809330 693433 1 - 0.0000 -
2604.87/2611.80 c 2612 14829252 694179 1 - 0.0000 -
2609.86/2616.85 c 2617 14848492 694927 1 - 0.0000 -
2614.95/2621.90 c 2622 14868553 695646 1 - 0.0000 -
2619.93/2626.95 c 2627 14887856 696389 1 - 0.0000 -
2625.02/2632.00 c 2632 14909403 697442 1 - 0.0000 -
2630.00/2637.05 c 2637 14935411 698222 1 - 0.0000 -
2635.00/2642.10 c 2642 14962067 699154 1 - 0.0000 -
2640.08/2647.15 c 2647 14992315 700234 1 - 0.0000 -
2645.17/2652.20 c 2652 15019599 701094 1 - 0.0000 -
2650.15/2657.25 c 2657 15048875 702398 1 - 0.0000 -
2655.24/2662.30 c 2662 15080944 703743 1 - 0.0000 -
2660.23/2667.35 c 2667 15112348 705307 1 - 0.0000 -
2665.31/2672.40 c 2672 15143248 707389 1 - 0.0000 -
2670.30/2677.45 c 2677 15170622 709151 1 - 0.0000 -
2675.39/2682.50 c 2683 15191273 709750 1 - 0.0000 -
2680.38/2687.55 c 2688 15216467 710674 1 - 0.0000 -
2685.47/2692.60 c 2693 15244962 711813 1 - 0.0000 -
2690.45/2697.66 c 2698 15274147 713046 1 - 0.0000 -
2695.54/2702.72 c 2703 15301637 713976 1 - 0.0000 -
2700.53/2707.77 c 2708 15328152 715089 1 - 0.0000 -
2705.62/2712.82 c 2713 15356552 716533 1 - 0.0000 -
2710.60/2717.87 c 2718 15376911 717584 1 - 0.0000 -
2715.69/2722.92 c 2723 15405171 718820 1 - 0.0000 -
2720.68/2727.97 c 2728 15435207 721370 1 - 0.0000 -
2725.76/2733.02 c 2733 15466853 723066 1 - 0.0000 -
2730.75/2738.07 c 2738 15510466 724687 1 - 0.0000 -
2735.84/2743.12 c 2743 15541136 726497 1 - 0.0000 -
2740.83/2748.17 c 2748 15563411 727644 1 - 0.0000 -
2745.91/2753.22 c 2753 15588322 728817 1 - 0.0000 -
2750.90/2758.27 c 2758 15614513 729962 1 - 0.0000 -
2755.99/2763.33 c 2763 15647713 731204 1 - 0.0000 -
2760.98/2768.38 c 2768 15675252 732229 1 - 0.0000 -
2766.06/2773.45 c 2773 15702271 733700 1 - 0.0000 -
2771.15/2778.50 c 2779 15731359 735858 1 - 0.0000 -
2776.14/2783.58 c 2784 15757299 737062 1 - 0.0000 -
2781.23/2788.63 c 2789 15784110 738189 1 - 0.0000 -
2786.21/2793.68 c 2794 15814419 739536 1 - 0.0000 -
2791.30/2798.73 c 2799 15844905 740910 1 - 0.0000 -
2796.39/2803.85 c 2804 15868712 744819 1 - 0.0000 -
2801.47/2808.90 c 2809 15886937 748156 1 - 0.0000 -
2806.58/2814.02 c 2814 15904705 751480 1 - 0.0000 -
2811.56/2819.07 c 2819 15925925 754550 1 - 0.0000 -
2816.64/2824.12 c 2824 15947177 757810 1 - 0.0000 -
2821.63/2829.17 c 2829 15966928 760823 1 - 0.0000 -
2826.72/2834.23 c 2834 15987816 764109 1 - 0.0000 -
2831.71/2839.27 c 2839 16010742 767249 1 - 0.0000 -
2836.80/2844.32 c 2844 16033584 770265 1 - 0.0000 -
2841.78/2849.37 c 2849 16056403 773292 1 - 0.0000 -
2846.87/2854.42 c 2854 16078120 776251 1 - 0.0000 -
2851.85/2859.47 c 2859 16099791 778930 1 - 0.0000 -
2856.93/2864.52 c 2865 16127030 780209 1 - 0.0000 -
2861.91/2869.57 c 2870 16158117 781340 1 - 0.0000 -
2867.00/2874.62 c 2875 16186125 783144 1 - 0.0000 -
2871.98/2879.67 c 2880 16217051 784880 1 - 0.0000 -
2877.07/2884.72 c 2885 16245466 786367 1 - 0.0000 -
2882.04/2889.77 c 2890 16272007 788014 1 - 0.0000 -
2887.13/2894.82 c 2895 16297518 789619 1 - 0.0000 -
2892.11/2899.87 c 2900 16326769 791272 1 - 0.0000 -
2897.20/2904.92 c 2905 16356204 792877 1 - 0.0000 -
2902.18/2909.97 c 2910 16386215 794702 1 - 0.0000 -
2907.27/2915.02 c 2915 16414874 796227 1 - 0.0000 -
2912.26/2920.07 c 2920 16441220 797267 1 - 0.0000 -
2917.33/2925.12 c 2925 16467966 798258 1 - 0.0000 -
2922.31/2930.17 c 2930 16496294 799632 1 - 0.0000 -
2927.39/2935.22 c 2935 16521089 800723 1 - 0.0000 -
2932.38/2940.27 c 2940 16550024 802208 1 - 0.0000 -
2937.46/2945.32 c 2945 16580654 804686 1 - 0.0000 -
2942.45/2950.37 c 2950 16611247 805855 1 - 0.0000 -
2947.53/2955.42 c 2955 16641904 807202 1 - 0.0000 -
2952.51/2960.47 c 2960 16673653 808805 1 - 0.0000 -
2957.69/2965.60 c 2966 16701346 810614 1 - 0.0000 -
2962.67/2970.65 c 2971 16730949 814033 1 - 0.0000 -
2967.76/2975.71 c 2976 16760367 817285 1 - 0.0000 -
2972.84/2980.80 c 2981 16788010 820660 1 - 0.0000 -
2977.82/2985.86 c 2986 16813798 823872 1 - 0.0000 -
2982.91/2990.91 c 2991 16841695 826991 1 - 0.0000 -
2987.89/2995.96 c 2996 16872003 830671 1 - 0.0000 -
2992.98/3001.01 c 3001 16897651 833795 1 - 0.0000 -
2997.97/3006.06 c 3006 16924852 837660 1 - 0.0000 -
3003.05/3011.12 c 3011 16953114 840986 1 - 0.0000 -
3008.04/3016.17 c 3016 16980343 843849 1 - 0.0000 -
3013.12/3021.22 c 3021 17007589 846675 1 - 0.0000 -
3018.10/3026.27 c 3026 17036296 849474 1 - 0.0000 -
3023.19/3031.32 c 3031 17063601 852293 1 - 0.0000 -
3028.18/3036.37 c 3036 17089739 854885 1 - 0.0000 -
3033.27/3041.42 c 3041 17117173 857107 1 - 0.0000 -
3038.25/3046.47 c 3046 17150333 859125 1 - 0.0000 -
3043.34/3051.52 c 3052 17176683 860779 1 - 0.0000 -
3048.33/3056.57 c 3057 17203893 862535 1 - 0.0000 -
3053.41/3061.62 c 3062 17231175 864545 1 - 0.0000 -
3058.40/3066.67 c 3067 17261888 868090 1 - 0.0000 -
3063.49/3071.72 c 3072 17290699 871209 1 - 0.0000 -
3068.48/3076.77 c 3077 17318118 873428 1 - 0.0000 -
3073.57/3081.83 c 3082 17347556 874822 1 - 0.0000 -
3078.56/3086.88 c 3087 17375683 876365 1 - 0.0000 -
3083.64/3091.93 c 3092 17404265 877690 1 - 0.0000 -
3088.63/3096.98 c 3097 17431234 879189 1 - 0.0000 -
3093.73/3102.07 c 3102 17457924 880745 1 - 0.0000 -
3098.81/3107.12 c 3107 17485852 881953 1 - 0.0000 -
3103.79/3112.17 c 3112 17513566 883135 1 - 0.0000 -
3108.88/3117.22 c 3117 17545888 885021 1 - 0.0000 -
3113.87/3122.27 c 3122 17574030 886467 1 - 0.0000 -
3118.96/3127.32 c 3127 17603550 888039 1 - 0.0000 -
3123.95/3132.37 c 3132 17630615 889432 1 - 0.0000 -
3129.04/3137.42 c 3137 17656275 891334 1 - 0.0000 -
3134.02/3142.47 c 3142 17683218 892567 1 - 0.0000 -
3139.10/3147.52 c 3148 17712444 893833 1 - 0.0000 -
3144.09/3152.57 c 3153 17739639 895340 1 - 0.0000 -
3149.18/3157.62 c 3158 17768049 896800 1 - 0.0000 -
3154.17/3162.67 c 3163 17792043 897772 1 - 0.0000 -
3159.26/3167.72 c 3168 17819183 898660 1 - 0.0000 -
3164.25/3172.77 c 3173 17849868 899765 1 - 0.0000 -
3169.33/3177.83 c 3178 17881293 900734 1 - 0.0000 -
3174.30/3182.88 c 3183 17913388 901841 1 - 0.0000 -
3179.40/3187.93 c 3188 17943253 902738 1 - 0.0000 -
3184.38/3192.98 c 3193 17973549 904284 1 - 0.0000 -
3189.47/3198.03 c 3198 18006020 905437 1 - 0.0000 -
3194.46/3203.08 c 3203 18037147 906680 1 - 0.0000 -
3199.55/3208.13 c 3208 18066849 908002 1 - 0.0000 -
3204.54/3213.18 c 3213 18097341 909474 1 - 0.0000 -
3209.62/3218.23 c 3218 18128126 911023 1 - 0.0000 -
3214.61/3223.28 c 3223 18158178 912475 1 - 0.0000 -
3219.69/3228.33 c 3228 18188007 913920 1 - 0.0000 -
3224.68/3233.38 c 3233 18217812 915219 1 - 0.0000 -
3229.77/3238.43 c 3238 18249646 917323 1 - 0.0000 -
3234.76/3243.48 c 3243 18280119 919422 1 - 0.0000 -
3239.84/3248.53 c 3249 18309175 920842 1 - 0.0000 -
3244.83/3253.58 c 3254 18339871 921974 1 - 0.0000 -
3249.91/3258.63 c 3259 18368450 923569 1 - 0.0000 -
3254.90/3263.68 c 3264 18400977 925482 1 - 0.0000 -
3259.98/3268.73 c 3269 18425578 926749 1 - 0.0000 -
3264.96/3273.79 c 3274 18452674 927961 1 - 0.0000 -
3270.05/3278.84 c 3279 18485916 929751 1 - 0.0000 -
3275.02/3283.89 c 3284 18513003 931312 1 - 0.0000 -
3280.11/3288.94 c 3289 18543546 932763 1 - 0.0000 -
3285.10/3293.99 c 3294 18571711 934030 1 - 0.0000 -
3290.18/3299.04 c 3299 18602619 936322 1 - 0.0000 -
3295.17/3304.09 c 3304 18633808 938587 1 - 0.0000 -
3300.26/3309.14 c 3309 18669784 940457 1 - 0.0000 -
3305.24/3314.19 c 3314 18696599 941860 1 - 0.0000 -
3310.33/3319.24 c 3319 18725487 943544 1 - 0.0000 -
3315.32/3324.29 c 3324 18752972 945287 1 - 0.0000 -
3320.40/3329.34 c 3329 18782339 946904 1 - 0.0000 -
3325.39/3334.39 c 3334 18820534 948347 1 - 0.0000 -
3330.47/3339.44 c 3339 18899754 950159 1 - 0.0000 -
3335.46/3344.49 c 3344 18933523 951638 1 - 0.0000 -
3340.55/3349.54 c 3350 18962298 953209 1 - 0.0000 -
3345.53/3354.59 c 3355 18993914 954855 1 - 0.0000 -
3350.61/3359.64 c 3360 19021495 955812 1 - 0.0000 -
3355.60/3364.69 c 3365 19047518 956881 1 - 0.0000 -
3360.69/3369.74 c 3370 19076945 957998 1 - 0.0000 -
3365.68/3374.79 c 3375 19105599 959116 1 - 0.0000 -
3370.77/3379.84 c 3380 19138584 961243 1 - 0.0000 -
3375.76/3384.89 c 3385 19165710 962859 1 - 0.0000 -
3380.84/3389.94 c 3390 19195245 965430 1 - 0.0000 -
3385.93/3395.02 c 3395 19229336 968165 1 - 0.0000 -
3390.92/3400.07 c 3400 19259760 970333 1 - 0.0000 -
3396.01/3405.12 c 3405 19283410 972001 1 - 0.0000 -
3400.99/3410.17 c 3410 19303723 973588 1 - 0.0000 -
3406.07/3415.22 c 3415 19325017 975298 1 - 0.0000 -
3411.06/3420.27 c 3420 19347604 976941 1 - 0.0000 -
3416.15/3425.32 c 3425 19369597 978518 1 - 0.0000 -
3421.14/3430.37 c 3430 19392601 980346 1 - 0.0000 -
3426.22/3435.42 c 3435 19414838 982051 1 - 0.0000 -
3431.21/3440.47 c 3440 19437698 983961 1 - 0.0000 -
3436.30/3445.52 c 3446 19462909 985986 1 - 0.0000 -
3441.28/3450.57 c 3451 19489778 987751 1 - 0.0000 -
3446.37/3455.62 c 3456 19519433 990500 1 - 0.0000 -
3451.36/3460.67 c 3461 19548356 992357 1 - 0.0000 -
3456.45/3465.72 c 3466 19577810 993951 1 - 0.0000 -
3461.43/3470.77 c 3471 19602533 995004 1 - 0.0000 -
3466.52/3475.82 c 3476 19625370 996203 1 - 0.0000 -
3471.50/3480.87 c 3481 19651461 997788 1 - 0.0000 -
3476.59/3485.92 c 3486 19682644 999457 1 - 0.0000 -
3481.57/3490.97 c 3491 19706688 1001019 1 - 0.0000 -
3486.66/3496.02 c 3496 19733268 1002201 1 - 0.0000 -
3491.64/3501.07 c 3501 19763155 1003710 1 - 0.0000 -
3496.73/3506.12 c 3506 19793827 1005144 1 - 0.0000 -
3501.72/3511.17 c 3511 19821598 1006405 1 - 0.0000 -
3506.80/3516.22 c 3516 19851406 1007799 1 - 0.0000 -
3511.89/3521.32 c 3521 19877548 1008845 1 - 0.0000 -
3516.88/3526.38 c 3526 19904403 1010188 1 - 0.0000 -
3521.96/3531.43 c 3531 19933488 1012251 1 - 0.0000 -
3526.95/3536.48 c 3536 19977028 1013637 1 - 0.0000 -
3532.03/3541.53 c 3542 20002149 1014976 1 - 0.0000 -
3537.02/3546.58 c 3547 20029437 1016226 1 - 0.0000 -
3542.10/3551.63 c 3552 20058942 1018589 1 - 0.0000 -
3547.08/3556.68 c 3557 20090076 1020109 1 - 0.0000 -
3552.17/3561.73 c 3562 20115576 1021957 1 - 0.0000 -
3557.15/3566.78 c 3567 20137300 1022841 1 - 0.0000 -
3562.24/3571.83 c 3572 20165908 1024615 1 - 0.0000 -
3567.21/3576.88 c 3577 20185443 1025430 1 - 0.0000 -
3572.30/3581.93 c 3582 20207877 1026120 1 - 0.0000 -
3577.29/3586.98 c 3587 20232478 1027149 1 - 0.0000 -
3582.37/3592.04 c 3592 20251532 1027793 1 - 0.0000 -
3587.35/3597.09 c 3597 20270431 1028282 1 - 0.0000 -
3590.04/3599.72 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.04/3599.72 c Total Time : 3599.7300
3590.04/3599.72 c solving : 3599.7300
3590.04/3599.72 c presolving : 0.0018 (included in solving)
3590.04/3599.72 c B&B Tree :
3590.04/3599.72 c nodes (total) : 1
3590.04/3599.72 c Solution :
3590.04/3599.72 c Solutions found : 0
3590.04/3599.72 c Primal Bound : -
3590.04/3599.72 c Dual Bound : +0.00000000000000e+00
3590.04/3599.72 c Gap : -
3590.04/3599.72 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 (62441 MiB free)
memory of node 1: 64510 MiB (61178 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464339-1722378947/watcher-4464339-1722378947 -o /tmp/evaluation-result-4464339-1722378947/solver-4464339-1722378947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30697 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464339-1722378947.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=31654, runsolver pid=31651
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.37 3.03 1.43 5/263 31657
/proc/meminfo: memFree=126577880/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=106592 memory=20184 CPUtime=0.1 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2436 0 0 0 10 0 0 0 20 0 3 0 4492132 109150208 5046 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 26648 5046 2950 3035 0 8421 0
[pid=31654/tid=31656] ppid=31651 vsize=106592 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 1293 0 0 0 9 0 0 0 20 0 3 0 4492132 109150208 5046 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=106592 memory=228556276070 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4492133 109150208 5046 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 106592 KiB
Current children cumulated memory: 20184 KiB
[startup+0.205551 s]*
/proc/loadavg: 4.37 3.03 1.43 5/263 31657
/proc/meminfo: memFree=126577376/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=106592 memory=20184 CPUtime=0.2 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2456 0 0 0 20 0 0 0 20 0 3 0 4492132 109150208 5046 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 26648 5046 2950 3035 0 8539 0
[pid=31654/tid=31656] ppid=31651 vsize=106592 memory=664970838410264707 CPUtime=0.19 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 1313 0 0 0 19 0 0 0 20 0 3 0 4492132 109150208 5046 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=106592 memory=18004 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4492133 109150208 5046 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106592 KiB
Current children cumulated memory: 20184 KiB
[startup+0.305394 s]*
/proc/loadavg: 4.37 3.03 1.43 5/263 31657
/proc/meminfo: memFree=126577236/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=106592 memory=20448 CPUtime=0.3 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2518 0 0 0 30 0 0 0 20 0 3 0 4492132 109150208 5112 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 26648 5112 2950 3035 0 8603 0
[pid=31654/tid=31656] ppid=31651 vsize=106592 memory=-5155634591539358597 CPUtime=0.29 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 1375 0 0 0 29 0 0 0 20 0 3 0 4492132 109150208 5112 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=106592 memory=0 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4492133 109150208 5112 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106592 KiB
Current children cumulated memory: 20448 KiB
[startup+0.700206 s]
/proc/loadavg: 4.37 3.03 1.43 5/263 31657
/proc/meminfo: memFree=126576628/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=106592 memory=21504 CPUtime=0.69 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2735 0 0 0 69 0 0 0 20 0 3 0 4492132 109150208 5376 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 26648 5376 2950 3035 0 8795 0
[pid=31654/tid=31656] ppid=31651 vsize=106592 memory=0 CPUtime=0.68 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 1592 0 0 0 68 0 0 0 20 0 3 0 4492132 109150208 5376 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=106592 memory=0 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4492133 109150208 5376 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106592 KiB
Current children cumulated memory: 21504 KiB
[startup+1.5002 s]
/proc/loadavg: 4.37 3.03 1.43 5/263 31657
/proc/meminfo: memFree=126575948/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=106592 memory=23416 CPUtime=1.48 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 4643 0 0 0 148 0 0 0 20 0 3 0 4492132 109150208 5854 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 26648 5854 2950 3035 0 9190 0
[pid=31654/tid=31656] ppid=31651 vsize=106592 memory=0 CPUtime=1.47 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 3488 0 0 0 147 0 0 0 20 0 3 0 4492132 109150208 5854 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=106592 memory=0 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4492133 109150208 5854 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106592 KiB
Current children cumulated memory: 23416 KiB
[startup+3.10482 s]
/proc/loadavg: 4.34 3.05 1.45 5/263 31659
/proc/meminfo: memFree=126573416/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=106592 memory=23496 CPUtime=3.08 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 5030 0 0 0 307 1 0 0 20 0 3 0 4492132 109150208 5874 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 26648 5874 2950 3035 0 9318 0
[pid=31654/tid=31656] ppid=31651 vsize=106592 memory=2273 CPUtime=3.07 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 3872 0 0 0 306 1 0 0 20 0 3 0 4492132 109150208 5874 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=106592 memory=0 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4492133 109150208 5874 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106592 KiB
Current children cumulated memory: 23496 KiB
[startup+6.30021 s]
/proc/loadavg: 4.34 3.05 1.45 5/263 31659
/proc/meminfo: memFree=126571828/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=106592 memory=25760 CPUtime=6.28 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 7128 0 0 0 625 3 0 0 20 0 3 0 4492132 109150208 6440 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 26648 6440 3014 3035 0 9532 0
[pid=31654/tid=31656] ppid=31651 vsize=106592 memory=-5155634591539358597 CPUtime=6.27 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 5947 0 0 0 624 3 0 0 20 0 3 0 4492132 109150208 6440 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=106592 memory=25336 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4492133 109150208 6440 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 106592 KiB
Current children cumulated memory: 25760 KiB
[startup+12.7002 s]
/proc/loadavg: 4.31 3.06 1.46 5/263 31660
/proc/meminfo: memFree=126566936/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=106592 memory=29760 CPUtime=12.66 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 12907 0 0 0 1260 6 0 0 20 0 3 0 4492132 109150208 7440 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 26648 7440 3014 3035 0 10501 0
[pid=31654/tid=31656] ppid=31651 vsize=106592 memory=23496 CPUtime=12.65 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 11686 0 0 0 1259 6 0 0 20 0 3 0 4492132 109150208 7440 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=106592 memory=0 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4492133 109150208 7440 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 106592 KiB
Current children cumulated memory: 29760 KiB
[startup+25.5002 s]
/proc/loadavg: 4.38 3.14 1.51 5/263 31662
/proc/meminfo: memFree=126516948/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=107752 memory=34820 CPUtime=25.42 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 21486 0 0 0 2531 11 0 0 20 0 3 0 4492132 110338048 8705 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 26938 8705 3014 3035 0 11978 0
[pid=31654/tid=31656] ppid=31651 vsize=107752 memory=27748 CPUtime=25.41 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 20211 0 0 0 2530 11 0 0 20 0 3 0 4492132 110338048 8705 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=107752 memory=11360 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4492133 110338048 8705 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 107752 KiB
Current children cumulated memory: 34820 KiB
[startup+51.1051 s]
/proc/loadavg: 4.31 3.23 1.59 5/263 31713
/proc/meminfo: memFree=126579548/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=108912 memory=46900 CPUtime=50.97 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 38571 0 0 0 5074 23 0 0 20 0 3 0 4492132 111525888 11725 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 27228 11725 3014 3035 0 14795 0
[pid=31654/tid=31656] ppid=31651 vsize=108912 memory=44972 CPUtime=50.96 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 37217 0 0 0 5073 23 0 0 20 0 3 0 4492132 111525888 11725 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=108912 memory=7236555996060738416 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4492133 111525888 11725 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 108912 KiB
Current children cumulated memory: 46900 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 3.39 1.73 5/263 31723
/proc/meminfo: memFree=126473708/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=117688 memory=71252 CPUtime=102.03 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 67501 0 0 0 10155 48 0 0 20 0 3 0 4492132 120512512 17813 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 29422 17813 3014 3035 0 21147 0
[pid=31654/tid=31656] ppid=31651 vsize=117688 memory=66996 CPUtime=102.02 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 66069 0 0 0 10154 48 0 0 20 0 3 0 4492132 120512512 17813 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=117688 memory=64192 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4492133 120512512 17813 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 71252 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 3.54 1.89 5/264 31736
/proc/meminfo: memFree=126398376/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=126240 memory=94172 CPUtime=161.86 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 101478 0 0 0 16106 80 0 0 20 0 3 0 4492132 129269760 23543 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 31560 23543 3014 3035 0 27161 0
[pid=31654/tid=31656] ppid=31651 vsize=126240 memory=84008 CPUtime=161.84 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 99993 0 0 0 16104 80 0 0 20 0 3 0 4492132 129269760 23543 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=126240 memory=93672 CPUtime=0 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4492133 129269760 23543 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 126240 KiB
################
# More data... #
################
/proc/31654/statm: 279469 252892 3014 3035 0 260902 0
[pid=31654/tid=31656] ppid=31651 vsize=1117876 memory=989944 CPUtime=3452.85 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 2853292 0 0 0 343429 1856 0 0 20 0 3 0 4492132 1144705024 252892 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=1117876 memory=-7235995442886043003 CPUtime=0.02 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 132 0 0 0 1 1 0 0 20 0 3 0 4492133 1144705024 252892 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 1117876 KiB
Current children cumulated memory: 1011568 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.07 5/265 33681
/proc/meminfo: memFree=125563872/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=1126208 memory=1027196 CPUtime=3512.89 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2893233 0 0 0 349400 1889 0 0 20 0 3 0 4492132 1153236992 256799 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 281552 256799 3014 3035 0 264746 0
[pid=31654/tid=31656] ppid=31651 vsize=1126208 memory=1015880 CPUtime=3512.68 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 2890352 0 0 0 349383 1885 0 0 20 0 3 0 4492132 1153236992 256799 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=1126208 memory=1026500 CPUtime=0.02 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 134 0 0 0 1 1 0 0 20 0 3 0 4492133 1153236992 256799 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 1126208 KiB
Current children cumulated memory: 1027196 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/263 33691
/proc/meminfo: memFree=125536960/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=1132976 memory=1041088 CPUtime=3572.7 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2928121 0 0 0 355352 1918 0 0 20 0 3 0 4492132 1160167424 260272 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 283244 260272 3014 3035 0 268262 0
[pid=31654/tid=31656] ppid=31651 vsize=1132976 memory=12760 CPUtime=3572.49 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 2925216 0 0 0 355335 1914 0 0 20 0 3 0 4492132 1160167424 260272 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=1132976 memory=12760 CPUtime=0.02 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 4492133 1160167424 260272 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 1132976 KiB
Current children cumulated memory: 1041088 KiB
[startup+3599.73 s]
# the end of solver process 31654 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.8 s, system=19.2828 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.12 4.07 5/263 33691
/proc/meminfo: memFree=125535988/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=1133556 memory=1042056 CPUtime=3574.4 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2930590 0 0 0 355521 1919 0 0 20 0 3 0 4492132 1160761344 260514 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 283389 260514 3014 3035 0 268503 0
[pid=31654/tid=31656] ppid=31651 vsize=1133556 memory=2660 CPUtime=3574.19 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 2927685 0 0 0 355504 1915 0 0 20 0 3 0 4492132 1160761344 260514 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=1133556 memory=4916 CPUtime=0.02 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 4492133 1160761344 260514 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3574.4 s
Current children cumulated vsize: 1133556 KiB
Current children cumulated memory: 1042056 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.12 4.07 5/263 33691
/proc/meminfo: memFree=125534840/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=1133556 memory=1042564 CPUtime=3580.77 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2932386 0 0 0 356157 1920 0 0 20 0 3 0 4492132 1160761344 260641 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 283389 260641 3014 3035 0 268632 0
[pid=31654/tid=31656] ppid=31651 vsize=1133556 memory=1042060 CPUtime=3580.56 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 2929480 0 0 0 356140 1916 0 0 20 0 3 0 4492132 1160761344 260641 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=1133556 memory=11360 CPUtime=0.02 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 4492133 1160761344 260641 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3580.77 s
Current children cumulated vsize: 1133556 KiB
Current children cumulated memory: 1042564 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.12 4.07 5/263 33692
/proc/meminfo: memFree=125534504/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=1133556 memory=1042564 CPUtime=3583.97 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2932395 0 0 0 356475 1922 0 0 20 0 3 0 4492132 1160761344 260641 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 283389 260641 3014 3035 0 268632 0
[pid=31654/tid=31656] ppid=31651 vsize=1133556 memory=1042564 CPUtime=3583.75 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 2929489 0 0 0 356457 1918 0 0 20 0 3 0 4492132 1160761344 260641 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=1133556 memory=1042564 CPUtime=0.02 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 4492133 1160761344 260641 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3583.97 s
Current children cumulated vsize: 1133556 KiB
Current children cumulated memory: 1042564 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.12 4.07 5/263 33692
/proc/meminfo: memFree=125534344/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=1134136 memory=1043016 CPUtime=3587.15 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2932554 0 0 0 356792 1923 0 0 20 0 3 0 4492132 1161355264 260754 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 283534 260754 3014 3035 0 268777 0
[pid=31654/tid=31656] ppid=31651 vsize=1134136 memory=1042112 CPUtime=3586.93 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 2929648 0 0 0 356774 1919 0 0 20 0 3 0 4492132 1161355264 260754 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=1134136 memory=11360 CPUtime=0.02 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 4492133 1161355264 260754 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 1134136 KiB
Current children cumulated memory: 1043016 KiB
[startup+3598.4 s]
/proc/loadavg: 4.07 4.12 4.07 5/263 33692
/proc/meminfo: memFree=125533548/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=1106876 memory=1014752 CPUtime=3588.74 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2960518 0 0 0 356949 1925 0 0 20 0 3 0 4492132 1133441024 253688 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 276719 253688 3014 3035 0 261962 0
[pid=31654/tid=31656] ppid=31651 vsize=1106876 memory=11360 CPUtime=3588.53 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 2957599 0 0 0 356932 1921 0 0 20 0 3 0 4492132 1133441024 253688 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=1106876 memory=12760 CPUtime=0.02 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 4492133 1133441024 253688 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 1106876 KiB
Current children cumulated memory: 1014752 KiB
[startup+3599.2 s]
/proc/loadavg: 4.06 4.12 4.07 5/263 33692
/proc/meminfo: memFree=125665128/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=920180 memory=828056 CPUtime=3589.54 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2963172 0 0 0 357028 1926 0 0 20 0 3 0 4492132 942264320 207014 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 230045 207014 3014 3035 0 215288 0
[pid=31654/tid=31656] ppid=31651 vsize=920180 memory=1804 CPUtime=3589.33 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 2960253 0 0 0 357011 1922 0 0 20 0 3 0 4492132 942264320 207014 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=920180 memory=25860 CPUtime=0.02 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 4492133 942264320 207014 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3589.54 s
Current children cumulated vsize: 920180 KiB
Current children cumulated memory: 828056 KiB
[startup+3599.6 s]
/proc/loadavg: 4.06 4.12 4.07 5/263 33692
/proc/meminfo: memFree=125665128/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=827932 memory=735812 CPUtime=3589.95 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2963627 0 0 0 357068 1927 0 0 20 0 3 0 4492132 847802368 183953 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 206983 183953 3014 3035 0 192226 0
[pid=31654/tid=31656] ppid=31651 vsize=827932 memory=31328 CPUtime=3589.73 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 2960708 0 0 0 357050 1923 0 0 20 0 3 0 4492132 847802368 183953 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=827932 memory=7428 CPUtime=0.02 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 4492133 847802368 183953 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3589.95 s
Current children cumulated vsize: 827932 KiB
Current children cumulated memory: 735812 KiB
[startup+3599.7 s]
/proc/loadavg: 4.06 4.12 4.07 5/263 33692
/proc/meminfo: memFree=125665128/131524600 swapFree=131071996/131071996
[pid=31654] ppid=31651 vsize=792360 memory=700244 CPUtime=3590.04 cores=4,6
/proc/31654/stat : 31654 (fscip) S 31651 31654 30686 0 -1 1077936128 2963751 0 0 0 357077 1927 0 0 20 0 3 0 4492132 811376640 175061 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
/proc/31654/statm: 198090 175061 3014 3035 0 183333 0
[pid=31654/tid=31656] ppid=31651 vsize=792360 memory=1036156 CPUtime=3589.83 cores=4,6
/proc/31654/task/31656/stat : 31656 (fscip) R 31651 31654 30686 0 -1 4194368 2960832 0 0 0 357060 1923 0 0 20 0 3 0 4492132 811376640 175061 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
[pid=31654/tid=31657] ppid=31651 vsize=792360 memory=1042056 CPUtime=0.02 cores=4,6
/proc/31654/task/31657/stat : 31657 (fscip) S 31651 31654 30686 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 4492133 811376640 175061 134679101440 4194304 16623229 140729668945984 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34570240 140729668949014 140729668949130 140729668949130 140729668956144 0
Current children cumulated CPU time: 3590.04 s
Current children cumulated vsize: 792360 KiB
Current children cumulated memory: 700244 KiB
Child status: 0
Real time (s): 3599.73
CPU time (s): 3590.08
CPU user time (s): 3570.8
CPU system time (s): 19.2828
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 1134136
Max. memory (cumulated for all children) (KiB): 1043296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.8
system time used= 19.2828
maximum resident set size= 1043296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2963972
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= 10866
involuntary context switches= 8278
# summary of solver processes directly reported to runsolver:
# pid: 31654
# total CPU time (s): 3590.08
# total CPU user time (s): 3570.8
# total CPU system time (s): 19.2828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5938 second user time and 15.2896 second system time
The end
Begin job on nodeC018 at 2024-07-31 00:35:47
IDJOB=4464339
IDBENCH=148097
IDSOLVER=3092
FILE ID=nodeC018/4464339-1722378947
RUNJOBID= nodeC018-1722378594-30697
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-prob10.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-4464339-1722378947/watcher-4464339-1722378947 -o /tmp/evaluation-result-4464339-1722378947/solver-4464339-1722378947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30697 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464339-1722378947.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ff70f65d4e56aadb7819a27e192bee4f
RANDOM SEED=73424612
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 : 3668.980
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 : 3685.204
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 : 3601.758
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.297
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 : 3660.536
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 : 3685.211
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 : 3663.237
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 : 3599.982
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: 126587500 kB
MemAvailable: 128084944 kB
Buffers: 93988 kB
Cached: 2223576 kB
SwapCached: 0 kB
Active: 268428 kB
Inactive: 4159816 kB
Active(anon): 1548 kB
Inactive(anon): 2130460 kB
Active(file): 266880 kB
Inactive(file): 2029356 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28824 kB
Writeback: 4 kB
AnonPages: 2110620 kB
Mapped: 124272 kB
Shmem: 21336 kB
KReclaimable: 81712 kB
Slab: 166708 kB
SReclaimable: 81712 kB
SUnreclaim: 84996 kB
KernelStack: 4176 kB
PageTables: 13184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1641924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8512 kB
HardwareCorrupted: 0 kB
AnonHugePages: 806912 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= 889944 MiB
End job on nodeC018 at 2024-07-31 01:35:47