0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22310912, getVmSize() = 22310912, SCIPgetMemUsed() = 810966, 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 = 15476053, getVmSize() = 24117248, SCIPgetMemUsed() = 961022, 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-4445030-1721318237
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 19265 1221 1 - 0.0000 -
10.07/10.13 c 10 46645 3949 1 - 0.0000 -
15.06/15.18 c 15 69967 5197 1 - 0.0000 -
20.13/20.23 c 20 93953 6215 1 - 0.0000 -
25.11/25.28 c 25 119212 7914 1 - 0.0000 -
30.20/30.33 c 30 146016 9258 1 - 0.0000 -
35.18/35.37 c 35 174513 11128 1 - 0.0000 -
40.27/40.42 c 40 200141 12601 1 - 0.0000 -
45.26/45.47 c 45 225839 14241 1 - 0.0000 -
50.33/50.52 c 51 255810 15574 1 - 0.0000 -
55.32/55.57 c 56 283106 17270 1 - 0.0000 -
60.41/60.62 c 61 309019 18643 1 - 0.0000 -
65.39/65.66 c 66 337725 19753 1 - 0.0000 -
70.47/70.71 c 71 365043 21177 1 - 0.0000 -
75.45/75.76 c 76 393344 22340 1 - 0.0000 -
80.54/80.81 c 81 420730 23736 1 - 0.0000 -
85.52/85.86 c 86 449357 25272 1 - 0.0000 -
90.61/90.91 c 91 476082 26313 1 - 0.0000 -
95.59/95.96 c 96 501633 27887 1 - 0.0000 -
100.67/101.01 c 101 524806 29640 1 - 0.0000 -
105.66/106.06 c 106 550620 31856 1 - 0.0000 -
110.75/111.11 c 111 575539 33455 1 - 0.0000 -
115.74/116.16 c 116 599465 35136 1 - 0.0000 -
120.82/121.21 c 121 624390 36663 1 - 0.0000 -
125.80/126.26 c 126 648951 37974 1 - 0.0000 -
130.89/131.30 c 131 673858 39283 1 - 0.0000 -
135.87/136.35 c 136 699307 40868 1 - 0.0000 -
140.96/141.40 c 141 726201 42610 1 - 0.0000 -
145.94/146.45 c 146 751527 43686 1 - 0.0000 -
151.03/151.50 c 152 775757 44700 1 - 0.0000 -
156.02/156.55 c 157 802661 45720 1 - 0.0000 -
161.10/161.60 c 162 828290 47067 1 - 0.0000 -
166.10/166.65 c 167 856932 48781 1 - 0.0000 -
171.18/171.70 c 172 887262 50001 1 - 0.0000 -
176.17/176.75 c 177 915485 50980 1 - 0.0000 -
181.26/181.80 c 182 942428 52216 1 - 0.0000 -
186.24/186.85 c 187 970958 53520 1 - 0.0000 -
191.33/191.90 c 192 1017765 55791 1 - 0.0000 -
196.32/196.95 c 197 1083223 58589 1 - 0.0000 -
201.40/202.00 c 202 1126499 60697 1 - 0.0000 -
206.39/207.05 c 207 1162745 62431 1 - 0.0000 -
211.37/212.10 c 212 1241161 65619 1 - 0.0000 -
216.46/217.15 c 217 1274754 66924 1 - 0.0000 -
221.55/222.20 c 222 1304516 68336 1 - 0.0000 -
226.53/227.25 c 227 1331236 69528 1 - 0.0000 -
231.62/232.30 c 232 1351575 70529 1 - 0.0000 -
236.61/237.35 c 237 1375137 71569 1 - 0.0000 -
241.70/242.40 c 242 1400819 72437 1 - 0.0000 -
246.69/247.45 c 247 1423316 73306 1 - 0.0000 -
251.77/252.50 c 252 1445721 74097 1 - 0.0000 -
256.76/257.55 c 258 1472470 75524 1 - 0.0000 -
261.84/262.60 c 263 1504039 77027 1 - 0.0000 -
266.83/267.65 c 268 1531437 78145 1 - 0.0000 -
271.93/272.70 c 273 1563096 79316 1 - 0.0000 -
276.91/277.75 c 278 1591668 80385 1 - 0.0000 -
282.00/282.80 c 283 1619096 81811 1 - 0.0000 -
286.98/287.85 c 288 1649115 83216 1 - 0.0000 -
292.08/292.90 c 293 1675911 84348 1 - 0.0000 -
297.06/297.95 c 298 1702820 85649 1 - 0.0000 -
302.15/303.00 c 303 1733365 86858 1 - 0.0000 -
307.14/308.05 c 308 1763141 87906 1 - 0.0000 -
312.12/313.10 c 313 1792823 89290 1 - 0.0000 -
317.21/318.15 c 318 1819072 89957 1 - 0.0000 -
322.29/323.20 c 323 1850064 90863 1 - 0.0000 -
327.29/328.25 c 328 1880367 91856 1 - 0.0000 -
332.37/333.30 c 333 1912299 93350 1 - 0.0000 -
337.36/338.35 c 338 1947950 95293 1 - 0.0000 -
342.44/343.40 c 343 1981545 96224 1 - 0.0000 -
347.43/348.45 c 348 2015100 97581 1 - 0.0000 -
352.52/353.50 c 354 2044439 99368 1 - 0.0000 -
357.50/358.55 c 359 2072634 100545 1 - 0.0000 -
362.59/363.60 c 364 2097681 102016 1 - 0.0000 -
367.58/368.65 c 369 2120912 103163 1 - 0.0000 -
372.66/373.70 c 374 2142011 103640 1 - 0.0000 -
377.65/378.75 c 379 2164632 104419 1 - 0.0000 -
382.74/383.80 c 384 2185992 104915 1 - 0.0000 -
387.72/388.85 c 389 2210124 105560 1 - 0.0000 -
392.82/393.90 c 394 2238008 106512 1 - 0.0000 -
397.80/398.95 c 399 2263464 107466 1 - 0.0000 -
402.89/404.00 c 404 2287337 109149 1 - 0.0000 -
407.88/409.05 c 409 2308772 110178 1 - 0.0000 -
412.86/414.10 c 414 2328542 110806 1 - 0.0000 -
417.95/419.15 c 419 2349997 111545 1 - 0.0000 -
423.04/424.20 c 424 2370407 112001 1 - 0.0000 -
428.03/429.25 c 429 2390724 112522 1 - 0.0000 -
433.11/434.30 c 434 2410166 113524 1 - 0.0000 -
438.10/439.35 c 439 2436987 114753 1 - 0.0000 -
443.19/444.41 c 444 2467729 115907 1 - 0.0000 -
448.18/449.46 c 449 2501275 117987 1 - 0.0000 -
453.26/454.51 c 455 2527966 119211 1 - 0.0000 -
458.25/459.56 c 460 2550537 120256 1 - 0.0000 -
463.34/464.61 c 465 2574876 121333 1 - 0.0000 -
468.32/469.66 c 470 2603739 122208 1 - 0.0000 -
473.41/474.71 c 475 2631575 123276 1 - 0.0000 -
478.40/479.76 c 480 2655012 124275 1 - 0.0000 -
483.48/484.81 c 485 2688737 125580 1 - 0.0000 -
488.48/489.86 c 490 2719796 126643 1 - 0.0000 -
493.56/494.91 c 495 2745542 127689 1 - 0.0000 -
498.55/499.96 c 500 2775172 128733 1 - 0.0000 -
503.63/505.01 c 505 2804121 129770 1 - 0.0000 -
508.63/510.06 c 510 2831858 130761 1 - 0.0000 -
513.61/515.10 c 515 2857727 131694 1 - 0.0000 -
518.70/520.16 c 520 2885081 132666 1 - 0.0000 -
523.78/525.21 c 525 2911631 133624 1 - 0.0000 -
528.77/530.27 c 530 2942203 134606 1 - 0.0000 -
533.86/535.32 c 535 2974715 135804 1 - 0.0000 -
538.85/540.37 c 540 3003817 137664 1 - 0.0000 -
543.93/545.42 c 545 3028114 138593 1 - 0.0000 -
548.92/550.47 c 550 3053957 139338 1 - 0.0000 -
554.00/555.52 c 556 3088019 140726 1 - 0.0000 -
558.99/560.57 c 561 3124438 142117 1 - 0.0000 -
564.08/565.62 c 566 3151655 143244 1 - 0.0000 -
569.07/570.67 c 571 3182318 144411 1 - 0.0000 -
574.16/575.72 c 576 3209220 145391 1 - 0.0000 -
579.14/580.77 c 581 3229450 146197 1 - 0.0000 -
584.24/585.82 c 586 3253378 147001 1 - 0.0000 -
589.22/590.87 c 591 3306253 149084 1 - 0.0000 -
594.30/595.92 c 596 3373381 152112 1 - 0.0000 -
599.29/600.97 c 601 3398240 152881 1 - 0.0000 -
604.38/606.02 c 606 3418240 153453 1 - 0.0000 -
609.36/611.07 c 611 3443251 154356 1 - 0.0000 -
614.46/616.12 c 616 3471126 155317 1 - 0.0000 -
619.44/621.17 c 621 3498796 156315 1 - 0.0000 -
624.52/626.22 c 626 3568765 159110 1 - 0.0000 -
629.51/631.27 c 631 3604652 160465 1 - 0.0000 -
634.60/636.32 c 636 3633755 161531 1 - 0.0000 -
639.58/641.37 c 641 3662687 162475 1 - 0.0000 -
644.67/646.42 c 646 3688901 163397 1 - 0.0000 -
649.66/651.47 c 651 3719502 164402 1 - 0.0000 -
654.75/656.52 c 657 3744873 165397 1 - 0.0000 -
659.73/661.57 c 662 3774627 166531 1 - 0.0000 -
664.82/666.62 c 667 3804705 167863 1 - 0.0000 -
669.81/671.67 c 672 3834266 168884 1 - 0.0000 -
674.90/676.72 c 677 3861622 170078 1 - 0.0000 -
679.89/681.77 c 682 3890489 171273 1 - 0.0000 -
684.96/686.82 c 687 3921810 172554 1 - 0.0000 -
689.96/691.87 c 692 3953169 173701 1 - 0.0000 -
695.04/696.92 c 697 3981428 174886 1 - 0.0000 -
700.03/701.97 c 702 4015198 175912 1 - 0.0000 -
705.12/707.02 c 707 4043314 176922 1 - 0.0000 -
710.11/712.07 c 712 4073043 177961 1 - 0.0000 -
715.20/717.12 c 717 4101461 178925 1 - 0.0000 -
720.18/722.17 c 722 4126787 179903 1 - 0.0000 -
725.27/727.22 c 727 4155303 180893 1 - 0.0000 -
730.25/732.27 c 732 4182508 181638 1 - 0.0000 -
735.34/737.32 c 737 4212207 182555 1 - 0.0000 -
740.33/742.37 c 742 4240615 183363 1 - 0.0000 -
745.42/747.42 c 747 4272767 184509 1 - 0.0000 -
750.40/752.47 c 752 4302485 186109 1 - 0.0000 -
755.48/757.52 c 758 4349152 188022 1 - 0.0000 -
760.47/762.57 c 763 4373110 188914 1 - 0.0000 -
765.57/767.62 c 768 4399477 189897 1 - 0.0000 -
770.55/772.67 c 773 4426202 190924 1 - 0.0000 -
775.64/777.72 c 778 4457441 192095 1 - 0.0000 -
780.62/782.77 c 783 4491344 193414 1 - 0.0000 -
785.71/787.82 c 788 4537065 195393 1 - 0.0000 -
790.70/792.87 c 793 4567720 196324 1 - 0.0000 -
795.79/797.92 c 798 4599969 197295 1 - 0.0000 -
800.78/802.97 c 803 4628083 198327 1 - 0.0000 -
805.86/808.02 c 808 4659672 199476 1 - 0.0000 -
810.85/813.07 c 813 4690882 200541 1 - 0.0000 -
815.94/818.12 c 818 4719268 201753 1 - 0.0000 -
820.93/823.17 c 823 4745957 202860 1 - 0.0000 -
826.00/828.22 c 828 4777186 204111 1 - 0.0000 -
830.99/833.27 c 833 4803128 204926 1 - 0.0000 -
836.08/838.32 c 838 4835046 205902 1 - 0.0000 -
841.07/843.37 c 843 4861692 206702 1 - 0.0000 -
846.16/848.42 c 848 4890393 207725 1 - 0.0000 -
851.14/853.47 c 853 4922629 208809 1 - 0.0000 -
856.22/858.52 c 859 4954285 209673 1 - 0.0000 -
861.21/863.57 c 864 4983825 210657 1 - 0.0000 -
866.30/868.62 c 869 5013117 211829 1 - 0.0000 -
871.28/873.67 c 874 5042416 213280 1 - 0.0000 -
876.36/878.72 c 879 5072284 214188 1 - 0.0000 -
881.35/883.77 c 884 5097682 214830 1 - 0.0000 -
886.43/888.84 c 889 5127075 215857 1 - 0.0000 -
891.51/893.90 c 894 5171548 217124 1 - 0.0000 -
896.50/898.95 c 899 5197819 217931 1 - 0.0000 -
901.59/904.00 c 904 5232692 219176 1 - 0.0000 -
906.57/909.05 c 909 5268200 220322 1 - 0.0000 -
911.56/914.10 c 914 5309278 221837 1 - 0.0000 -
916.64/919.15 c 919 5339367 222728 1 - 0.0000 -
921.73/924.20 c 924 5377104 224155 1 - 0.0000 -
926.72/929.25 c 929 5412005 225130 1 - 0.0000 -
931.80/934.30 c 934 5440564 226069 1 - 0.0000 -
936.79/939.35 c 939 5469803 227119 1 - 0.0000 -
941.88/944.40 c 944 5499095 228055 1 - 0.0000 -
946.86/949.45 c 949 5526555 228941 1 - 0.0000 -
951.95/954.50 c 954 5555609 229919 1 - 0.0000 -
956.93/959.55 c 960 5604578 231698 1 - 0.0000 -
962.03/964.60 c 965 5642749 233087 1 - 0.0000 -
967.02/969.65 c 970 5666518 233834 1 - 0.0000 -
972.10/974.70 c 975 5694865 234775 1 - 0.0000 -
977.09/979.75 c 980 5724530 236028 1 - 0.0000 -
982.18/984.80 c 985 5754869 237031 1 - 0.0000 -
987.17/989.85 c 990 5781343 238035 1 - 0.0000 -
992.25/994.90 c 995 5814247 239463 1 - 0.0000 -
997.24/999.95 c 1000 5842140 240398 1 - 0.0000 -
1002.33/1005.00 c 1005 5871403 241313 1 - 0.0000 -
1007.32/1010.05 c 1010 5901778 242250 1 - 0.0000 -
1012.30/1015.10 c 1015 5931754 243246 1 - 0.0000 -
1017.39/1020.15 c 1020 5969858 244514 1 - 0.0000 -
1022.47/1025.20 c 1025 6007619 245891 1 - 0.0000 -
1027.46/1030.25 c 1030 6037157 246727 1 - 0.0000 -
1032.55/1035.32 c 1035 6067998 247694 1 - 0.0000 -
1037.53/1040.37 c 1040 6099193 248835 1 - 0.0000 -
1042.62/1045.42 c 1045 6124457 249549 1 - 0.0000 -
1047.61/1050.47 c 1050 6151103 250497 1 - 0.0000 -
1052.69/1055.52 c 1056 6181627 251401 1 - 0.0000 -
1057.69/1060.57 c 1061 6210677 252227 1 - 0.0000 -
1062.77/1065.62 c 1066 6241460 253124 1 - 0.0000 -
1067.76/1070.67 c 1071 6272031 254217 1 - 0.0000 -
1072.84/1075.72 c 1076 6300579 255047 1 - 0.0000 -
1077.84/1080.77 c 1081 6330675 256061 1 - 0.0000 -
1082.92/1085.82 c 1086 6360565 257165 1 - 0.0000 -
1087.91/1090.87 c 1091 6416593 259209 1 - 0.0000 -
1093.00/1095.92 c 1096 6450874 260248 1 - 0.0000 -
1097.99/1100.97 c 1101 6486037 261389 1 - 0.0000 -
1103.08/1106.02 c 1106 6512180 262248 1 - 0.0000 -
1108.06/1111.07 c 1111 6543478 263416 1 - 0.0000 -
1113.15/1116.12 c 1116 6569694 264126 1 - 0.0000 -
1118.14/1121.17 c 1121 6594184 265266 1 - 0.0000 -
1123.22/1126.22 c 1126 6617787 266291 1 - 0.0000 -
1128.20/1131.29 c 1131 6640679 267459 1 - 0.0000 -
1133.29/1136.34 c 1136 6662900 268252 1 - 0.0000 -
1138.28/1141.39 c 1141 6684877 269295 1 - 0.0000 -
1143.37/1146.44 c 1146 6708713 270013 1 - 0.0000 -
1148.36/1151.49 c 1151 6730556 270702 1 - 0.0000 -
1153.45/1156.55 c 1157 6750644 271368 1 - 0.0000 -
1158.54/1161.60 c 1162 6769931 272133 1 - 0.0000 -
1163.53/1166.65 c 1167 6790830 272872 1 - 0.0000 -
1168.61/1171.70 c 1172 6811728 273324 1 - 0.0000 -
1173.60/1176.75 c 1177 6835638 274142 1 - 0.0000 -
1178.69/1181.80 c 1182 6863475 274917 1 - 0.0000 -
1183.68/1186.85 c 1187 6908718 276452 1 - 0.0000 -
1188.76/1191.90 c 1192 6938075 277317 1 - 0.0000 -
1193.75/1196.95 c 1197 6966618 278332 1 - 0.0000 -
1198.84/1202.00 c 1202 6994424 279286 1 - 0.0000 -
1203.83/1207.05 c 1207 7023793 280275 1 - 0.0000 -
1208.81/1212.10 c 1212 7054316 281308 1 - 0.0000 -
1213.90/1217.15 c 1217 7081800 282024 1 - 0.0000 -
1218.98/1222.20 c 1222 7112280 283074 1 - 0.0000 -
1223.98/1227.25 c 1227 7145498 284440 1 - 0.0000 -
1229.06/1232.30 c 1232 7170676 285626 1 - 0.0000 -
1234.05/1237.35 c 1237 7197527 286913 1 - 0.0000 -
1239.13/1242.40 c 1242 7225055 287809 1 - 0.0000 -
1244.13/1247.45 c 1247 7254733 288749 1 - 0.0000 -
1249.21/1252.50 c 1252 7282458 289600 1 - 0.0000 -
1254.20/1257.55 c 1258 7310021 290601 1 - 0.0000 -
1259.29/1262.60 c 1263 7333164 291314 1 - 0.0000 -
1264.28/1267.65 c 1268 7364050 292206 1 - 0.0000 -
1269.36/1272.70 c 1273 7389768 293022 1 - 0.0000 -
1274.35/1277.75 c 1278 7422106 294072 1 - 0.0000 -
1279.44/1282.80 c 1283 7451104 295072 1 - 0.0000 -
1284.42/1287.85 c 1288 7475734 296026 1 - 0.0000 -
1289.52/1292.90 c 1293 7504229 296835 1 - 0.0000 -
1294.50/1297.95 c 1298 7535015 297815 1 - 0.0000 -
1299.59/1303.00 c 1303 7564055 298717 1 - 0.0000 -
1304.58/1308.05 c 1308 7595032 299856 1 - 0.0000 -
1309.57/1313.10 c 1313 7622364 300882 1 - 0.0000 -
1314.65/1318.15 c 1318 7653830 301844 1 - 0.0000 -
1319.74/1323.20 c 1323 7693556 303760 1 - 0.0000 -
1324.72/1328.26 c 1328 7723576 305022 1 - 0.0000 -
1329.81/1333.31 c 1333 7750700 307232 1 - 0.0000 -
1334.80/1338.36 c 1338 7781150 309120 1 - 0.0000 -
1339.89/1343.41 c 1343 7814549 311097 1 - 0.0000 -
1344.88/1348.46 c 1348 7849271 312431 1 - 0.0000 -
1349.96/1353.51 c 1354 7879786 314284 1 - 0.0000 -
1354.95/1358.56 c 1359 7912640 315710 1 - 0.0000 -
1360.04/1363.61 c 1364 7948013 317449 1 - 0.0000 -
1365.03/1368.66 c 1369 7979545 318903 1 - 0.0000 -
1370.11/1373.71 c 1374 8011548 320556 1 - 0.0000 -
1375.10/1378.76 c 1379 8042750 322354 1 - 0.0000 -
1380.19/1383.81 c 1384 8073974 324288 1 - 0.0000 -
1385.18/1388.86 c 1389 8105675 325779 1 - 0.0000 -
1390.26/1393.91 c 1394 8140533 327659 1 - 0.0000 -
1395.25/1398.96 c 1399 8169232 329704 1 - 0.0000 -
1400.34/1404.01 c 1404 8200207 331339 1 - 0.0000 -
1405.33/1409.06 c 1409 8221896 332052 1 - 0.0000 -
1410.42/1414.11 c 1414 8251989 333297 1 - 0.0000 -
1415.40/1419.16 c 1419 8281064 334070 1 - 0.0000 -
1420.49/1424.21 c 1424 8307056 335108 1 - 0.0000 -
1425.48/1429.26 c 1429 8333377 336093 1 - 0.0000 -
1430.56/1434.31 c 1434 8363621 336793 1 - 0.0000 -
1435.65/1439.41 c 1439 8395426 337794 1 - 0.0000 -
1440.64/1444.46 c 1444 8421368 338468 1 - 0.0000 -
1445.72/1449.51 c 1450 8448453 339102 1 - 0.0000 -
1450.71/1454.56 c 1455 8478187 339878 1 - 0.0000 -
1455.80/1459.61 c 1460 8503262 340483 1 - 0.0000 -
1460.78/1464.66 c 1465 8528945 341646 1 - 0.0000 -
1465.88/1469.71 c 1470 8551789 342934 1 - 0.0000 -
1470.86/1474.76 c 1475 8577306 343913 1 - 0.0000 -
1475.96/1479.81 c 1480 8604190 344741 1 - 0.0000 -
1480.94/1484.86 c 1485 8630169 346232 1 - 0.0000 -
1486.03/1489.91 c 1490 8658200 347529 1 - 0.0000 -
1491.02/1494.96 c 1495 8686589 348766 1 - 0.0000 -
1496.10/1500.01 c 1500 8716798 349787 1 - 0.0000 -
1501.09/1505.06 c 1505 8746448 351007 1 - 0.0000 -
1506.18/1510.11 c 1510 8772584 352031 1 - 0.0000 -
1511.17/1515.16 c 1515 8800460 352905 1 - 0.0000 -
1516.25/1520.21 c 1520 8825119 353774 1 - 0.0000 -
1521.24/1525.26 c 1525 8854667 354704 1 - 0.0000 -
1526.32/1530.31 c 1530 8883772 355611 1 - 0.0000 -
1531.31/1535.37 c 1535 8908901 356480 1 - 0.0000 -
1536.40/1540.42 c 1540 8938150 357519 1 - 0.0000 -
1541.39/1545.47 c 1545 8964508 358283 1 - 0.0000 -
1546.48/1550.52 c 1551 8992040 359365 1 - 0.0000 -
1551.47/1555.58 c 1556 9020566 360313 1 - 0.0000 -
1556.55/1560.63 c 1561 9048182 361213 1 - 0.0000 -
1561.54/1565.68 c 1566 9077986 362195 1 - 0.0000 -
1566.62/1570.73 c 1571 9105208 363135 1 - 0.0000 -
1571.62/1575.78 c 1576 9134395 363940 1 - 0.0000 -
1576.70/1580.83 c 1581 9162328 364911 1 - 0.0000 -
1581.79/1585.91 c 1586 9192132 365771 1 - 0.0000 -
1586.78/1590.96 c 1591 9221490 366717 1 - 0.0000 -
1591.87/1596.01 c 1596 9251767 367848 1 - 0.0000 -
1596.85/1601.06 c 1601 9281483 368818 1 - 0.0000 -
1601.95/1606.11 c 1606 9309937 370198 1 - 0.0000 -
1606.93/1611.16 c 1611 9344054 371235 1 - 0.0000 -
1612.02/1616.21 c 1616 9371840 372097 1 - 0.0000 -
1617.00/1621.26 c 1621 9399521 373470 1 - 0.0000 -
1622.09/1626.31 c 1626 9427646 374691 1 - 0.0000 -
1627.08/1631.36 c 1631 9457892 375839 1 - 0.0000 -
1632.17/1636.41 c 1636 9485255 376884 1 - 0.0000 -
1637.15/1641.46 c 1641 9517792 377911 1 - 0.0000 -
1642.24/1646.52 c 1647 9546696 378731 1 - 0.0000 -
1647.23/1651.57 c 1652 9577099 379590 1 - 0.0000 -
1652.32/1656.62 c 1657 9604350 380449 1 - 0.0000 -
1657.30/1661.67 c 1662 9636110 381493 1 - 0.0000 -
1662.40/1666.72 c 1667 9665130 382337 1 - 0.0000 -
1667.39/1671.77 c 1672 9686355 384604 1 - 0.0000 -
1672.47/1676.85 c 1677 9713318 387131 1 - 0.0000 -
1677.56/1681.90 c 1682 9743457 388892 1 - 0.0000 -
1682.55/1686.95 c 1687 9774353 390978 1 - 0.0000 -
1687.64/1692.00 c 1692 9805757 393044 1 - 0.0000 -
1692.62/1697.05 c 1697 9836763 395226 1 - 0.0000 -
1697.61/1702.10 c 1702 9863369 397138 1 - 0.0000 -
1702.69/1707.16 c 1707 9892315 399536 1 - 0.0000 -
1707.78/1712.21 c 1712 9924026 402175 1 - 0.0000 -
1712.77/1717.26 c 1717 9953740 404461 1 - 0.0000 -
1717.85/1722.31 c 1722 9984203 406458 1 - 0.0000 -
1722.84/1727.36 c 1727 10013139 408394 1 - 0.0000 -
1727.93/1732.41 c 1732 10042117 410040 1 - 0.0000 -
1732.92/1737.46 c 1737 10071728 411853 1 - 0.0000 -
1738.01/1742.52 c 1743 10099606 413479 1 - 0.0000 -
1743.00/1747.57 c 1748 10129660 414817 1 - 0.0000 -
1748.08/1752.62 c 1753 10161287 416884 1 - 0.0000 -
1753.07/1757.67 c 1758 10189972 418573 1 - 0.0000 -
1758.16/1762.72 c 1763 10219367 420282 1 - 0.0000 -
1763.15/1767.78 c 1768 10253661 423596 1 - 0.0000 -
1768.24/1772.85 c 1773 10283193 426166 1 - 0.0000 -
1773.33/1777.90 c 1778 10310141 428558 1 - 0.0000 -
1778.31/1782.95 c 1783 10338259 430582 1 - 0.0000 -
1783.40/1788.00 c 1788 10366063 431950 1 - 0.0000 -
1788.49/1793.11 c 1793 10396604 434447 1 - 0.0000 -
1793.47/1798.16 c 1798 10424806 436691 1 - 0.0000 -
1798.56/1803.21 c 1803 10455984 438535 1 - 0.0000 -
1803.55/1808.29 c 1808 10487622 440993 1 - 0.0000 -
1808.64/1813.34 c 1813 10518824 442989 1 - 0.0000 -
1813.62/1818.39 c 1818 10551092 444785 1 - 0.0000 -
1818.70/1823.44 c 1823 10576377 445706 1 - 0.0000 -
1823.70/1828.49 c 1828 10603467 446412 1 - 0.0000 -
1828.78/1833.54 c 1834 10629496 447337 1 - 0.0000 -
1833.78/1838.59 c 1839 10657070 448053 1 - 0.0000 -
1838.86/1843.64 c 1844 10686418 448991 1 - 0.0000 -
1843.85/1848.69 c 1849 10715790 451049 1 - 0.0000 -
1848.93/1853.74 c 1854 10743539 452862 1 - 0.0000 -
1853.92/1858.79 c 1859 10773704 455535 1 - 0.0000 -
1859.01/1863.89 c 1864 10802204 460875 1 - 0.0000 -
1864.10/1868.95 c 1869 10831384 465275 1 - 0.0000 -
1869.19/1874.00 c 1874 10861019 468582 1 - 0.0000 -
1874.18/1879.05 c 1879 10890305 471280 1 - 0.0000 -
1879.16/1884.10 c 1884 10919904 473507 1 - 0.0000 -
1884.25/1889.15 c 1889 10946697 475336 1 - 0.0000 -
1889.33/1894.20 c 1894 10979612 477355 1 - 0.0000 -
1894.32/1899.25 c 1899 11009556 479017 1 - 0.0000 -
1899.41/1904.30 c 1904 11041856 481273 1 - 0.0000 -
1904.39/1909.35 c 1909 11071235 483372 1 - 0.0000 -
1909.48/1914.40 c 1914 11102711 486584 1 - 0.0000 -
1914.47/1919.45 c 1919 11134926 489605 1 - 0.0000 -
1919.56/1924.50 c 1924 11162508 491435 1 - 0.0000 -
1924.55/1929.55 c 1930 11190582 493611 1 - 0.0000 -
1929.63/1934.60 c 1935 11220372 496189 1 - 0.0000 -
1934.62/1939.65 c 1940 11250308 498197 1 - 0.0000 -
1939.71/1944.70 c 1945 11280461 500402 1 - 0.0000 -
1944.69/1949.75 c 1950 11310393 502740 1 - 0.0000 -
1949.79/1954.80 c 1955 11337581 504200 1 - 0.0000 -
1954.78/1959.85 c 1960 11363856 505685 1 - 0.0000 -
1959.86/1964.90 c 1965 11392856 508065 1 - 0.0000 -
1964.86/1969.95 c 1970 11422270 510217 1 - 0.0000 -
1969.94/1975.02 c 1975 11452813 512216 1 - 0.0000 -
1974.93/1980.07 c 1980 11483254 514565 1 - 0.0000 -
1980.01/1985.12 c 1985 11511472 516667 1 - 0.0000 -
1985.00/1990.17 c 1990 11540154 518511 1 - 0.0000 -
1990.08/1995.22 c 1995 11568433 520522 1 - 0.0000 -
1995.08/2000.27 c 2000 11598327 522704 1 - 0.0000 -
2000.17/2005.33 c 2005 11635183 526888 1 - 0.0000 -
2005.15/2010.38 c 2010 11665083 529240 1 - 0.0000 -
2010.23/2015.43 c 2015 11695892 531209 1 - 0.0000 -
2015.22/2020.48 c 2020 11724892 533465 1 - 0.0000 -
2020.32/2025.53 c 2026 11753824 534749 1 - 0.0000 -
2025.30/2030.58 c 2031 11784194 536143 1 - 0.0000 -
2030.39/2035.63 c 2036 11811199 537440 1 - 0.0000 -
2035.37/2040.68 c 2041 11848914 539509 1 - 0.0000 -
2040.46/2045.73 c 2046 11896680 541317 1 - 0.0000 -
2045.45/2050.78 c 2051 11928780 543547 1 - 0.0000 -
2050.54/2055.83 c 2056 11957994 545627 1 - 0.0000 -
2055.53/2060.88 c 2061 11985464 546779 1 - 0.0000 -
2060.62/2065.93 c 2066 12012816 548231 1 - 0.0000 -
2065.60/2070.98 c 2071 12041944 549275 1 - 0.0000 -
2070.69/2076.03 c 2076 12068551 550062 1 - 0.0000 -
2075.68/2081.08 c 2081 12091404 550493 1 - 0.0000 -
2080.77/2086.14 c 2086 12116949 551582 1 - 0.0000 -
2085.76/2091.19 c 2091 12145587 553426 1 - 0.0000 -
2090.84/2096.24 c 2096 12173900 554863 1 - 0.0000 -
2095.83/2101.29 c 2101 12203183 556870 1 - 0.0000 -
2100.92/2106.34 c 2106 12230612 558099 1 - 0.0000 -
2105.91/2111.39 c 2111 12259899 559502 1 - 0.0000 -
2110.99/2116.44 c 2116 12284084 560537 1 - 0.0000 -
2115.98/2121.49 c 2121 12315323 562422 1 - 0.0000 -
2121.07/2126.54 c 2127 12344425 563272 1 - 0.0000 -
2126.05/2131.59 c 2132 12377916 564363 1 - 0.0000 -
2131.14/2136.64 c 2137 12409155 565208 1 - 0.0000 -
2136.12/2141.69 c 2142 12437858 567099 1 - 0.0000 -
2141.21/2146.74 c 2147 12470058 568393 1 - 0.0000 -
2146.20/2151.79 c 2152 12501813 569536 1 - 0.0000 -
2151.28/2156.84 c 2157 12533137 571290 1 - 0.0000 -
2156.28/2161.89 c 2162 12561357 572968 1 - 0.0000 -
2161.36/2166.94 c 2167 12587591 574392 1 - 0.0000 -
2166.35/2171.99 c 2172 12615741 577050 1 - 0.0000 -
2171.44/2177.04 c 2177 12642311 578184 1 - 0.0000 -
2176.43/2182.09 c 2182 12674639 579442 1 - 0.0000 -
2181.52/2187.14 c 2187 12699049 580364 1 - 0.0000 -
2186.50/2192.20 c 2192 12721709 580990 1 - 0.0000 -
2191.59/2197.24 c 2197 12749332 582333 1 - 0.0000 -
2196.67/2202.30 c 2202 12780966 583477 1 - 0.0000 -
2201.67/2207.35 c 2207 12806452 584641 1 - 0.0000 -
2206.76/2212.40 c 2212 12834024 585981 1 - 0.0000 -
2211.74/2217.48 c 2217 12864159 587554 1 - 0.0000 -
2216.83/2222.53 c 2223 12891698 588733 1 - 0.0000 -
2221.82/2227.58 c 2228 12918228 590807 1 - 0.0000 -
2226.91/2232.63 c 2233 12943373 592178 1 - 0.0000 -
2231.90/2237.68 c 2238 12971424 593841 1 - 0.0000 -
2236.98/2242.73 c 2243 12999237 595292 1 - 0.0000 -
2241.97/2247.78 c 2248 13026708 596785 1 - 0.0000 -
2247.06/2252.83 c 2253 13055948 598185 1 - 0.0000 -
2252.04/2257.88 c 2258 13082421 599736 1 - 0.0000 -
2257.13/2262.93 c 2263 13112522 600971 1 - 0.0000 -
2262.12/2267.98 c 2268 13140375 603010 1 - 0.0000 -
2267.21/2273.04 c 2273 13169193 606618 1 - 0.0000 -
2272.20/2278.09 c 2278 13197409 608238 1 - 0.0000 -
2277.29/2283.14 c 2283 13227810 609709 1 - 0.0000 -
2282.27/2288.19 c 2288 13256784 611609 1 - 0.0000 -
2287.36/2293.24 c 2293 13280289 612632 1 - 0.0000 -
2292.35/2298.29 c 2298 13306420 613797 1 - 0.0000 -
2297.43/2303.34 c 2303 13334137 615256 1 - 0.0000 -
2302.43/2308.39 c 2308 13361734 616707 1 - 0.0000 -
2307.51/2313.45 c 2313 13387947 617884 1 - 0.0000 -
2312.60/2318.50 c 2318 13418713 619674 1 - 0.0000 -
2317.59/2323.55 c 2324 13448168 620751 1 - 0.0000 -
2322.68/2328.60 c 2329 13476313 622118 1 - 0.0000 -
2327.67/2333.65 c 2334 13504856 623831 1 - 0.0000 -
2332.75/2338.70 c 2339 13535026 625575 1 - 0.0000 -
2337.75/2343.76 c 2344 13563614 627661 1 - 0.0000 -
2342.83/2348.81 c 2349 13586305 629062 1 - 0.0000 -
2347.82/2353.86 c 2354 13607304 629651 1 - 0.0000 -
2352.90/2358.91 c 2359 13627022 630183 1 - 0.0000 -
2357.89/2363.96 c 2364 13647668 630820 1 - 0.0000 -
2362.99/2369.01 c 2369 13666491 631173 1 - 0.0000 -
2367.97/2374.06 c 2374 13695205 633819 1 - 0.0000 -
2373.06/2379.11 c 2379 13727661 637365 1 - 0.0000 -
2378.06/2384.16 c 2384 13756555 639379 1 - 0.0000 -
2383.14/2389.21 c 2389 13785582 640962 1 - 0.0000 -
2388.13/2394.26 c 2394 13811569 642437 1 - 0.0000 -
2393.21/2399.31 c 2399 13842161 644845 1 - 0.0000 -
2398.20/2404.37 c 2404 13871633 646155 1 - 0.0000 -
2403.29/2409.42 c 2409 13900943 647551 1 - 0.0000 -
2408.27/2414.47 c 2414 13930303 649065 1 - 0.0000 -
2413.37/2419.52 c 2420 13959949 650907 1 - 0.0000 -
2418.35/2424.57 c 2425 13986029 651805 1 - 0.0000 -
2423.45/2429.62 c 2430 14015677 653205 1 - 0.0000 -
2428.43/2434.67 c 2435 14041677 655353 1 - 0.0000 -
2433.51/2439.72 c 2440 14068920 657524 1 - 0.0000 -
2438.50/2444.77 c 2445 14120182 659810 1 - 0.0000 -
2443.59/2449.82 c 2450 14157764 661540 1 - 0.0000 -
2448.58/2454.87 c 2455 14193561 664467 1 - 0.0000 -
2453.67/2459.92 c 2460 14222857 665765 1 - 0.0000 -
2458.65/2464.97 c 2465 14252014 666826 1 - 0.0000 -
2463.75/2470.02 c 2470 14280362 668234 1 - 0.0000 -
2468.74/2475.07 c 2475 14307665 669248 1 - 0.0000 -
2473.83/2480.12 c 2480 14329036 670283 1 - 0.0000 -
2478.81/2485.17 c 2485 14349245 671458 1 - 0.0000 -
2483.89/2490.22 c 2490 14372885 672682 1 - 0.0000 -
2488.89/2495.27 c 2495 14396273 673790 1 - 0.0000 -
2493.98/2500.32 c 2500 14427612 676121 1 - 0.0000 -
2498.96/2505.37 c 2505 14454952 677433 1 - 0.0000 -
2504.05/2510.42 c 2510 14482533 678556 1 - 0.0000 -
2509.04/2515.47 c 2515 14509945 680186 1 - 0.0000 -
2514.13/2520.52 c 2521 14540159 681564 1 - 0.0000 -
2519.12/2525.57 c 2526 14566212 682857 1 - 0.0000 -
2524.20/2530.62 c 2531 14592485 684024 1 - 0.0000 -
2529.19/2535.69 c 2536 14621219 685876 1 - 0.0000 -
2534.28/2540.74 c 2541 14644674 687279 1 - 0.0000 -
2539.27/2545.79 c 2546 14664549 688126 1 - 0.0000 -
2544.36/2550.84 c 2551 14685166 688739 1 - 0.0000 -
2549.35/2555.89 c 2556 14705750 689905 1 - 0.0000 -
2554.43/2560.94 c 2561 14728560 690785 1 - 0.0000 -
2559.42/2565.99 c 2566 14750114 691515 1 - 0.0000 -
2564.51/2571.04 c 2571 14769328 692133 1 - 0.0000 -
2569.50/2576.09 c 2576 14788843 692788 1 - 0.0000 -
2574.59/2581.14 c 2581 14808965 693428 1 - 0.0000 -
2579.57/2586.19 c 2586 14829075 694180 1 - 0.0000 -
2584.66/2591.24 c 2591 14848366 694933 1 - 0.0000 -
2589.65/2596.29 c 2596 14868491 695642 1 - 0.0000 -
2594.74/2601.34 c 2601 14887874 696387 1 - 0.0000 -
2599.73/2606.39 c 2606 14909604 697461 1 - 0.0000 -
2604.82/2611.45 c 2611 14935629 698226 1 - 0.0000 -
2609.90/2616.50 c 2616 14962174 699171 1 - 0.0000 -
2614.89/2621.55 c 2622 14992703 700246 1 - 0.0000 -
2619.98/2626.60 c 2627 15020274 701109 1 - 0.0000 -
2624.97/2631.65 c 2632 15049896 702417 1 - 0.0000 -
2630.06/2636.70 c 2637 15082414 703791 1 - 0.0000 -
2635.05/2641.75 c 2642 15113983 705408 1 - 0.0000 -
2640.14/2646.80 c 2647 15144301 707418 1 - 0.0000 -
2645.12/2651.85 c 2652 15172040 709231 1 - 0.0000 -
2650.21/2656.90 c 2657 15192517 709780 1 - 0.0000 -
2655.19/2661.95 c 2662 15218638 710813 1 - 0.0000 -
2660.29/2667.00 c 2667 15247459 711864 1 - 0.0000 -
2665.28/2672.05 c 2672 15275881 713106 1 - 0.0000 -
2670.26/2677.10 c 2677 15304130 714105 1 - 0.0000 -
2675.35/2682.15 c 2682 15330795 715342 1 - 0.0000 -
2680.43/2687.20 c 2687 15358907 716642 1 - 0.0000 -
2685.43/2692.25 c 2692 15379690 717657 1 - 0.0000 -
2690.51/2697.30 c 2697 15409822 719533 1 - 0.0000 -
2695.50/2702.35 c 2702 15438659 721436 1 - 0.0000 -
2700.58/2707.40 c 2707 15478905 723408 1 - 0.0000 -
2705.57/2712.45 c 2712 15514499 724876 1 - 0.0000 -
2710.66/2717.50 c 2718 15544409 726620 1 - 0.0000 -
2715.65/2722.55 c 2723 15567598 727945 1 - 0.0000 -
2720.75/2727.60 c 2728 15591957 728906 1 - 0.0000 -
2725.73/2732.67 c 2733 15620489 730362 1 - 0.0000 -
2730.81/2737.71 c 2738 15653314 731279 1 - 0.0000 -
2735.81/2742.77 c 2743 15680114 732479 1 - 0.0000 -
2740.89/2747.82 c 2748 15707061 734140 1 - 0.0000 -
2745.89/2752.87 c 2753 15736208 736021 1 - 0.0000 -
2750.97/2757.95 c 2758 15763323 737326 1 - 0.0000 -
2756.06/2763.00 c 2763 15789281 738366 1 - 0.0000 -
2761.05/2768.05 c 2768 15819607 739898 1 - 0.0000 -
2766.03/2773.10 c 2773 15852010 741757 1 - 0.0000 -
2771.13/2778.15 c 2778 15872380 745555 1 - 0.0000 -
2776.21/2783.20 c 2783 15890488 748979 1 - 0.0000 -
2781.20/2788.25 c 2788 15908724 752097 1 - 0.0000 -
2786.28/2793.30 c 2793 15931705 755254 1 - 0.0000 -
2791.27/2798.35 c 2798 15952898 758735 1 - 0.0000 -
2796.36/2803.40 c 2803 15972288 761673 1 - 0.0000 -
2801.35/2808.45 c 2808 15993893 764996 1 - 0.0000 -
2806.44/2813.51 c 2814 16016629 768106 1 - 0.0000 -
2811.43/2818.55 c 2819 16039065 771072 1 - 0.0000 -
2816.52/2823.60 c 2824 16064097 774262 1 - 0.0000 -
2821.50/2828.65 c 2829 16084267 777138 1 - 0.0000 -
2826.59/2833.70 c 2834 16108399 779376 1 - 0.0000 -
2831.58/2838.75 c 2839 16137386 780469 1 - 0.0000 -
2836.67/2843.80 c 2844 16168139 782114 1 - 0.0000 -
2841.66/2848.85 c 2849 16197426 783805 1 - 0.0000 -
2846.75/2853.91 c 2854 16228225 785450 1 - 0.0000 -
2851.73/2858.96 c 2859 16255708 786877 1 - 0.0000 -
2856.82/2864.01 c 2864 16281750 788641 1 - 0.0000 -
2861.82/2869.06 c 2869 16307980 790529 1 - 0.0000 -
2866.90/2874.11 c 2874 16338966 791857 1 - 0.0000 -
2871.89/2879.16 c 2879 16368514 793643 1 - 0.0000 -
2876.98/2884.21 c 2884 16398903 795520 1 - 0.0000 -
2881.96/2889.26 c 2889 16425658 796633 1 - 0.0000 -
2887.05/2894.31 c 2894 16452837 797713 1 - 0.0000 -
2892.04/2899.36 c 2899 16481040 798806 1 - 0.0000 -
2897.13/2904.41 c 2904 16507558 800234 1 - 0.0000 -
2902.11/2909.46 c 2909 16534744 801362 1 - 0.0000 -
2907.20/2914.51 c 2915 16565763 803131 1 - 0.0000 -
2912.19/2919.56 c 2920 16595208 805362 1 - 0.0000 -
2917.28/2924.61 c 2925 16626866 806452 1 - 0.0000 -
2922.26/2929.66 c 2930 16656648 808112 1 - 0.0000 -
2927.36/2934.71 c 2935 16689361 809655 1 - 0.0000 -
2932.35/2939.77 c 2940 16715209 812427 1 - 0.0000 -
2937.43/2944.82 c 2945 16748359 815815 1 - 0.0000 -
2942.41/2949.87 c 2950 16775773 819123 1 - 0.0000 -
2947.51/2954.92 c 2955 16802737 822461 1 - 0.0000 -
2952.59/2960.00 c 2960 16830470 825832 1 - 0.0000 -
2957.58/2965.05 c 2965 16860917 829273 1 - 0.0000 -
2962.57/2970.10 c 2970 16887151 832485 1 - 0.0000 -
2967.75/2975.20 c 2975 16915220 836244 1 - 0.0000 -
2972.74/2980.25 c 2980 16943646 839652 1 - 0.0000 -
2977.83/2985.30 c 2985 16970566 842796 1 - 0.0000 -
2982.82/2990.35 c 2990 16999791 845865 1 - 0.0000 -
2987.91/2995.40 c 2995 17026989 848625 1 - 0.0000 -
2992.90/3000.45 c 3000 17055466 851644 1 - 0.0000 -
2997.98/3005.50 c 3006 17082569 854287 1 - 0.0000 -
3002.97/3010.55 c 3011 17108230 856592 1 - 0.0000 -
3008.06/3015.60 c 3016 17141086 858474 1 - 0.0000 -
3013.05/3020.65 c 3021 17169125 860371 1 - 0.0000 -
3018.13/3025.70 c 3026 17197209 862209 1 - 0.0000 -
3023.12/3030.75 c 3031 17223711 863489 1 - 0.0000 -
3028.20/3035.80 c 3036 17253625 867255 1 - 0.0000 -
3033.18/3040.85 c 3041 17284314 870492 1 - 0.0000 -
3038.27/3045.90 c 3046 17311882 873094 1 - 0.0000 -
3043.26/3050.95 c 3051 17340036 874464 1 - 0.0000 -
3048.34/3056.00 c 3056 17369994 876122 1 - 0.0000 -
3053.33/3061.05 c 3061 17397273 877192 1 - 0.0000 -
3058.32/3066.10 c 3066 17427221 879052 1 - 0.0000 -
3063.41/3071.15 c 3071 17452440 880407 1 - 0.0000 -
3068.49/3076.20 c 3076 17480033 881778 1 - 0.0000 -
3073.48/3081.25 c 3081 17507087 882712 1 - 0.0000 -
3078.56/3086.30 c 3086 17540752 884747 1 - 0.0000 -
3083.56/3091.35 c 3091 17569528 886225 1 - 0.0000 -
3088.64/3096.40 c 3096 17598161 887740 1 - 0.0000 -
3093.63/3101.45 c 3101 17625683 889088 1 - 0.0000 -
3098.72/3106.50 c 3106 17652928 891051 1 - 0.0000 -
3103.70/3111.55 c 3112 17679704 892427 1 - 0.0000 -
3108.79/3116.60 c 3117 17708322 893601 1 - 0.0000 -
3113.78/3121.65 c 3122 17736683 895200 1 - 0.0000 -
3118.86/3126.70 c 3127 17764189 896556 1 - 0.0000 -
3123.86/3131.75 c 3132 17789673 897572 1 - 0.0000 -
3128.94/3136.80 c 3137 17816395 898550 1 - 0.0000 -
3133.94/3141.85 c 3142 17846649 899638 1 - 0.0000 -
3139.02/3146.92 c 3147 17877854 900647 1 - 0.0000 -
3144.00/3151.97 c 3152 17910757 901658 1 - 0.0000 -
3149.09/3157.02 c 3157 17939427 902604 1 - 0.0000 -
3154.09/3162.07 c 3162 17970717 904084 1 - 0.0000 -
3159.17/3167.12 c 3167 18003560 905325 1 - 0.0000 -
3164.15/3172.17 c 3172 18034306 906557 1 - 0.0000 -
3169.24/3177.22 c 3177 18065134 907907 1 - 0.0000 -
3174.23/3182.27 c 3182 18095312 909399 1 - 0.0000 -
3179.32/3187.34 c 3187 18126331 910940 1 - 0.0000 -
3184.31/3192.38 c 3192 18156292 912401 1 - 0.0000 -
3189.39/3197.43 c 3197 18186261 913824 1 - 0.0000 -
3194.38/3202.48 c 3202 18215856 915181 1 - 0.0000 -
3199.47/3207.53 c 3208 18247857 917248 1 - 0.0000 -
3204.45/3212.58 c 3213 18278687 919280 1 - 0.0000 -
3209.55/3217.63 c 3218 18308179 920820 1 - 0.0000 -
3214.53/3222.68 c 3223 18338608 921935 1 - 0.0000 -
3219.62/3227.73 c 3228 18367345 923506 1 - 0.0000 -
3224.71/3232.81 c 3233 18400088 925461 1 - 0.0000 -
3229.70/3237.86 c 3238 18424449 926694 1 - 0.0000 -
3234.78/3242.91 c 3243 18451700 927915 1 - 0.0000 -
3239.77/3247.96 c 3248 18484332 929711 1 - 0.0000 -
3244.86/3253.01 c 3253 18511569 931152 1 - 0.0000 -
3249.85/3258.06 c 3258 18542055 932640 1 - 0.0000 -
3254.93/3263.11 c 3263 18570639 933988 1 - 0.0000 -
3259.93/3268.16 c 3268 18600799 936172 1 - 0.0000 -
3265.01/3273.23 c 3273 18631799 938372 1 - 0.0000 -
3269.99/3278.27 c 3278 18668418 940429 1 - 0.0000 -
3275.09/3283.33 c 3283 18695177 941800 1 - 0.0000 -
3280.07/3288.38 c 3288 18724532 943511 1 - 0.0000 -
3285.15/3293.43 c 3293 18751311 945192 1 - 0.0000 -
3290.15/3298.48 c 3298 18781058 946829 1 - 0.0000 -
3295.23/3303.54 c 3304 18816687 948254 1 - 0.0000 -
3300.32/3308.63 c 3309 18897249 950136 1 - 0.0000 -
3305.31/3313.68 c 3314 18932952 951609 1 - 0.0000 -
3310.40/3318.73 c 3319 18961751 953182 1 - 0.0000 -
3315.38/3323.78 c 3324 18993451 954834 1 - 0.0000 -
3320.47/3328.83 c 3329 19021084 955805 1 - 0.0000 -
3325.46/3333.88 c 3334 19046942 956863 1 - 0.0000 -
3330.55/3338.93 c 3339 19076717 958000 1 - 0.0000 -
3335.53/3343.98 c 3344 19105386 959099 1 - 0.0000 -
3340.62/3349.03 c 3349 19138350 961249 1 - 0.0000 -
3345.61/3354.08 c 3354 19165543 962854 1 - 0.0000 -
3350.70/3359.15 c 3359 19195267 965436 1 - 0.0000 -
3355.78/3364.22 c 3364 19229452 968169 1 - 0.0000 -
3360.77/3369.27 c 3369 19259965 970342 1 - 0.0000 -
3365.86/3374.32 c 3374 19283530 972011 1 - 0.0000 -
3370.84/3379.37 c 3379 19303741 973588 1 - 0.0000 -
3375.94/3384.42 c 3384 19325033 975298 1 - 0.0000 -
3380.93/3389.47 c 3389 19347607 976940 1 - 0.0000 -
3386.01/3394.52 c 3395 19369593 978518 1 - 0.0000 -
3391.00/3399.57 c 3400 19392571 980340 1 - 0.0000 -
3396.09/3404.62 c 3405 19414636 982029 1 - 0.0000 -
3401.08/3409.67 c 3410 19437532 983955 1 - 0.0000 -
3406.17/3414.72 c 3415 19462637 985982 1 - 0.0000 -
3411.16/3419.77 c 3420 19489492 987741 1 - 0.0000 -
3416.24/3424.82 c 3425 19518860 990479 1 - 0.0000 -
3421.23/3429.87 c 3430 19548010 992343 1 - 0.0000 -
3426.31/3434.92 c 3435 19577366 993935 1 - 0.0000 -
3431.30/3439.97 c 3440 19602237 995002 1 - 0.0000 -
3436.40/3445.02 c 3445 19624950 996153 1 - 0.0000 -
3441.38/3450.07 c 3450 19650936 997757 1 - 0.0000 -
3446.47/3455.12 c 3455 19682039 999422 1 - 0.0000 -
3451.46/3460.17 c 3460 19706414 1000993 1 - 0.0000 -
3456.54/3465.22 c 3465 19732910 1002197 1 - 0.0000 -
3461.53/3470.28 c 3470 19762236 1003695 1 - 0.0000 -
3466.62/3475.33 c 3475 19793260 1005099 1 - 0.0000 -
3471.60/3480.38 c 3480 19821320 1006387 1 - 0.0000 -
3476.68/3485.43 c 3485 19850775 1007760 1 - 0.0000 -
3481.67/3490.48 c 3490 19876789 1008812 1 - 0.0000 -
3486.77/3495.53 c 3496 19903510 1010149 1 - 0.0000 -
3491.75/3500.58 c 3501 19932962 1012221 1 - 0.0000 -
3496.84/3505.63 c 3506 19976545 1013618 1 - 0.0000 -
3501.83/3510.68 c 3511 20001745 1014964 1 - 0.0000 -
3506.91/3515.73 c 3516 20029020 1016203 1 - 0.0000 -
3511.91/3520.78 c 3521 20058472 1018577 1 - 0.0000 -
3516.99/3525.83 c 3526 20089209 1020058 1 - 0.0000 -
3521.98/3530.88 c 3531 20115094 1021923 1 - 0.0000 -
3527.07/3535.93 c 3536 20136679 1022830 1 - 0.0000 -
3532.05/3540.98 c 3541 20164809 1024558 1 - 0.0000 -
3537.14/3546.03 c 3546 20184973 1025416 1 - 0.0000 -
3542.13/3551.09 c 3551 20207074 1026081 1 - 0.0000 -
3547.22/3556.14 c 3556 20232043 1027148 1 - 0.0000 -
3552.21/3561.19 c 3561 20250997 1027780 1 - 0.0000 -
3557.29/3566.24 c 3566 20269930 1028245 1 - 0.0000 -
3562.28/3571.29 c 3571 20296508 1029087 1 - 0.0000 -
3567.37/3576.34 c 3576 20324193 1029544 1 - 0.0000 -
3572.36/3581.39 c 3581 20349031 1030598 1 - 0.0000 -
3577.44/3586.44 c 3586 20376006 1032099 1 - 0.0000 -
3582.43/3591.49 c 3591 20405843 1033352 1 - 0.0000 -
3587.52/3596.54 c 3597 20426882 1034493 1 - 0.0000 -
3592.70/3601.77 c SCIP Status : c solving was interrupted [hard time limit reached]
3592.70/3601.77 c Total Time : 3601.7700
3592.70/3601.77 c solving : 3601.7700
3592.70/3601.77 c presolving : 0.0017 (included in solving)
3592.70/3601.77 c B&B Tree :
3592.70/3601.77 c nodes (total) : 1
3592.70/3601.77 c Solution :
3592.70/3601.77 c Solutions found : 0
3592.70/3601.77 c Primal Bound : -
3592.70/3601.77 c Dual Bound : +0.00000000000000e+00
3592.70/3601.77 c Gap : -
3592.70/3601.78 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 (61674 MiB free)
memory of node 1: 64510 MiB (61732 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445030-1721318237/watcher-4445030-1721318237 -o /tmp/evaluation-result-4445030-1721318237/solver-4445030-1721318237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968465 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445030-1721318237.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
Current StackSize limit: 8192 KiB
solver pid=970111, runsolver pid=970108
[startup+0.100089 s]*
/proc/loadavg: 3.94 2.83 2.32 5/267 970114
/proc/meminfo: memFree=126359704/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=106576 memory=20092 CPUtime=0.1 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2459 0 0 0 10 0 0 0 20 0 3 0 183982856 109133824 5023 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 26644 5023 2926 3032 0 8419 0
[pid=970111/tid=970113] ppid=970108 vsize=106576 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 1315 0 0 0 9 0 0 0 20 0 3 0 183982856 109133824 5023 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=106576 memory=237146210664 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183982857 109133824 5023 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 106576 KiB
Current children cumulated memory: 20092 KiB
[startup+0.205668 s]*
/proc/loadavg: 3.94 2.83 2.32 5/267 970114
/proc/meminfo: memFree=126359496/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=106576 memory=20356 CPUtime=0.2 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2474 0 0 0 20 0 0 0 20 0 3 0 183982856 109133824 5089 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 26644 5089 2926 3032 0 8528 0
[pid=970111/tid=970113] ppid=970108 vsize=106576 memory=4782652875487838339 CPUtime=0.2 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 1330 0 0 0 20 0 0 0 20 0 3 0 183982856 109133824 5089 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=106576 memory=1285800 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183982857 109133824 5089 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106576 KiB
Current children cumulated memory: 20356 KiB
[startup+0.305704 s]*
/proc/loadavg: 3.94 2.83 2.32 5/267 970114
/proc/meminfo: memFree=126359356/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=106576 memory=20356 CPUtime=0.3 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2519 0 0 0 30 0 0 0 20 0 3 0 183982856 109133824 5089 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 26644 5089 2926 3032 0 8530 0
[pid=970111/tid=970113] ppid=970108 vsize=106576 memory=-6731030309139299172 CPUtime=0.3 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 1375 0 0 0 30 0 0 0 20 0 3 0 183982856 109133824 5089 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=106576 memory=0 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183982857 109133824 5089 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106576 KiB
Current children cumulated memory: 20356 KiB
[startup+0.700239 s]
/proc/loadavg: 3.94 2.83 2.32 5/267 970114
/proc/meminfo: memFree=126358208/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=106576 memory=21676 CPUtime=0.69 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2820 0 0 0 69 0 0 0 20 0 3 0 183982856 109133824 5419 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 26644 5419 2926 3032 0 8794 0
[pid=970111/tid=970113] ppid=970108 vsize=106576 memory=0 CPUtime=0.68 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 1676 0 0 0 68 0 0 0 20 0 3 0 183982856 109133824 5419 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=106576 memory=0 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183982857 109133824 5419 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106576 KiB
Current children cumulated memory: 21676 KiB
[startup+1.50022 s]
/proc/loadavg: 3.94 2.83 2.32 5/267 970114
/proc/meminfo: memFree=126357844/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=106576 memory=23128 CPUtime=1.48 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 4622 0 0 0 148 0 0 0 20 0 3 0 183982856 109133824 5782 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 26644 5782 2926 3032 0 9189 0
[pid=970111/tid=970113] ppid=970108 vsize=106576 memory=0 CPUtime=1.48 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 3467 0 0 0 148 0 0 0 20 0 3 0 183982856 109133824 5782 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=106576 memory=0 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183982857 109133824 5782 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106576 KiB
Current children cumulated memory: 23128 KiB
[startup+3.10532 s]
/proc/loadavg: 3.94 2.83 2.32 5/267 970114
/proc/meminfo: memFree=126356040/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=106576 memory=23388 CPUtime=3.09 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 5219 0 0 0 308 1 0 0 20 0 3 0 183982856 109133824 5847 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 26644 5847 2926 3032 0 9320 0
[pid=970111/tid=970113] ppid=970108 vsize=106576 memory=2273 CPUtime=3.08 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 4061 0 0 0 307 1 0 0 20 0 3 0 183982856 109133824 5847 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=106576 memory=0 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 183982857 109133824 5847 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106576 KiB
Current children cumulated memory: 23388 KiB
[startup+6.30021 s]
/proc/loadavg: 3.95 2.85 2.33 5/267 970116
/proc/meminfo: memFree=126354328/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=106576 memory=25692 CPUtime=6.28 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 7282 0 0 0 626 2 0 0 20 0 3 0 183982856 109133824 6423 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 26644 6423 2990 3032 0 9531 0
[pid=970111/tid=970113] ppid=970108 vsize=106576 memory=-6731030309139299172 CPUtime=6.27 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 6102 0 0 0 625 2 0 0 20 0 3 0 183982856 109133824 6423 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=106576 memory=25296 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 183982857 109133824 6423 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 106576 KiB
Current children cumulated memory: 25692 KiB
[startup+12.7002 s]
/proc/loadavg: 3.95 2.87 2.34 5/267 970116
/proc/meminfo: memFree=126346724/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=106576 memory=30048 CPUtime=12.66 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 13148 0 0 0 1261 5 0 0 20 0 3 0 183982856 109133824 7512 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 26644 7512 2990 3032 0 10597 0
[pid=970111/tid=970113] ppid=970108 vsize=106576 memory=23388 CPUtime=12.65 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 11937 0 0 0 1260 5 0 0 20 0 3 0 183982856 109133824 7512 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=106576 memory=0 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 183982857 109133824 7512 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 106576 KiB
Current children cumulated memory: 30048 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 2.94 2.37 4/263 970167
/proc/meminfo: memFree=126590052/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=107156 memory=34848 CPUtime=25.41 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 21551 0 0 0 2532 9 0 0 20 0 3 0 183982856 109727744 8712 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 26789 8712 2990 3032 0 11976 0
[pid=970111/tid=970113] ppid=970108 vsize=107156 memory=34612 CPUtime=25.41 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 20292 0 0 0 2532 9 0 0 20 0 3 0 183982856 109727744 8712 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=107156 memory=32932 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 183982857 109727744 8712 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 107156 KiB
Current children cumulated memory: 34848 KiB
[startup+51.1053 s]
/proc/loadavg: 4.02 3.03 2.42 5/267 970218
/proc/meminfo: memFree=126518600/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=109476 memory=47400 CPUtime=50.94 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 38196 0 0 0 5073 21 0 0 20 0 3 0 183982856 112103424 11850 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 27369 11850 2990 3032 0 14939 0
[pid=970111/tid=970113] ppid=970108 vsize=109476 memory=44988 CPUtime=50.93 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 36874 0 0 0 5073 20 0 0 20 0 3 0 183982856 112103424 11850 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=109476 memory=8514701219781572766 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 183982857 112103424 11850 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 109476 KiB
Current children cumulated memory: 47400 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 3.20 2.51 5/268 970399
/proc/meminfo: memFree=126430652/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=117092 memory=71136 CPUtime=101.97 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 66621 0 0 0 10148 49 0 0 20 0 3 0 183982856 119902208 17784 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 29273 17784 2990 3032 0 21146 0
[pid=970111/tid=970113] ppid=970108 vsize=117092 memory=40080 CPUtime=101.95 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 65226 0 0 0 10147 48 0 0 20 0 3 0 183982856 119902208 17784 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=117092 memory=68304 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 183982857 119902208 17784 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 117092 KiB
Current children cumulated memory: 71136 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.36 2.61 5/268 970456
/proc/meminfo: memFree=126424132/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=126224 memory=98548 CPUtime=161.8 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 83807 0 0 0 16104 76 0 0 20 0 3 0 183982856 129253376 24637 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 31556 24637 2990 3032 0 27356 0
[pid=970111/tid=970113] ppid=970108 vsize=126224 memory=40080 CPUtime=161.79 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 82368 0 0 0 16103 76 0 0 20 0 3 0 183982856 129253376 24637 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=126224 memory=97128 CPUtime=0 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 183982857 129253376 24637 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 126224 KiB
################
# More data... #
################
/proc/970111/statm: 280057 255181 2990 3032 0 262391 0
[pid=970111/tid=970113] ppid=970108 vsize=1120228 memory=984616 CPUtime=3453.44 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 1958316 0 0 0 343586 1758 0 0 20 0 3 0 183982856 1147113472 255181 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=1120228 memory=7676 CPUtime=0.01 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 132 0 0 0 0 1 0 0 20 0 3 0 183982857 1147113472 255181 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3453.65 s
Current children cumulated vsize: 1120228 KiB
Current children cumulated memory: 1020724 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/265 972098
/proc/meminfo: memFree=122485448/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=1128560 memory=1035468 CPUtime=3513.5 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2020604 0 0 0 349555 1795 0 0 20 0 3 0 183982856 1155645440 258867 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 282140 258867 2990 3032 0 266395 0
[pid=970111/tid=970113] ppid=970108 vsize=1128560 memory=7676 CPUtime=3513.29 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 2017881 0 0 0 349538 1791 0 0 20 0 3 0 183982856 1155645440 258867 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=1128560 memory=7676 CPUtime=0.01 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 134 0 0 0 0 1 0 0 20 0 3 0 183982857 1155645440 258867 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 1128560 KiB
Current children cumulated memory: 1035468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.19 4.11 5/265 972109
/proc/meminfo: memFree=122451068/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=1134748 memory=1046028 CPUtime=3573.35 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2068212 0 0 0 355511 1824 0 0 20 0 3 0 183982856 1161981952 261507 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 283687 261507 2990 3032 0 269335 0
[pid=970111/tid=970113] ppid=970108 vsize=1134748 memory=7676 CPUtime=3573.14 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 2065464 0 0 0 355494 1820 0 0 20 0 3 0 183982856 1161981952 261507 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=1134748 memory=7676 CPUtime=0.01 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 136 0 0 0 0 1 0 0 20 0 3 0 183982857 1161981952 261507 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 1134748 KiB
Current children cumulated memory: 1046028 KiB
[startup+3601.79 s]
# the end of solver process 970111 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.37 s, system=18.433 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.24 4.19 4.11 5/265 972109
/proc/meminfo: memFree=122448100/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=1134748 memory=1046160 CPUtime=3575.06 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2071272 0 0 0 355680 1826 0 0 20 0 3 0 183982856 1161981952 261540 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 283687 261540 2990 3032 0 269367 0
[pid=970111/tid=970113] ppid=970108 vsize=1134748 memory=6720667644778791273 CPUtime=3574.85 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 2068524 0 0 0 355663 1822 0 0 20 0 3 0 183982856 1161981952 261540 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=1134748 memory=1046148 CPUtime=0.01 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 136 0 0 0 0 1 0 0 20 0 3 0 183982857 1161981952 261540 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3575.06 s
Current children cumulated vsize: 1134748 KiB
Current children cumulated memory: 1046160 KiB
[startup+3590.4 s]
/proc/loadavg: 4.22 4.19 4.11 5/265 972111
/proc/meminfo: memFree=122443216/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=1136352 memory=1048620 CPUtime=3581.43 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2080243 0 0 0 356314 1829 0 0 20 0 3 0 183982856 1163624448 262155 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 284088 262155 2990 3032 0 270219 0
[pid=970111/tid=970113] ppid=970108 vsize=1136352 memory=7676 CPUtime=3581.22 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 2077495 0 0 0 356297 1825 0 0 20 0 3 0 183982856 1163624448 262155 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=1136352 memory=1046156 CPUtime=0.01 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 136 0 0 0 0 1 0 0 20 0 3 0 183982857 1163624448 262155 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3581.43 s
Current children cumulated vsize: 1136352 KiB
Current children cumulated memory: 1048620 KiB
[startup+3596.8 s]
/proc/loadavg: 4.34 4.22 4.12 5/265 972113
/proc/meminfo: memFree=122438240/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=1136932 memory=1049744 CPUtime=3587.82 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2085882 0 0 0 356949 1833 0 0 20 0 3 0 183982856 1164218368 262436 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 284233 262436 2990 3032 0 270364 0
[pid=970111/tid=970113] ppid=970108 vsize=1136932 memory=-4421386509032450400 CPUtime=3587.61 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 2083134 0 0 0 356932 1829 0 0 20 0 3 0 183982856 1164218368 262436 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=1136932 memory=1049252 CPUtime=0.01 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 136 0 0 0 0 1 0 0 20 0 3 0 183982857 1164218368 262436 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 1136932 KiB
Current children cumulated memory: 1049744 KiB
[startup+3600 s]*
/proc/loadavg: 4.34 4.22 4.12 5/265 972113
/proc/meminfo: memFree=122434680/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=1136932 memory=1050260 CPUtime=3591.01 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2087315 0 0 0 357267 1834 0 0 20 0 3 0 183982856 1164218368 262565 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 284233 262565 2990 3032 0 270377 0
[pid=970111/tid=970113] ppid=970108 vsize=1136932 memory=11536 CPUtime=3590.81 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 2084589 0 0 0 357251 1830 0 0 20 0 3 0 183982856 1164218368 262565 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=1136932 memory=-4421386509032450400 CPUtime=0.01 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 136 0 0 0 0 1 0 0 20 0 3 0 183982857 1164218368 262565 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3591.01 s
Current children cumulated vsize: 1136932 KiB
Current children cumulated memory: 1050260 KiB
[startup+3600.8 s]
/proc/loadavg: 4.34 4.22 4.12 5/265 972113
/proc/meminfo: memFree=122434680/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=1027900 memory=939948 CPUtime=3591.81 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2161376 0 0 0 357341 1840 0 0 20 0 3 0 183982856 1052569600 234987 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 256975 234987 2990 3032 0 243119 0
[pid=970111/tid=970113] ppid=970108 vsize=1027900 memory=356 CPUtime=3591.6 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 2158622 0 0 0 357324 1836 0 0 20 0 3 0 183982856 1052569600 234987 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=1027900 memory=15484 CPUtime=0.01 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 136 0 0 0 0 1 0 0 20 0 3 0 183982857 1052569600 234987 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3591.81 s
Current children cumulated vsize: 1027900 KiB
Current children cumulated memory: 939948 KiB
[startup+3601.2 s]
/proc/loadavg: 4.32 4.21 4.12 5/265 972114
/proc/meminfo: memFree=122581272/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=935536 memory=847584 CPUtime=3592.2 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2164574 0 0 0 357380 1840 0 0 20 0 3 0 183982856 957988864 211896 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 233884 211896 2990 3032 0 220028 0
[pid=970111/tid=970113] ppid=970108 vsize=935536 memory=2680 CPUtime=3592 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 2161818 0 0 0 357364 1836 0 0 20 0 3 0 183982856 957988864 211896 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=935536 memory=2144 CPUtime=0.01 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 136 0 0 0 0 1 0 0 20 0 3 0 183982857 957988864 211896 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3592.2 s
Current children cumulated vsize: 935536 KiB
Current children cumulated memory: 847584 KiB
[startup+3601.6 s]
/proc/loadavg: 4.32 4.21 4.12 5/265 972114
/proc/meminfo: memFree=122581272/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=844224 memory=756276 CPUtime=3592.61 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2166168 0 0 0 357420 1841 0 0 20 0 3 0 183982856 864485376 189069 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 211056 189069 2990 3032 0 197200 0
[pid=970111/tid=970113] ppid=970108 vsize=844224 memory=1049876 CPUtime=3592.4 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 2163412 0 0 0 357403 1837 0 0 20 0 3 0 183982856 864485376 189069 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=844224 memory=27460 CPUtime=0.01 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 136 0 0 0 0 1 0 0 20 0 3 0 183982857 864485376 189069 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3592.61 s
Current children cumulated vsize: 844224 KiB
Current children cumulated memory: 756276 KiB
[startup+3601.7 s]
/proc/loadavg: 4.32 4.21 4.12 5/265 972114
/proc/meminfo: memFree=122581272/131524600 swapFree=130798872/131071996
[pid=970111] ppid=970108 vsize=810060 memory=722124 CPUtime=3592.7 cores=4,6
/proc/970111/stat : 970111 (fscip) S 970108 970111 968454 0 -1 1077936128 2166846 0 0 0 357429 1841 0 0 20 0 3 0 183982856 829501440 180531 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
/proc/970111/statm: 202515 180531 2990 3032 0 188659 0
[pid=970111/tid=970113] ppid=970108 vsize=810060 memory=1200 CPUtime=3592.5 cores=4,6
/proc/970111/task/970113/stat : 970113 (fscip) R 970108 970111 968454 0 -1 4194368 2164090 0 0 0 357413 1837 0 0 20 0 3 0 183982856 829501440 180531 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
[pid=970111/tid=970114] ppid=970108 vsize=810060 memory=1048760 CPUtime=0.01 cores=4,6
/proc/970111/task/970114/stat : 970114 (fscip) S 970108 970111 968454 0 -1 1077936192 136 0 0 0 0 1 0 0 20 0 3 0 183982857 829501440 180531 134679101440 4194304 16613245 140720793773296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49123328 140720793781268 140720793781384 140720793781384 140720793788400 0
Current children cumulated CPU time: 3592.7 s
Current children cumulated vsize: 810060 KiB
Current children cumulated memory: 722124 KiB
Child status: 0
Real time (s): 3601.79
CPU time (s): 3592.81
CPU user time (s): 3574.37
CPU system time (s): 18.433
CPU usage (%): 99.7506
Max. virtual memory (cumulated for all children) (KiB): 1136932
Max. memory (cumulated for all children) (KiB): 1050260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.37
system time used= 18.433
maximum resident set size= 1050260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2167097
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= 10895
involuntary context switches= 4717
# summary of solver processes directly reported to runsolver:
# pid: 970111
# total CPU time (s): 3592.81
# total CPU user time (s): 3574.37
# total CPU system time (s): 18.433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8053 second user time and 15.1713 second system time
The end
Begin job on nodeC014 at 2024-07-18 17:57:29
IDJOB=4445030
IDBENCH=148097
IDSOLVER=3064
FILE ID=nodeC014/4445030-1721318237
RUNJOBID= nodeC014-1721318012-968465
SLURM_JOB_ID= 7542671
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4445030-1721318237/watcher-4445030-1721318237 -o /tmp/evaluation-result-4445030-1721318237/solver-4445030-1721318237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968465 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445030-1721318237.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ff70f65d4e56aadb7819a27e192bee4f
RANDOM SEED=1503802232
nodeC014.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.854
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.32
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 : 3688.361
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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.062
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.32
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.219
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 : 7005.96
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 : 3670.942
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.32
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 : 3688.384
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 : 7005.96
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 : 3664.171
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.32
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.848
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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126369440 kB
MemAvailable: 129636036 kB
Buffers: 443380 kB
Cached: 3626924 kB
SwapCached: 12904 kB
Active: 1372500 kB
Inactive: 3196592 kB
Active(anon): 9308 kB
Inactive(anon): 509916 kB
Active(file): 1363192 kB
Inactive(file): 2686676 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130798872 kB
Dirty: 28880 kB
Writeback: 4 kB
AnonPages: 489892 kB
Mapped: 85208 kB
Shmem: 20452 kB
KReclaimable: 112752 kB
Slab: 210856 kB
SReclaimable: 112752 kB
SUnreclaim: 98104 kB
KernelStack: 4176 kB
PageTables: 10612 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 950508 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 35168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 65536 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: 232148 kB
DirectMap2M: 25755648 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC014 at 2024-07-18 18:57:31