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 = 25866240, getVmSize() = 25866240, SCIPgetMemUsed() = 2740915, SCIPgetMemTotal() = 4280131, SCIPgetMemExternEstim() = 1309272
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 19469653, getVmSize() = 32542720, SCIPgetMemUsed() = 6422207, SCIPgetMemTotal() = 9895207, SCIPgetMemExternEstim() = 1309272
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4448300-1721364834
0.00/0.01 c Variables : 601 (601 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 800
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 600 (600 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 300
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 300
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.07/5.18 c 5 3961 3103 1 - 0.0000 -
10.15/10.25 c 10 10020 7670 1 - 0.0000 -
15.24/15.30 c 15 19587 15543 1 - 0.0000 -
20.22/20.34 c 20 30429 23879 1 - 0.0000 -
25.20/25.39 c 25 41289 32054 1 - 0.0000 -
30.28/30.44 c 30 51902 40917 1 - 0.0000 -
35.27/35.48 c 35 64235 49624 1 - 0.0000 -
40.35/40.53 c 41 75380 57491 1 - 0.0000 -
45.34/45.58 c 46 86535 64732 1 - 0.0000 -
50.42/50.63 c 51 99481 71514 1 - 0.0000 -
55.40/55.68 c 56 112988 78700 1 - 0.0000 -
60.47/60.73 c 61 124137 84463 1 - 0.0000 -
65.46/65.78 c 66 136324 88324 1 - 0.0000 -
70.55/70.83 c 71 149956 93670 1 - 0.0000 -
75.52/75.88 c 76 163693 99971 1 - 0.0000 -
80.60/80.93 c 81 176692 106267 1 - 0.0000 -
85.58/85.98 c 86 189636 112107 1 - 0.0000 -
90.66/91.03 c 91 201904 118271 1 - 0.0000 -
95.65/96.08 c 96 214195 123148 1 - 0.0000 -
100.72/101.13 c 101 227640 129389 1 - 0.0000 -
105.71/106.18 c 106 241652 136854 1 - 0.0000 -
110.78/111.23 c 111 254528 144224 1 - 0.0000 -
115.76/116.28 c 116 267067 150409 1 - 0.0000 -
120.85/121.33 c 121 280336 157448 1 - 0.0000 -
125.83/126.38 c 126 292013 162361 1 - 0.0000 -
130.91/131.42 c 131 304780 169971 1 - 0.0000 -
135.89/136.47 c 136 317619 177511 1 - 0.0000 -
140.98/141.52 c 142 330538 183283 1 - 0.0000 -
145.96/146.57 c 147 343160 188594 1 - 0.0000 -
151.05/151.62 c 152 355951 195359 1 - 0.0000 -
156.03/156.67 c 157 368544 202266 1 - 0.0000 -
161.12/161.72 c 162 379220 207052 1 - 0.0000 -
166.10/166.77 c 167 390740 213127 1 - 0.0000 -
171.18/171.82 c 172 403050 219526 1 - 0.0000 -
176.16/176.87 c 177 416177 224137 1 - 0.0000 -
181.25/181.92 c 182 432169 227349 1 - 0.0000 -
186.24/186.97 c 187 448944 230755 1 - 0.0000 -
191.31/192.02 c 192 465767 234131 1 - 0.0000 -
196.30/197.07 c 197 482137 237411 1 - 0.0000 -
201.38/202.12 c 202 498516 240709 1 - 0.0000 -
206.37/207.17 c 207 514982 244010 1 - 0.0000 -
211.44/212.22 c 212 531532 247319 1 - 0.0000 -
216.43/217.27 c 217 546040 251544 1 - 0.0000 -
221.51/222.32 c 222 557802 253194 1 - 0.0000 -
226.49/227.37 c 227 566505 252730 1 - 0.0000 -
231.58/232.42 c 232 574891 251684 1 - 0.0000 -
236.57/237.47 c 237 583549 249690 1 - 0.0000 -
241.65/242.52 c 243 592633 249317 1 - 0.0000 -
246.64/247.57 c 248 604298 251351 1 - 0.0000 -
251.72/252.62 c 253 617112 253970 1 - 0.0000 -
256.70/257.67 c 258 629839 256431 1 - 0.0000 -
261.79/262.72 c 263 640921 257087 1 - 0.0000 -
266.76/267.77 c 268 654559 261248 1 - 0.0000 -
271.85/272.82 c 273 669521 265070 1 - 0.0000 -
276.83/277.87 c 278 684676 268619 1 - 0.0000 -
281.92/282.92 c 283 699940 271805 1 - 0.0000 -
286.90/287.97 c 288 715146 275083 1 - 0.0000 -
291.99/293.02 c 293 730204 278221 1 - 0.0000 -
296.96/298.07 c 298 744319 281899 1 - 0.0000 -
302.06/303.12 c 303 759942 285538 1 - 0.0000 -
307.04/308.17 c 308 771921 289348 1 - 0.0000 -
312.12/313.22 c 313 785775 293389 1 - 0.0000 -
317.09/318.27 c 318 800527 297191 1 - 0.0000 -
322.18/323.32 c 323 815287 300614 1 - 0.0000 -
327.16/328.37 c 328 830169 304130 1 - 0.0000 -
332.25/333.42 c 333 844389 307425 1 - 0.0000 -
337.23/338.47 c 338 858289 310631 1 - 0.0000 -
342.31/343.52 c 344 870988 313617 1 - 0.0000 -
347.30/348.57 c 349 883898 316546 1 - 0.0000 -
352.38/353.62 c 354 897635 319675 1 - 0.0000 -
357.37/358.67 c 359 910911 322662 1 - 0.0000 -
362.44/363.72 c 364 925734 325974 1 - 0.0000 -
367.43/368.77 c 369 940468 329240 1 - 0.0000 -
372.51/373.82 c 374 955076 332550 1 - 0.0000 -
377.49/378.87 c 379 969406 335945 1 - 0.0000 -
382.57/383.92 c 384 983910 339319 1 - 0.0000 -
387.55/388.97 c 389 998339 342664 1 - 0.0000 -
392.64/394.02 c 394 1012790 346117 1 - 0.0000 -
397.61/399.07 c 399 1026958 349707 1 - 0.0000 -
402.70/404.12 c 404 1040130 353625 1 - 0.0000 -
407.68/409.17 c 409 1051973 357235 1 - 0.0000 -
412.76/414.22 c 414 1064078 361414 1 - 0.0000 -
417.74/419.27 c 419 1077895 365689 1 - 0.0000 -
422.83/424.32 c 424 1091128 369229 1 - 0.0000 -
427.81/429.37 c 429 1103452 372938 1 - 0.0000 -
432.90/434.42 c 434 1116408 376899 1 - 0.0000 -
437.88/439.47 c 439 1128827 380617 1 - 0.0000 -
442.96/444.52 c 445 1142230 383987 1 - 0.0000 -
447.95/449.57 c 450 1156279 386799 1 - 0.0000 -
453.03/454.62 c 455 1169657 389890 1 - 0.0000 -
458.02/459.67 c 460 1182196 393188 1 - 0.0000 -
463.10/464.72 c 465 1194827 396485 1 - 0.0000 -
468.08/469.77 c 470 1206802 403503 1 - 0.0000 -
473.16/474.82 c 475 1218249 411610 1 - 0.0000 -
478.14/479.87 c 480 1229734 418428 1 - 0.0000 -
483.23/484.92 c 485 1240015 423179 1 - 0.0000 -
488.22/489.97 c 490 1248903 426895 1 - 0.0000 -
493.31/495.02 c 495 1258353 431426 1 - 0.0000 -
498.28/500.07 c 500 1269876 437687 1 - 0.0000 -
503.37/505.12 c 505 1280365 443529 1 - 0.0000 -
508.35/510.17 c 510 1290574 448342 1 - 0.0000 -
513.43/515.22 c 515 1299997 453678 1 - 0.0000 -
518.42/520.27 c 520 1309165 459163 1 - 0.0000 -
523.50/525.32 c 525 1318867 464473 1 - 0.0000 -
528.48/530.37 c 530 1328039 469054 1 - 0.0000 -
533.57/535.42 c 535 1337261 474068 1 - 0.0000 -
538.55/540.47 c 540 1345723 478924 1 - 0.0000 -
543.63/545.52 c 546 1354523 483300 1 - 0.0000 -
548.61/550.57 c 551 1362651 487639 1 - 0.0000 -
553.70/555.62 c 556 1370341 491534 1 - 0.0000 -
558.69/560.67 c 561 1378132 495782 1 - 0.0000 -
563.77/565.72 c 566 1386193 499279 1 - 0.0000 -
568.75/570.77 c 571 1392709 500968 1 - 0.0000 -
573.83/575.82 c 576 1397521 501376 1 - 0.0000 -
578.82/580.87 c 581 1402975 502649 1 - 0.0000 -
583.90/585.92 c 586 1411178 506965 1 - 0.0000 -
588.89/590.97 c 591 1419845 510977 1 - 0.0000 -
593.97/596.02 c 596 1428508 513404 1 - 0.0000 -
598.95/601.07 c 601 1437740 516316 1 - 0.0000 -
604.03/606.12 c 606 1448050 519993 1 - 0.0000 -
609.02/611.17 c 611 1456885 522874 1 - 0.0000 -
614.09/616.22 c 616 1467673 525892 1 - 0.0000 -
619.07/621.27 c 621 1478481 528946 1 - 0.0000 -
624.16/626.32 c 626 1489063 532151 1 - 0.0000 -
629.14/631.37 c 631 1499225 535222 1 - 0.0000 -
634.23/636.42 c 636 1509351 539897 1 - 0.0000 -
639.21/641.47 c 641 1518485 546502 1 - 0.0000 -
644.28/646.52 c 647 1526409 552556 1 - 0.0000 -
649.26/651.57 c 652 1534035 558309 1 - 0.0000 -
654.35/656.62 c 657 1541931 561608 1 - 0.0000 -
659.32/661.67 c 662 1550807 565887 1 - 0.0000 -
664.41/666.72 c 667 1557814 569257 1 - 0.0000 -
669.38/671.77 c 672 1564167 572273 1 - 0.0000 -
674.46/676.84 c 677 1567927 573138 1 - 0.0000 -
679.44/681.89 c 682 1577301 576392 1 - 0.0000 -
684.53/686.94 c 687 1587393 580688 1 - 0.0000 -
689.50/691.99 c 692 1596617 585618 1 - 0.0000 -
694.59/697.04 c 697 1604416 589457 1 - 0.0000 -
699.57/702.09 c 702 1611477 591565 1 - 0.0000 -
704.65/707.14 c 707 1620781 595116 1 - 0.0000 -
709.64/712.19 c 712 1629205 598627 1 - 0.0000 -
714.72/717.24 c 717 1637977 603753 1 - 0.0000 -
719.70/722.29 c 722 1646597 608354 1 - 0.0000 -
724.78/727.34 c 727 1655534 613028 1 - 0.0000 -
729.77/732.39 c 732 1663530 616805 1 - 0.0000 -
734.85/737.44 c 737 1670174 619539 1 - 0.0000 -
739.83/742.49 c 742 1676594 622552 1 - 0.0000 -
744.92/747.54 c 748 1682500 624154 1 - 0.0000 -
749.90/752.59 c 753 1693652 627947 1 - 0.0000 -
754.99/757.64 c 758 1702452 632308 1 - 0.0000 -
759.97/762.69 c 763 1709943 636729 1 - 0.0000 -
765.05/767.74 c 768 1718197 641191 1 - 0.0000 -
770.04/772.79 c 773 1725722 644707 1 - 0.0000 -
775.12/777.84 c 778 1733733 648753 1 - 0.0000 -
780.10/782.89 c 783 1740314 652848 1 - 0.0000 -
785.18/787.94 c 788 1746474 656152 1 - 0.0000 -
790.16/792.99 c 793 1752664 659179 1 - 0.0000 -
795.25/798.04 c 798 1758953 662637 1 - 0.0000 -
800.24/803.09 c 803 1766038 666907 1 - 0.0000 -
805.32/808.14 c 808 1773036 671295 1 - 0.0000 -
810.30/813.19 c 813 1779051 674448 1 - 0.0000 -
815.39/818.24 c 818 1784856 677349 1 - 0.0000 -
820.37/823.29 c 823 1790891 680177 1 - 0.0000 -
825.45/828.34 c 828 1796315 682698 1 - 0.0000 -
830.43/833.39 c 833 1801945 685072 1 - 0.0000 -
835.52/838.45 c 838 1808111 687577 1 - 0.0000 -
840.60/843.50 c 844 1813153 689958 1 - 0.0000 -
845.58/848.55 c 849 1817908 692303 1 - 0.0000 -
850.67/853.60 c 854 1823106 694988 1 - 0.0000 -
855.65/858.65 c 859 1828115 697395 1 - 0.0000 -
860.74/863.71 c 864 1832805 699731 1 - 0.0000 -
865.92/868.91 c 869 1835818 700528 1 - 0.0000 -
870.90/873.96 c 874 1839372 701164 1 - 0.0000 -
876.00/879.01 c 879 1842594 701775 1 - 0.0000 -
880.98/884.07 c 884 1846982 703255 1 - 0.0000 -
886.06/889.12 c 889 1855752 706326 1 - 0.0000 -
891.05/894.17 c 894 1863006 709495 1 - 0.0000 -
896.13/899.22 c 899 1871426 713526 1 - 0.0000 -
901.11/904.28 c 904 1877546 715917 1 - 0.0000 -
906.19/909.33 c 909 1883829 718238 1 - 0.0000 -
911.18/914.38 c 914 1890453 720734 1 - 0.0000 -
916.26/919.43 c 919 1897198 723513 1 - 0.0000 -
921.34/924.50 c 924 1902143 725395 1 - 0.0000 -
926.33/929.55 c 930 1907871 728749 1 - 0.0000 -
931.42/934.60 c 935 1912803 730443 1 - 0.0000 -
936.40/939.65 c 940 1919733 733263 1 - 0.0000 -
941.48/944.70 c 945 1927665 736175 1 - 0.0000 -
946.46/949.75 c 950 1936822 740004 1 - 0.0000 -
951.55/954.80 c 955 1944211 744483 1 - 0.0000 -
956.53/959.85 c 960 1953108 747519 1 - 0.0000 -
961.61/964.90 c 965 1964028 752018 1 - 0.0000 -
966.60/969.95 c 970 1974241 756095 1 - 0.0000 -
971.68/975.00 c 975 1980840 756805 1 - 0.0000 -
976.67/980.05 c 980 1986911 760488 1 - 0.0000 -
981.65/985.10 c 985 1995126 763708 1 - 0.0000 -
986.73/990.15 c 990 2005150 767769 1 - 0.0000 -
991.81/995.20 c 995 2015320 772843 1 - 0.0000 -
996.80/1000.25 c 1000 2024325 777215 1 - 0.0000 -
1001.87/1005.30 c 1005 2032536 781192 1 - 0.0000 -
1006.86/1010.35 c 1010 2037291 781489 1 - 0.0000 -
1011.94/1015.40 c 1015 2040133 780936 1 - 0.0000 -
1016.92/1020.45 c 1020 2049024 785989 1 - 0.0000 -
1022.00/1025.50 c 1026 2055941 789057 1 - 0.0000 -
1026.99/1030.55 c 1031 2066973 793865 1 - 0.0000 -
1032.07/1035.60 c 1036 2077303 797059 1 - 0.0000 -
1037.05/1040.66 c 1041 2084612 801176 1 - 0.0000 -
1042.12/1045.71 c 1046 2093256 804667 1 - 0.0000 -
1047.11/1050.76 c 1051 2102094 806893 1 - 0.0000 -
1052.19/1055.81 c 1056 2107934 807116 1 - 0.0000 -
1057.17/1060.86 c 1061 2112476 806362 1 - 0.0000 -
1062.26/1065.91 c 1066 2116229 805126 1 - 0.0000 -
1067.25/1070.96 c 1071 2120299 804809 1 - 0.0000 -
1072.33/1076.01 c 1076 2123707 804404 1 - 0.0000 -
1077.41/1081.19 c 1081 2126813 803885 1 - 0.0000 -
1082.48/1086.26 c 1086 2130699 803766 1 - 0.0000 -
1087.57/1091.31 c 1091 2134278 803460 1 - 0.0000 -
1092.55/1096.36 c 1096 2138217 803311 1 - 0.0000 -
1097.64/1101.42 c 1101 2141804 803155 1 - 0.0000 -
1102.62/1106.47 c 1106 2149709 804866 1 - 0.0000 -
1107.70/1111.52 c 1112 2159192 807077 1 - 0.0000 -
1112.68/1116.57 c 1117 2169177 809520 1 - 0.0000 -
1117.77/1121.62 c 1122 2178346 811903 1 - 0.0000 -
1122.75/1126.67 c 1127 2187047 814108 1 - 0.0000 -
1127.83/1131.73 c 1132 2196186 816583 1 - 0.0000 -
1132.82/1136.77 c 1137 2204707 819146 1 - 0.0000 -
1137.90/1141.82 c 1142 2213089 821671 1 - 0.0000 -
1142.88/1146.87 c 1147 2221226 824166 1 - 0.0000 -
1147.96/1151.92 c 1152 2229768 826797 1 - 0.0000 -
1152.94/1156.97 c 1157 2238425 829542 1 - 0.0000 -
1158.03/1162.02 c 1162 2246897 832173 1 - 0.0000 -
1163.01/1167.07 c 1167 2255824 835075 1 - 0.0000 -
1168.09/1172.12 c 1172 2264623 837918 1 - 0.0000 -
1173.08/1177.17 c 1177 2273100 840621 1 - 0.0000 -
1178.15/1182.22 c 1182 2281360 843202 1 - 0.0000 -
1183.14/1187.27 c 1187 2290004 845860 1 - 0.0000 -
1188.22/1192.32 c 1192 2298510 848550 1 - 0.0000 -
1193.20/1197.37 c 1197 2306936 851333 1 - 0.0000 -
1198.29/1202.42 c 1202 2315512 854135 1 - 0.0000 -
1203.27/1207.47 c 1207 2320509 854057 1 - 0.0000 -
1208.35/1212.52 c 1213 2325518 853925 1 - 0.0000 -
1213.33/1217.57 c 1218 2333239 855418 1 - 0.0000 -
1218.42/1222.62 c 1223 2342980 858648 1 - 0.0000 -
1223.40/1227.68 c 1228 2350922 863067 1 - 0.0000 -
1228.48/1232.73 c 1233 2357158 867966 1 - 0.0000 -
1233.47/1237.78 c 1238 2364160 872450 1 - 0.0000 -
1238.55/1242.83 c 1243 2370701 877003 1 - 0.0000 -
1243.53/1247.88 c 1248 2377599 881688 1 - 0.0000 -
1248.61/1252.93 c 1253 2384520 886430 1 - 0.0000 -
1253.59/1257.98 c 1258 2390745 889935 1 - 0.0000 -
1258.68/1263.03 c 1263 2396760 892243 1 - 0.0000 -
1263.66/1268.09 c 1268 2403495 895865 1 - 0.0000 -
1268.74/1273.15 c 1273 2412392 900508 1 - 0.0000 -
1273.82/1278.20 c 1278 2421102 904772 1 - 0.0000 -
1278.81/1283.25 c 1283 2429927 909161 1 - 0.0000 -
1283.88/1288.30 c 1288 2439160 914106 1 - 0.0000 -
1288.87/1293.35 c 1293 2447034 917572 1 - 0.0000 -
1293.95/1298.40 c 1298 2454471 921701 1 - 0.0000 -
1298.93/1303.45 c 1303 2462424 924329 1 - 0.0000 -
1304.01/1308.50 c 1308 2470188 926866 1 - 0.0000 -
1309.00/1313.55 c 1314 2478987 931200 1 - 0.0000 -
1314.07/1318.60 c 1319 2487966 935711 1 - 0.0000 -
1319.06/1323.65 c 1324 2496171 939364 1 - 0.0000 -
1324.14/1328.70 c 1329 2504512 942424 1 - 0.0000 -
1329.12/1333.75 c 1334 2512680 945019 1 - 0.0000 -
1334.20/1338.80 c 1339 2519707 947523 1 - 0.0000 -
1339.18/1343.85 c 1344 2526301 949587 1 - 0.0000 -
1344.27/1348.90 c 1349 2532717 951580 1 - 0.0000 -
1349.25/1353.95 c 1354 2539831 955289 1 - 0.0000 -
1354.34/1359.00 c 1359 2547958 960773 1 - 0.0000 -
1359.32/1364.05 c 1364 2557685 966447 1 - 0.0000 -
1364.30/1369.10 c 1369 2566045 970525 1 - 0.0000 -
1369.39/1374.15 c 1374 2574304 975132 1 - 0.0000 -
1374.46/1379.20 c 1379 2583798 979001 1 - 0.0000 -
1379.45/1384.25 c 1384 2591146 983359 1 - 0.0000 -
1384.53/1389.30 c 1389 2599461 987734 1 - 0.0000 -
1389.51/1394.35 c 1394 2607181 989863 1 - 0.0000 -
1394.59/1399.40 c 1399 2615300 994066 1 - 0.0000 -
1399.58/1404.45 c 1404 2624600 999099 1 - 0.0000 -
1404.67/1409.50 c 1410 2633607 1004421 1 - 0.0000 -
1409.65/1414.55 c 1415 2642270 1008272 1 - 0.0000 -
1414.74/1419.60 c 1420 2649424 1012471 1 - 0.0000 -
1419.72/1424.65 c 1425 2658276 1017132 1 - 0.0000 -
1424.80/1429.70 c 1430 2667759 1022114 1 - 0.0000 -
1429.78/1434.75 c 1435 2675026 1024247 1 - 0.0000 -
1434.87/1439.80 c 1440 2683663 1027811 1 - 0.0000 -
1439.85/1444.85 c 1445 2692649 1031951 1 - 0.0000 -
1444.93/1449.90 c 1450 2700567 1035937 1 - 0.0000 -
1449.92/1454.95 c 1455 2708913 1039856 1 - 0.0000 -
1455.00/1460.00 c 1460 2716812 1043936 1 - 0.0000 -
1459.99/1465.05 c 1465 2724963 1048027 1 - 0.0000 -
1464.97/1470.10 c 1470 2733976 1052240 1 - 0.0000 -
1470.06/1475.15 c 1475 2742251 1054780 1 - 0.0000 -
1475.13/1480.20 c 1480 2749240 1058781 1 - 0.0000 -
1480.12/1485.25 c 1485 2756314 1062309 1 - 0.0000 -
1485.20/1490.30 c 1490 2763357 1066069 1 - 0.0000 -
1490.18/1495.35 c 1495 2769505 1069775 1 - 0.0000 -
1495.27/1500.40 c 1500 2776147 1073027 1 - 0.0000 -
1500.25/1505.45 c 1505 2783036 1077354 1 - 0.0000 -
1510.22/1515.47 c 1515 2787880 1078120 1 - 0.0000 -
1515.71/1520.98 c 1521 2789067 1077072 1 - 0.0000 -
1522.00/1527.20 c 1527 2789664 1075397 1 - 0.0000 -
1528.28/1533.56 c 1534 2789787 1072934 1 - 0.0000 -
1534.17/1539.45 c 1539 2789875 1070121 1 - 0.0000 -
1539.75/1545.09 c 1545 2792178 1069493 1 - 0.0000 -
1545.43/1550.77 c 1551 2793699 1067479 1 - 0.0000 -
1550.92/1556.21 c 1556 2794092 1062960 1 - 0.0000 -
1556.10/1561.40 c 1561 2794260 1058550 1 - 0.0000 -
1561.59/1566.97 c 1567 2797765 1057967 1 - 0.0000 -
1566.67/1572.02 c 1572 2803299 1058328 1 - 0.0000 -
1571.66/1577.07 c 1577 2809475 1056990 1 - 0.0000 -
1576.74/1582.12 c 1582 2814536 1057528 1 - 0.0000 -
1581.73/1587.17 c 1587 2820361 1058335 1 - 0.0000 -
1586.81/1592.22 c 1592 2825858 1059700 1 - 0.0000 -
1591.79/1597.27 c 1597 2831071 1060031 1 - 0.0000 -
1596.87/1602.33 c 1602 2835153 1059757 1 - 0.0000 -
1601.87/1607.38 c 1607 2839164 1059614 1 - 0.0000 -
1606.95/1612.43 c 1612 2842805 1059128 1 - 0.0000 -
1611.93/1617.48 c 1617 2846571 1058620 1 - 0.0000 -
1617.02/1622.53 c 1623 2853970 1061561 1 - 0.0000 -
1622.00/1627.58 c 1628 2860000 1064415 1 - 0.0000 -
1627.09/1632.63 c 1633 2865649 1068340 1 - 0.0000 -
1632.08/1637.68 c 1638 2872045 1072460 1 - 0.0000 -
1637.16/1642.73 c 1643 2877758 1075928 1 - 0.0000 -
1642.14/1647.78 c 1648 2884078 1080119 1 - 0.0000 -
1647.23/1652.83 c 1653 2890960 1083875 1 - 0.0000 -
1652.21/1657.88 c 1658 2898216 1087685 1 - 0.0000 -
1657.29/1662.93 c 1663 2904299 1090576 1 - 0.0000 -
1662.27/1667.98 c 1668 2910397 1093442 1 - 0.0000 -
1667.36/1673.03 c 1673 2916160 1096465 1 - 0.0000 -
1672.34/1678.08 c 1678 2921444 1099217 1 - 0.0000 -
1677.43/1683.13 c 1683 2926886 1101888 1 - 0.0000 -
1682.41/1688.18 c 1688 2932141 1104934 1 - 0.0000 -
1687.49/1693.23 c 1693 2937420 1107500 1 - 0.0000 -
1692.48/1698.28 c 1698 2942636 1110417 1 - 0.0000 -
1697.56/1703.33 c 1703 2947875 1113386 1 - 0.0000 -
1702.65/1708.49 c 1708 2950406 1113878 1 - 0.0000 -
1707.83/1713.69 c 1714 2951612 1112872 1 - 0.0000 -
1713.62/1719.43 c 1719 2952070 1110076 1 - 0.0000 -
1719.31/1725.15 c 1725 2954447 1109302 1 - 0.0000 -
1724.39/1730.20 c 1730 2959508 1111067 1 - 0.0000 -
1729.37/1735.25 c 1735 2964432 1113033 1 - 0.0000 -
1734.45/1740.30 c 1740 2969228 1114959 1 - 0.0000 -
1739.43/1745.35 c 1745 2974178 1116963 1 - 0.0000 -
1744.52/1750.40 c 1750 2978926 1118871 1 - 0.0000 -
1749.51/1755.45 c 1755 2984645 1120105 1 - 0.0000 -
1754.59/1760.50 c 1760 2990751 1121160 1 - 0.0000 -
1759.58/1765.55 c 1766 2996133 1122175 1 - 0.0000 -
1764.66/1770.60 c 1771 3001766 1123879 1 - 0.0000 -
1769.64/1775.65 c 1776 3007412 1125019 1 - 0.0000 -
1774.73/1780.70 c 1781 3012543 1126051 1 - 0.0000 -
1779.71/1785.75 c 1786 3017765 1127168 1 - 0.0000 -
1784.80/1790.80 c 1791 3023023 1128260 1 - 0.0000 -
1789.78/1795.86 c 1796 3027346 1129217 1 - 0.0000 -
1794.87/1800.91 c 1801 3030906 1130028 1 - 0.0000 -
1799.85/1805.96 c 1806 3035346 1131006 1 - 0.0000 -
1804.93/1811.01 c 1811 3040284 1132049 1 - 0.0000 -
1809.92/1816.06 c 1816 3044959 1132976 1 - 0.0000 -
1815.00/1821.11 c 1821 3049832 1133914 1 - 0.0000 -
1819.98/1826.16 c 1826 3055285 1135040 1 - 0.0000 -
1825.06/1831.21 c 1831 3060501 1135983 1 - 0.0000 -
1830.04/1836.26 c 1836 3065029 1136875 1 - 0.0000 -
1835.12/1841.31 c 1841 3069304 1137798 1 - 0.0000 -
1840.10/1846.36 c 1846 3074081 1138821 1 - 0.0000 -
1845.19/1851.41 c 1851 3078535 1139830 1 - 0.0000 -
1850.17/1856.46 c 1856 3082191 1140694 1 - 0.0000 -
1855.26/1861.51 c 1862 3085583 1141540 1 - 0.0000 -
1860.24/1866.56 c 1867 3089884 1142393 1 - 0.0000 -
1865.33/1871.61 c 1872 3094054 1143281 1 - 0.0000 -
1870.31/1876.66 c 1877 3098226 1144117 1 - 0.0000 -
1875.39/1881.71 c 1882 3102076 1144942 1 - 0.0000 -
1880.38/1886.76 c 1887 3106784 1145923 1 - 0.0000 -
1885.47/1891.81 c 1892 3110869 1146716 1 - 0.0000 -
1890.45/1896.86 c 1897 3115130 1147526 1 - 0.0000 -
1895.53/1901.91 c 1902 3118865 1148241 1 - 0.0000 -
1900.52/1906.96 c 1907 3121983 1148916 1 - 0.0000 -
1905.61/1912.01 c 1912 3125317 1149675 1 - 0.0000 -
1910.59/1917.06 c 1917 3128686 1150433 1 - 0.0000 -
1915.68/1922.11 c 1922 3132702 1151370 1 - 0.0000 -
1920.66/1927.16 c 1927 3136997 1152253 1 - 0.0000 -
1925.74/1932.21 c 1932 3141303 1153673 1 - 0.0000 -
1930.73/1937.26 c 1937 3145779 1156731 1 - 0.0000 -
1935.81/1942.31 c 1942 3150150 1158395 1 - 0.0000 -
1940.79/1947.36 c 1947 3153771 1159167 1 - 0.0000 -
1945.88/1952.42 c 1952 3157272 1161090 1 - 0.0000 -
1950.86/1957.47 c 1957 3163189 1164547 1 - 0.0000 -
1955.95/1962.53 c 1963 3169147 1167573 1 - 0.0000 -
1960.93/1967.58 c 1968 3174836 1170999 1 - 0.0000 -
1966.01/1972.63 c 1973 3181764 1174697 1 - 0.0000 -
1971.00/1977.68 c 1978 3188650 1178335 1 - 0.0000 -
1976.08/1982.73 c 1983 3195187 1181653 1 - 0.0000 -
1981.07/1987.78 c 1988 3200996 1183857 1 - 0.0000 -
1986.15/1992.83 c 1993 3207438 1185725 1 - 0.0000 -
1991.13/1997.88 c 1998 3214519 1187496 1 - 0.0000 -
1996.22/2002.93 c 2003 3221020 1189437 1 - 0.0000 -
2001.20/2007.98 c 2008 3228059 1191661 1 - 0.0000 -
2006.29/2013.03 c 2013 3235016 1193974 1 - 0.0000 -
2011.27/2018.08 c 2018 3241172 1195089 1 - 0.0000 -
2016.36/2023.13 c 2023 3247952 1195739 1 - 0.0000 -
2021.34/2028.18 c 2028 3254481 1196638 1 - 0.0000 -
2026.43/2033.23 c 2033 3260758 1196901 1 - 0.0000 -
2031.41/2038.28 c 2038 3267382 1197327 1 - 0.0000 -
2036.49/2043.33 c 2043 3277440 1201050 1 - 0.0000 -
2041.48/2048.38 c 2048 3287028 1204144 1 - 0.0000 -
2046.56/2053.43 c 2053 3296109 1207194 1 - 0.0000 -
2051.54/2058.48 c 2058 3305008 1211118 1 - 0.0000 -
2056.62/2063.53 c 2064 3314041 1215128 1 - 0.0000 -
2061.60/2068.58 c 2069 3323097 1219082 1 - 0.0000 -
2066.69/2073.63 c 2074 3333281 1222404 1 - 0.0000 -
2071.67/2078.68 c 2079 3343534 1225702 1 - 0.0000 -
2076.76/2083.73 c 2084 3353570 1228966 1 - 0.0000 -
2081.74/2088.78 c 2089 3362937 1231953 1 - 0.0000 -
2086.83/2093.83 c 2094 3372894 1234862 1 - 0.0000 -
2091.80/2098.88 c 2099 3382785 1238047 1 - 0.0000 -
2096.89/2103.93 c 2104 3393003 1241296 1 - 0.0000 -
2101.87/2108.98 c 2109 3402908 1244473 1 - 0.0000 -
2106.96/2114.03 c 2114 3412933 1247697 1 - 0.0000 -
2111.95/2119.08 c 2119 3423354 1250989 1 - 0.0000 -
2117.03/2124.13 c 2124 3428185 1251365 1 - 0.0000 -
2122.01/2129.18 c 2129 3435794 1253545 1 - 0.0000 -
2127.08/2134.23 c 2134 3444429 1256615 1 - 0.0000 -
2132.06/2139.28 c 2139 3452427 1258328 1 - 0.0000 -
2137.13/2144.33 c 2144 3460040 1261149 1 - 0.0000 -
2142.12/2149.38 c 2149 3466967 1264781 1 - 0.0000 -
2147.20/2154.43 c 2154 3475587 1267615 1 - 0.0000 -
2152.18/2159.48 c 2159 3483761 1270253 1 - 0.0000 -
2157.26/2164.53 c 2165 3491816 1273204 1 - 0.0000 -
2162.24/2169.58 c 2170 3500224 1276505 1 - 0.0000 -
2167.32/2174.63 c 2175 3508876 1280568 1 - 0.0000 -
2172.30/2179.68 c 2180 3517642 1284382 1 - 0.0000 -
2177.37/2184.74 c 2185 3522662 1285314 1 - 0.0000 -
2182.46/2189.80 c 2190 3530476 1288820 1 - 0.0000 -
2187.43/2194.85 c 2195 3538410 1292313 1 - 0.0000 -
2192.52/2199.90 c 2200 3546946 1295823 1 - 0.0000 -
2197.50/2204.95 c 2205 3554292 1299438 1 - 0.0000 -
2202.58/2210.00 c 2210 3561314 1301943 1 - 0.0000 -
2207.56/2215.05 c 2215 3569706 1305494 1 - 0.0000 -
2212.54/2220.10 c 2220 3578639 1309443 1 - 0.0000 -
2217.63/2225.15 c 2225 3587761 1313535 1 - 0.0000 -
2222.71/2230.20 c 2230 3596152 1317236 1 - 0.0000 -
2227.69/2235.25 c 2235 3604859 1321173 1 - 0.0000 -
2232.78/2240.30 c 2240 3611127 1324511 1 - 0.0000 -
2237.76/2245.35 c 2245 3617594 1326251 1 - 0.0000 -
2242.84/2250.40 c 2250 3626888 1330456 1 - 0.0000 -
2247.83/2255.45 c 2255 3636335 1335512 1 - 0.0000 -
2252.91/2260.50 c 2260 3645634 1338980 1 - 0.0000 -
2257.89/2265.55 c 2266 3650457 1338781 1 - 0.0000 -
2262.97/2270.60 c 2271 3655850 1338967 1 - 0.0000 -
2267.95/2275.65 c 2276 3665267 1341525 1 - 0.0000 -
2273.03/2280.70 c 2281 3673635 1344316 1 - 0.0000 -
2278.01/2285.75 c 2286 3682461 1347219 1 - 0.0000 -
2283.09/2290.80 c 2291 3691706 1349986 1 - 0.0000 -
2288.07/2295.85 c 2296 3700788 1352610 1 - 0.0000 -
2293.15/2300.90 c 2301 3706074 1354862 1 - 0.0000 -
2298.13/2305.95 c 2306 3710961 1356806 1 - 0.0000 -
2303.21/2311.00 c 2311 3715261 1360770 1 - 0.0000 -
2308.19/2316.05 c 2316 3720468 1364819 1 - 0.0000 -
2313.27/2321.11 c 2321 3725186 1368274 1 - 0.0000 -
2318.26/2326.16 c 2326 3729648 1371169 1 - 0.0000 -
2323.34/2331.21 c 2331 3734407 1374622 1 - 0.0000 -
2328.32/2336.26 c 2336 3739424 1377987 1 - 0.0000 -
2333.40/2341.32 c 2341 3745272 1381627 1 - 0.0000 -
2338.39/2346.37 c 2346 3751020 1385127 1 - 0.0000 -
2343.47/2351.42 c 2351 3755371 1387246 1 - 0.0000 -
2348.45/2356.47 c 2356 3759911 1389937 1 - 0.0000 -
2353.53/2361.52 c 2362 3767406 1394603 1 - 0.0000 -
2358.52/2366.57 c 2367 3773585 1397662 1 - 0.0000 -
2363.60/2371.62 c 2372 3777694 1399401 1 - 0.0000 -
2368.59/2376.67 c 2377 3784548 1402803 1 - 0.0000 -
2373.68/2381.72 c 2382 3788162 1403881 1 - 0.0000 -
2378.66/2386.77 c 2387 3792478 1405172 1 - 0.0000 -
2383.74/2391.82 c 2392 3796546 1406232 1 - 0.0000 -
2388.72/2396.87 c 2397 3800640 1407234 1 - 0.0000 -
2393.81/2401.92 c 2402 3804741 1408464 1 - 0.0000 -
2400.79/2408.91 c 2409 3808224 1409209 1 - 0.0000 -
2405.77/2413.96 c 2414 3814119 1412300 1 - 0.0000 -
2410.86/2419.01 c 2419 3818641 1413994 1 - 0.0000 -
2416.64/2424.80 c 2425 3820226 1413359 1 - 0.0000 -
2422.12/2430.38 c 2430 3822620 1413051 1 - 0.0000 -
2427.31/2435.52 c 2436 3825004 1414107 1 - 0.0000 -
2432.29/2440.57 c 2441 3829538 1416936 1 - 0.0000 -
2437.37/2445.62 c 2446 3835093 1420088 1 - 0.0000 -
2442.36/2450.67 c 2451 3840786 1422152 1 - 0.0000 -
2447.44/2455.72 c 2456 3845868 1425222 1 - 0.0000 -
2452.43/2460.77 c 2461 3850468 1428227 1 - 0.0000 -
2457.51/2465.82 c 2466 3854358 1432017 1 - 0.0000 -
2462.49/2470.87 c 2471 3858042 1435162 1 - 0.0000 -
2467.57/2475.92 c 2476 3861878 1438024 1 - 0.0000 -
2472.55/2480.97 c 2481 3865176 1439746 1 - 0.0000 -
2477.74/2486.19 c 2486 3867383 1440634 1 - 0.0000 -
2482.82/2491.25 c 2491 3871056 1443278 1 - 0.0000 -
2487.91/2496.30 c 2496 3874443 1445509 1 - 0.0000 -
2492.89/2501.36 c 2501 3878314 1448148 1 - 0.0000 -
2497.98/2506.41 c 2506 3882107 1450311 1 - 0.0000 -
2502.96/2511.46 c 2511 3885874 1452412 1 - 0.0000 -
2508.14/2516.62 c 2517 3887611 1452644 1 - 0.0000 -
2513.13/2521.67 c 2522 3891251 1454962 1 - 0.0000 -
2518.21/2526.74 c 2527 3895201 1457910 1 - 0.0000 -
2523.19/2531.79 c 2532 3899372 1461050 1 - 0.0000 -
2528.28/2536.84 c 2537 3903334 1463835 1 - 0.0000 -
2533.26/2541.89 c 2542 3907075 1466349 1 - 0.0000 -
2538.35/2546.94 c 2547 3910787 1468944 1 - 0.0000 -
2543.43/2552.05 c 2552 3914004 1470982 1 - 0.0000 -
2548.52/2557.11 c 2557 3917785 1473246 1 - 0.0000 -
2553.50/2562.16 c 2562 3921439 1475596 1 - 0.0000 -
2558.58/2567.26 c 2567 3924333 1476526 1 - 0.0000 -
2563.67/2572.31 c 2572 3928272 1477952 1 - 0.0000 -
2568.65/2577.36 c 2577 3933556 1480028 1 - 0.0000 -
2573.74/2582.41 c 2582 3938223 1481236 1 - 0.0000 -
2578.72/2587.47 c 2587 3942695 1482366 1 - 0.0000 -
2583.80/2592.52 c 2593 3946993 1483682 1 - 0.0000 -
2588.79/2597.58 c 2598 3952087 1485370 1 - 0.0000 -
2593.87/2602.63 c 2603 3956790 1487008 1 - 0.0000 -
2598.86/2607.68 c 2608 3961586 1488725 1 - 0.0000 -
2603.95/2612.74 c 2613 3965483 1489866 1 - 0.0000 -
2609.03/2617.80 c 2618 3967798 1489901 1 - 0.0000 -
2614.12/2622.91 c 2623 3969887 1489942 1 - 0.0000 -
2619.10/2627.96 c 2628 3971645 1489936 1 - 0.0000 -
2624.19/2633.07 c 2633 3972773 1489571 1 - 0.0000 -
2629.28/2638.14 c 2638 3973791 1489191 1 - 0.0000 -
2634.27/2643.19 c 2643 3974855 1488793 1 - 0.0000 -
2639.45/2648.30 c 2648 3975899 1488357 1 - 0.0000 -
2644.53/2653.41 c 2653 3977454 1488138 1 - 0.0000 -
2649.52/2658.46 c 2658 3979164 1488073 1 - 0.0000 -
2654.60/2663.51 c 2664 3981523 1488355 1 - 0.0000 -
2659.59/2668.56 c 2669 3984372 1489034 1 - 0.0000 -
2664.68/2673.61 c 2674 3987842 1489888 1 - 0.0000 -
2669.66/2678.67 c 2679 3990010 1489776 1 - 0.0000 -
2674.75/2683.72 c 2684 3991946 1489640 1 - 0.0000 -
2679.73/2688.77 c 2689 3993498 1489435 1 - 0.0000 -
2684.82/2693.82 c 2694 3996665 1490191 1 - 0.0000 -
2689.80/2698.87 c 2699 4000078 1491290 1 - 0.0000 -
2694.89/2703.92 c 2704 4003719 1492432 1 - 0.0000 -
2699.87/2708.97 c 2709 4006548 1493339 1 - 0.0000 -
2704.96/2714.03 c 2714 4009270 1494304 1 - 0.0000 -
2709.95/2719.08 c 2719 4011955 1495307 1 - 0.0000 -
2715.03/2724.13 c 2724 4014418 1496234 1 - 0.0000 -
2720.11/2729.20 c 2729 4016983 1497475 1 - 0.0000 -
2725.09/2734.26 c 2734 4019511 1498475 1 - 0.0000 -
2730.18/2739.31 c 2739 4022089 1499448 1 - 0.0000 -
2735.17/2744.36 c 2744 4024744 1500614 1 - 0.0000 -
2740.25/2749.42 c 2749 4027733 1502087 1 - 0.0000 -
2745.23/2754.48 c 2754 4030610 1503244 1 - 0.0000 -
2750.32/2759.53 c 2760 4033742 1504660 1 - 0.0000 -
2755.30/2764.58 c 2765 4036728 1506139 1 - 0.0000 -
2760.38/2769.63 c 2770 4039649 1507550 1 - 0.0000 -
2765.37/2774.69 c 2775 4042405 1508743 1 - 0.0000 -
2770.45/2779.74 c 2780 4044703 1509759 1 - 0.0000 -
2775.43/2784.79 c 2785 4047460 1511101 1 - 0.0000 -
2780.52/2789.87 c 2790 4049347 1511530 1 - 0.0000 -
2785.61/2794.94 c 2795 4050236 1511181 1 - 0.0000 -
2790.69/2800.01 c 2800 4051316 1510967 1 - 0.0000 -
2795.67/2805.06 c 2805 4054350 1512094 1 - 0.0000 -
2800.76/2810.13 c 2810 4055657 1511950 1 - 0.0000 -
2805.75/2815.18 c 2815 4057158 1511897 1 - 0.0000 -
2810.82/2820.23 c 2820 4064090 1515187 1 - 0.0000 -
2815.80/2825.29 c 2825 4070762 1517860 1 - 0.0000 -
2820.89/2830.34 c 2830 4077215 1520360 1 - 0.0000 -
2825.87/2835.39 c 2835 4083222 1522915 1 - 0.0000 -
2830.94/2840.44 c 2840 4089376 1525684 1 - 0.0000 -
2835.93/2845.49 c 2845 4095645 1528213 1 - 0.0000 -
2841.01/2850.54 c 2851 4102168 1530558 1 - 0.0000 -
2845.99/2855.59 c 2856 4108585 1532827 1 - 0.0000 -
2851.08/2860.64 c 2861 4115332 1535461 1 - 0.0000 -
2856.06/2865.69 c 2866 4122352 1538819 1 - 0.0000 -
2861.14/2870.74 c 2871 4129874 1542724 1 - 0.0000 -
2866.12/2875.79 c 2876 4137054 1546161 1 - 0.0000 -
2871.20/2880.84 c 2881 4144319 1549767 1 - 0.0000 -
2876.18/2885.89 c 2886 4151438 1553310 1 - 0.0000 -
2881.26/2890.94 c 2891 4158709 1556865 1 - 0.0000 -
2886.25/2895.99 c 2896 4165749 1560443 1 - 0.0000 -
2891.33/2901.04 c 2901 4172511 1563949 1 - 0.0000 -
2896.32/2906.09 c 2906 4179535 1567731 1 - 0.0000 -
2901.40/2911.14 c 2911 4186192 1571358 1 - 0.0000 -
2906.38/2916.19 c 2916 4193339 1575083 1 - 0.0000 -
2911.46/2921.24 c 2921 4200194 1578734 1 - 0.0000 -
2916.44/2926.29 c 2926 4206567 1581689 1 - 0.0000 -
2921.53/2931.35 c 2931 4212575 1584233 1 - 0.0000 -
2926.61/2936.40 c 2936 4216662 1587057 1 - 0.0000 -
2931.59/2941.45 c 2941 4219719 1587975 1 - 0.0000 -
2936.67/2946.50 c 2946 4222341 1588047 1 - 0.0000 -
2941.66/2951.55 c 2952 4226017 1589038 1 - 0.0000 -
2946.74/2956.60 c 2957 4229893 1591620 1 - 0.0000 -
2951.72/2961.65 c 2962 4233849 1594323 1 - 0.0000 -
2956.80/2966.72 c 2967 4237602 1596734 1 - 0.0000 -
2961.79/2971.77 c 2972 4240089 1597323 1 - 0.0000 -
2966.87/2976.82 c 2977 4242597 1597634 1 - 0.0000 -
2971.85/2981.87 c 2982 4245930 1598737 1 - 0.0000 -
2976.94/2986.92 c 2987 4249354 1600246 1 - 0.0000 -
2981.92/2991.97 c 2992 4253393 1602996 1 - 0.0000 -
2987.01/2997.02 c 2997 4257503 1605512 1 - 0.0000 -
2991.98/3002.07 c 3002 4260212 1606229 1 - 0.0000 -
2997.07/3007.12 c 3007 4263407 1607211 1 - 0.0000 -
3002.05/3012.17 c 3012 4266485 1608149 1 - 0.0000 -
3007.13/3017.22 c 3017 4274372 1611983 1 - 0.0000 -
3012.11/3022.27 c 3022 4281534 1615125 1 - 0.0000 -
3017.20/3027.32 c 3027 4289128 1618318 1 - 0.0000 -
3022.17/3032.37 c 3032 4296236 1620678 1 - 0.0000 -
3027.26/3037.42 c 3037 4303255 1623035 1 - 0.0000 -
3032.24/3042.47 c 3042 4311314 1625852 1 - 0.0000 -
3037.32/3047.52 c 3048 4319135 1628478 1 - 0.0000 -
3042.30/3052.57 c 3053 4326908 1630953 1 - 0.0000 -
3047.39/3057.62 c 3058 4334486 1633473 1 - 0.0000 -
3052.37/3062.67 c 3063 4341728 1635769 1 - 0.0000 -
3057.45/3067.72 c 3068 4349331 1638279 1 - 0.0000 -
3062.44/3072.77 c 3073 4356491 1640568 1 - 0.0000 -
3067.52/3077.82 c 3078 4363720 1643052 1 - 0.0000 -
3072.50/3082.87 c 3083 4370908 1645544 1 - 0.0000 -
3077.59/3087.92 c 3088 4378159 1648029 1 - 0.0000 -
3082.57/3092.97 c 3093 4385261 1650430 1 - 0.0000 -
3087.66/3098.02 c 3098 4391619 1652700 1 - 0.0000 -
3092.64/3103.07 c 3103 4397941 1654926 1 - 0.0000 -
3097.72/3108.13 c 3108 4403260 1656850 1 - 0.0000 -
3102.70/3113.18 c 3113 4408297 1658592 1 - 0.0000 -
3107.78/3118.23 c 3118 4412700 1660088 1 - 0.0000 -
3112.77/3123.28 c 3123 4416681 1661318 1 - 0.0000 -
3117.85/3128.33 c 3128 4420523 1662500 1 - 0.0000 -
3122.82/3133.38 c 3133 4424049 1663612 1 - 0.0000 -
3127.91/3138.43 c 3138 4427753 1664850 1 - 0.0000 -
3132.89/3143.48 c 3143 4431163 1665875 1 - 0.0000 -
3137.98/3148.53 c 3149 4433831 1665515 1 - 0.0000 -
3142.96/3153.58 c 3154 4437520 1666165 1 - 0.0000 -
3148.04/3158.63 c 3159 4446599 1670758 1 - 0.0000 -
3153.03/3163.68 c 3164 4456184 1675410 1 - 0.0000 -
3158.11/3168.73 c 3169 4465233 1679245 1 - 0.0000 -
3163.09/3173.78 c 3174 4474103 1682053 1 - 0.0000 -
3168.18/3178.83 c 3179 4483029 1684918 1 - 0.0000 -
3173.16/3183.88 c 3184 4491369 1687828 1 - 0.0000 -
3178.25/3188.93 c 3189 4499791 1690262 1 - 0.0000 -
3183.23/3193.98 c 3194 4507554 1692529 1 - 0.0000 -
3188.32/3199.03 c 3199 4513987 1694745 1 - 0.0000 -
3193.30/3204.08 c 3204 4520474 1696860 1 - 0.0000 -
3198.38/3209.13 c 3209 4526901 1698877 1 - 0.0000 -
3203.36/3214.18 c 3214 4533113 1700699 1 - 0.0000 -
3208.44/3219.23 c 3219 4540071 1702367 1 - 0.0000 -
3213.43/3224.28 c 3224 4546947 1704243 1 - 0.0000 -
3218.52/3229.33 c 3229 4553905 1706142 1 - 0.0000 -
3223.50/3234.38 c 3234 4560615 1708211 1 - 0.0000 -
3228.58/3239.43 c 3239 4567586 1710329 1 - 0.0000 -
3233.57/3244.48 c 3244 4574212 1712325 1 - 0.0000 -
3238.65/3249.53 c 3250 4581266 1714514 1 - 0.0000 -
3243.64/3254.58 c 3255 4587368 1716375 1 - 0.0000 -
3248.72/3259.63 c 3260 4593818 1718411 1 - 0.0000 -
3253.70/3264.68 c 3265 4599904 1720358 1 - 0.0000 -
3258.79/3269.73 c 3270 4605710 1722112 1 - 0.0000 -
3263.77/3274.78 c 3275 4610706 1723718 1 - 0.0000 -
3268.85/3279.83 c 3280 4616080 1725389 1 - 0.0000 -
3273.84/3284.88 c 3285 4621691 1727158 1 - 0.0000 -
3278.93/3289.93 c 3290 4626671 1728738 1 - 0.0000 -
3283.91/3294.98 c 3295 4632623 1730518 1 - 0.0000 -
3289.00/3300.03 c 3300 4637491 1731929 1 - 0.0000 -
3293.98/3305.08 c 3305 4642045 1733378 1 - 0.0000 -
3299.06/3310.13 c 3310 4647838 1735122 1 - 0.0000 -
3304.05/3315.18 c 3315 4652469 1736719 1 - 0.0000 -
3309.12/3320.23 c 3320 4657234 1738284 1 - 0.0000 -
3314.11/3325.28 c 3325 4661644 1739724 1 - 0.0000 -
3319.19/3330.33 c 3330 4665642 1740834 1 - 0.0000 -
3324.17/3335.39 c 3335 4670188 1742302 1 - 0.0000 -
3329.27/3340.43 c 3340 4674702 1743656 1 - 0.0000 -
3334.35/3345.50 c 3346 4678241 1744579 1 - 0.0000 -
3339.33/3350.55 c 3351 4682543 1745872 1 - 0.0000 -
3344.42/3355.60 c 3356 4686206 1746935 1 - 0.0000 -
3349.40/3360.65 c 3361 4689810 1747828 1 - 0.0000 -
3354.48/3365.71 c 3366 4694085 1749161 1 - 0.0000 -
3359.47/3370.76 c 3371 4698021 1750197 1 - 0.0000 -
3364.55/3375.81 c 3376 4701719 1751184 1 - 0.0000 -
3369.54/3380.86 c 3381 4705344 1751984 1 - 0.0000 -
3374.63/3385.92 c 3386 4709165 1753054 1 - 0.0000 -
3379.60/3390.98 c 3391 4712821 1754093 1 - 0.0000 -
3384.70/3396.03 c 3396 4716388 1755047 1 - 0.0000 -
3389.69/3401.08 c 3401 4719407 1755770 1 - 0.0000 -
3394.77/3406.13 c 3406 4723092 1756790 1 - 0.0000 -
3399.75/3411.18 c 3411 4726323 1757558 1 - 0.0000 -
3404.83/3416.24 c 3416 4730001 1758416 1 - 0.0000 -
3409.82/3421.28 c 3421 4733081 1759183 1 - 0.0000 -
3414.90/3426.33 c 3426 4736421 1760134 1 - 0.0000 -
3419.88/3431.38 c 3431 4739626 1761050 1 - 0.0000 -
3424.97/3436.43 c 3436 4742886 1762037 1 - 0.0000 -
3430.05/3441.50 c 3442 4745873 1762850 1 - 0.0000 -
3435.04/3446.55 c 3447 4748670 1763682 1 - 0.0000 -
3440.12/3451.60 c 3452 4751645 1764601 1 - 0.0000 -
3445.11/3456.65 c 3457 4754892 1765552 1 - 0.0000 -
3450.19/3461.70 c 3462 4758222 1766443 1 - 0.0000 -
3455.18/3466.76 c 3467 4761246 1767329 1 - 0.0000 -
3460.26/3471.82 c 3472 4764343 1768308 1 - 0.0000 -
3465.24/3476.88 c 3477 4767324 1769308 1 - 0.0000 -
3470.33/3481.92 c 3482 4770228 1770151 1 - 0.0000 -
3475.41/3487.00 c 3487 4773390 1770982 1 - 0.0000 -
3480.40/3492.05 c 3492 4776372 1771854 1 - 0.0000 -
3485.38/3497.10 c 3497 4779508 1772757 1 - 0.0000 -
3490.48/3502.15 c 3502 4782506 1773585 1 - 0.0000 -
3495.55/3507.20 c 3507 4785241 1774315 1 - 0.0000 -
3500.54/3512.25 c 3512 4787951 1775097 1 - 0.0000 -
3505.62/3517.30 c 3517 4790692 1775907 1 - 0.0000 -
3510.60/3522.35 c 3522 4793409 1776629 1 - 0.0000 -
3515.69/3527.40 c 3527 4796029 1777416 1 - 0.0000 -
3520.68/3532.45 c 3532 4798623 1778205 1 - 0.0000 -
3525.75/3537.50 c 3538 4801210 1778938 1 - 0.0000 -
3530.75/3542.56 c 3543 4803871 1779624 1 - 0.0000 -
3535.83/3547.62 c 3548 4806373 1780342 1 - 0.0000 -
3540.81/3552.67 c 3553 4808861 1781032 1 - 0.0000 -
3545.90/3557.72 c 3558 4811408 1781696 1 - 0.0000 -
3550.88/3562.77 c 3563 4813977 1782311 1 - 0.0000 -
3555.97/3567.82 c 3568 4816286 1782941 1 - 0.0000 -
3560.95/3572.87 c 3573 4818661 1783575 1 - 0.0000 -
3566.04/3577.92 c 3578 4821146 1784250 1 - 0.0000 -
3571.03/3582.97 c 3583 4823673 1784931 1 - 0.0000 -
3576.11/3588.02 c 3588 4826032 1785545 1 - 0.0000 -
3581.09/3593.09 c 3593 4827413 1785305 1 - 0.0000 -
3586.18/3598.15 c 3598 4828482 1784945 1 - 0.0000 -
3590.07/3602.09 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.07/3602.09 c Total Time : 3602.0900
3590.07/3602.09 c solving : 3602.0900
3590.07/3602.09 c presolving : 0.0083 (included in solving)
3590.07/3602.09 c B&B Tree :
3590.07/3602.09 c nodes (total) : 1
3590.07/3602.09 c Solution :
3590.07/3602.09 c Solutions found : 0
3590.07/3602.09 c Primal Bound : -
3590.07/3602.09 c Dual Bound : +0.00000000000000e+00
3590.07/3602.09 c Gap : -
3590.07/3602.09 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 (57120 MiB free)
memory of node 1: 64510 MiB (61594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448300-1721364834/watcher-4448300-1721364834 -o /tmp/evaluation-result-4448300-1721364834/solver-4448300-1721364834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011505 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448300-1721364834.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1013540, runsolver pid=1013537
[startup+0.1001 s]*
/proc/loadavg: 4.53 4.36 4.17 5/264 1013543
/proc/meminfo: memFree=121569644/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=115932 memory=34424 CPUtime=0.1 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 6288 0 0 0 9 1 0 0 20 0 3 0 188647607 118714368 8606 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 28983 8606 2926 3032 0 12831 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=115932 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 3243 0 0 0 8 0 0 0 20 0 3 0 188647608 118714368 8606 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=115932 memory=237146210664 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188647609 118714368 8606 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 115932 KiB
Current children cumulated memory: 34424 KiB
[startup+0.205689 s]*
/proc/loadavg: 4.53 4.36 4.17 5/264 1013543
/proc/meminfo: memFree=121616656/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=115932 memory=37324 CPUtime=0.2 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 7072 0 0 0 19 1 0 0 20 0 3 0 188647607 118714368 9331 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 28983 9331 2926 3032 0 13175 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=115932 memory=6876556183782621315 CPUtime=0.18 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 4027 0 0 0 18 0 0 0 20 0 3 0 188647608 118714368 9331 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=115932 memory=19020 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188647609 118714368 9331 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115932 KiB
Current children cumulated memory: 37324 KiB
[startup+0.305586 s]*
/proc/loadavg: 4.53 4.36 4.17 5/264 1013543
/proc/meminfo: memFree=121648904/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=115932 memory=37588 CPUtime=0.3 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 7108 0 0 0 29 1 0 0 20 0 3 0 188647607 118714368 9397 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 28983 9397 2926 3032 0 13209 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=115932 memory=-7880590079388311933 CPUtime=0.28 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 4063 0 0 0 28 0 0 0 20 0 3 0 188647608 118714368 9397 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=115932 memory=0 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188647609 118714368 9397 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115932 KiB
Current children cumulated memory: 37588 KiB
[startup+0.700264 s]
/proc/loadavg: 4.53 4.36 4.17 5/264 1013543
/proc/meminfo: memFree=121729116/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=115932 memory=39172 CPUtime=0.69 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 7536 0 0 0 68 1 0 0 20 0 3 0 188647607 118714368 9793 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 28983 9793 2926 3032 0 13668 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=115932 memory=0 CPUtime=0.67 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 4491 0 0 0 67 0 0 0 20 0 3 0 188647608 118714368 9793 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=115932 memory=0 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188647609 118714368 9793 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115932 KiB
Current children cumulated memory: 39172 KiB
[startup+1.50027 s]
/proc/loadavg: 4.53 4.36 4.17 4/259 1013557
/proc/meminfo: memFree=123329568/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=115932 memory=42076 CPUtime=1.48 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 11399 0 0 0 147 1 0 0 20 0 3 0 188647607 118714368 10519 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 28983 10519 2990 3032 0 14066 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=115932 memory=0 CPUtime=1.46 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 8340 0 0 0 146 0 0 0 20 0 3 0 188647608 118714368 10519 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=115932 memory=0 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188647609 118714368 10519 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115932 KiB
Current children cumulated memory: 42076 KiB
[startup+3.10544 s]
/proc/loadavg: 4.49 4.36 4.17 5/264 1013639
/proc/meminfo: memFree=125078056/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=115932 memory=45516 CPUtime=3.09 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 13048 0 0 0 307 2 0 0 20 0 3 0 188647607 118714368 11379 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 28983 11379 2990 3032 0 15166 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=115932 memory=0 CPUtime=3.07 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 9986 0 0 0 306 1 0 0 20 0 3 0 188647608 118714368 11379 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=115932 memory=2273 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188647609 118714368 11379 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115932 KiB
Current children cumulated memory: 45516 KiB
[startup+6.30025 s]
/proc/loadavg: 4.49 4.36 4.17 5/264 1013642
/proc/meminfo: memFree=125019764/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=115932 memory=53940 CPUtime=6.27 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 21393 0 0 0 624 3 0 0 20 0 3 0 188647607 118714368 13485 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 28983 13485 2990 3032 0 17034 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=115932 memory=0 CPUtime=6.25 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 18311 0 0 0 623 2 0 0 20 0 3 0 188647608 118714368 13485 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=115932 memory=11604 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188647609 118714368 13485 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 115932 KiB
Current children cumulated memory: 53940 KiB
[startup+12.7002 s]
/proc/loadavg: 4.41 4.35 4.17 5/264 1013642
/proc/meminfo: memFree=124940396/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=115932 memory=54532 CPUtime=12.65 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 34092 0 0 0 1259 6 0 0 20 0 3 0 188647607 118714368 13633 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 28983 13633 2990 3032 0 17205 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=115932 memory=54476 CPUtime=12.63 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 30969 0 0 0 1258 5 0 0 20 0 3 0 188647608 118714368 13633 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=115932 memory=0 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188647609 118714368 13633 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 115932 KiB
Current children cumulated memory: 54532 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.33 4.16 6/264 1013645
/proc/meminfo: memFree=124900748/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=119016 memory=65324 CPUtime=25.4 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 57425 0 0 0 2529 11 0 0 20 0 3 0 188647607 121872384 16331 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 29754 16331 2990 3032 0 20508 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=119016 memory=63028 CPUtime=25.38 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 54226 0 0 0 2528 10 0 0 20 0 3 0 188647608 121872384 16331 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=119016 memory=54140 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 188647609 121872384 16331 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 119016 KiB
Current children cumulated memory: 65324 KiB
[startup+51.1057 s]
/proc/loadavg: 4.23 4.31 4.16 5/264 1013696
/proc/meminfo: memFree=126365168/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=189176 memory=106144 CPUtime=50.92 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 95719 0 0 0 5069 23 0 0 20 0 3 0 188647607 193716224 26536 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 47294 26536 2990 3032 0 29546 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=189176 memory=89580 CPUtime=50.89 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 92456 0 0 0 5067 22 0 0 20 0 3 0 188647608 193716224 26536 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=189176 memory=12576 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 188647609 193716224 26536 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 189176 KiB
Current children cumulated memory: 106144 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.27 4.15 5/263 1014137
/proc/meminfo: memFree=126273588/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=196372 memory=162780 CPUtime=101.91 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 154342 0 0 0 10143 48 0 0 20 0 3 0 188647607 201084928 40695 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 49093 40695 2990 3032 0 43453 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=196372 memory=65328 CPUtime=101.88 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 151050 0 0 0 10141 47 0 0 20 0 3 0 188647608 201084928 40695 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=196372 memory=11604 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 188647609 201084928 40695 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 196372 KiB
Current children cumulated memory: 162780 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.25 4.15 5/263 1014147
/proc/meminfo: memFree=126162644/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=278856 memory=240792 CPUtime=161.71 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 191793 0 0 0 16099 72 0 0 20 0 3 0 188647607 285548544 60198 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 69714 60198 2990 3032 0 63619 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=278856 memory=65328 CPUtime=161.69 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 188480 0 0 0 16098 71 0 0 20 0 3 0 188647608 285548544 60198 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=278856 memory=204820 CPUtime=0 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 188647609 285548544 60198 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 278856 KiB
################
# More data... #
################
/proc/1013540/statm: 451925 433827 2990 3032 0 437366 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=1807700 memory=1728572 CPUtime=3390.72 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 1615727 0 0 0 338114 958 0 0 20 0 3 0 188647608 1851084800 433827 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=1807700 memory=1732796 CPUtime=0.02 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 188647609 1851084800 433827 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3390.98 s
Current children cumulated vsize: 1807700 KiB
Current children cumulated memory: 1735308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 1015821
/proc/meminfo: memFree=120651056/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=1809756 memory=1745656 CPUtime=3450.79 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 1632207 0 0 0 344106 973 0 0 20 0 3 0 188647607 1853190144 436414 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 452439 436414 2990 3032 0 439915 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=1809756 memory=1745268 CPUtime=3450.54 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 1628357 0 0 0 344087 967 0 0 20 0 3 0 188647608 1853190144 436414 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=1809756 memory=46536 CPUtime=0.02 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 188647609 1853190144 436414 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3450.79 s
Current children cumulated vsize: 1809756 KiB
Current children cumulated memory: 1745656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 1015831
/proc/meminfo: memFree=120614004/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=1811812 memory=1761424 CPUtime=3510.6 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 1646132 0 0 0 350078 982 0 0 20 0 3 0 188647607 1855295488 440356 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 452953 440356 2990 3032 0 443275 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=1811812 memory=11604 CPUtime=3510.35 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 1642271 0 0 0 350059 976 0 0 20 0 3 0 188647608 1855295488 440356 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=1811812 memory=1760276 CPUtime=0.02 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 188647609 1855295488 440356 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3510.6 s
Current children cumulated vsize: 1811812 KiB
Current children cumulated memory: 1761424 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 1015841
/proc/meminfo: memFree=120586388/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=1813868 memory=1771372 CPUtime=3570.43 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 1657969 0 0 0 356053 990 0 0 20 0 3 0 188647607 1857400832 442843 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 453467 442843 2990 3032 0 445941 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=1813868 memory=1771180 CPUtime=3570.16 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 1654097 0 0 0 356034 982 0 0 20 0 3 0 188647608 1857400832 442843 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=1813868 memory=11604 CPUtime=0.02 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 188647609 1857400832 442843 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3570.43 s
Current children cumulated vsize: 1813868 KiB
Current children cumulated memory: 1771372 KiB
[startup+3602.11 s]
# the end of solver process 1013540 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.21 s, system=9.97115 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 1015843
/proc/meminfo: memFree=120586096/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=1813868 memory=1771376 CPUtime=3572.13 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 1658137 0 0 0 356223 990 0 0 20 0 3 0 188647607 1857400832 442844 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 453467 442844 2990 3032 0 445941 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=1813868 memory=32252 CPUtime=3571.87 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 1654265 0 0 0 356204 983 0 0 20 0 3 0 188647608 1857400832 442844 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=1813868 memory=-9187040394903190213 CPUtime=0.03 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 140 0 0 0 0 3 0 0 20 0 3 0 188647609 1857400832 442844 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 1813868 KiB
Current children cumulated memory: 1771376 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 1015843
/proc/meminfo: memFree=120585356/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=1813868 memory=1771380 CPUtime=3578.5 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 1659262 0 0 0 356860 990 0 0 20 0 3 0 188647607 1857400832 442845 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 453467 442845 2990 3032 0 445941 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=1813868 memory=46536 CPUtime=3578.23 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 1655390 0 0 0 356840 983 0 0 20 0 3 0 188647608 1857400832 442845 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=1813868 memory=1771180 CPUtime=0.03 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 140 0 0 0 0 3 0 0 20 0 3 0 188647609 1857400832 442845 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3578.5 s
Current children cumulated vsize: 1813868 KiB
Current children cumulated memory: 1771380 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 1015845
/proc/meminfo: memFree=120581980/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=1813868 memory=1771380 CPUtime=3584.88 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 1660873 0 0 0 357497 991 0 0 20 0 3 0 188647607 1857400832 442845 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 453467 442845 2990 3032 0 445941 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=1813868 memory=46536 CPUtime=3584.62 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 1657001 0 0 0 357478 984 0 0 20 0 3 0 188647608 1857400832 442845 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=1813868 memory=11604 CPUtime=0.03 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 140 0 0 0 0 3 0 0 20 0 3 0 188647609 1857400832 442845 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3584.88 s
Current children cumulated vsize: 1813868 KiB
Current children cumulated memory: 1771380 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.11 4.09 5/263 1015845
/proc/meminfo: memFree=120581924/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=1813868 memory=1771384 CPUtime=3588.07 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 1664448 0 0 0 357816 991 0 0 20 0 3 0 188647607 1857400832 442846 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 453467 442846 2990 3032 0 445941 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=1813868 memory=-7452715740904188256 CPUtime=3587.81 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 1661236 0 0 0 357797 984 0 0 20 0 3 0 188647608 1857400832 442846 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=1813868 memory=-9187040394903190213 CPUtime=0.03 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 140 0 0 0 0 3 0 0 20 0 3 0 188647609 1857400832 442846 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3588.07 s
Current children cumulated vsize: 1813868 KiB
Current children cumulated memory: 1771384 KiB
[startup+3600.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 1015845
/proc/meminfo: memFree=120581924/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=1772748 memory=1730264 CPUtime=3588.86 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 1707466 0 0 0 357893 993 0 0 20 0 3 0 188647607 1815293952 432566 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 443187 432566 2990 3032 0 435661 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=1772748 memory=-7024628906028339305 CPUtime=3588.6 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 1703593 0 0 0 357874 986 0 0 20 0 3 0 188647608 1815293952 432566 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=1772748 memory=1892 CPUtime=0.03 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 140 0 0 0 0 3 0 0 20 0 3 0 188647609 1815293952 432566 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3588.86 s
Current children cumulated vsize: 1772748 KiB
Current children cumulated memory: 1730264 KiB
[startup+3601.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 1015845
/proc/meminfo: memFree=120632700/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=1664808 memory=1622328 CPUtime=3589.67 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 1715439 0 0 0 357973 994 0 0 20 0 3 0 188647607 1704763392 405582 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 416202 405582 2990 3032 0 408676 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=1664808 memory=46536 CPUtime=3589.4 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 1711566 0 0 0 357953 987 0 0 20 0 3 0 188647608 1704763392 405582 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=1664808 memory=1771384 CPUtime=0.03 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 140 0 0 0 0 3 0 0 20 0 3 0 188647609 1704763392 405582 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 1664808 KiB
Current children cumulated memory: 1622328 KiB
[startup+3602 s]*
/proc/loadavg: 4.13 4.11 4.09 5/263 1015845
/proc/meminfo: memFree=120689984/131524600 swapFree=131071996/131071996
[pid=1013540] ppid=1013537 vsize=1632940 memory=1590460 CPUtime=3590.07 cores=5,7
/proc/1013540/stat : 1013540 (fscip) S 1013537 1013540 1011492 0 -1 1077936128 1720258 0 0 0 358013 994 0 0 20 0 3 0 188647607 1672130560 397615 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
/proc/1013540/statm: 408235 397615 2990 3032 0 400709 0
[pid=1013540/tid=1013542] ppid=1013537 vsize=1632940 memory=-7452715740904188256 CPUtime=3589.8 cores=5,7
/proc/1013540/task/1013542/stat : 1013542 (fscip) R 1013537 1013540 1011492 0 -1 4194368 1716386 0 0 0 357993 987 0 0 20 0 3 0 188647608 1672130560 397615 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
[pid=1013540/tid=1013543] ppid=1013537 vsize=1632940 memory=-9187040394903190213 CPUtime=0.03 cores=5,7
/proc/1013540/task/1013543/stat : 1013543 (fscip) S 1013537 1013540 1011492 0 -1 1077936192 140 0 0 0 0 3 0 0 20 0 3 0 188647609 1672130560 397615 134679101440 4194304 16613245 140730639367328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33513472 140730639369235 140730639369351 140730639369351 140730639376368 0
Current children cumulated CPU time: 3590.07 s
Current children cumulated vsize: 1632940 KiB
Current children cumulated memory: 1590460 KiB
Child status: 0
Real time (s): 3602.11
CPU time (s): 3590.18
CPU user time (s): 3580.21
CPU system time (s): 9.97115
CPU usage (%): 99.6689
Max. virtual memory (cumulated for all children) (KiB): 1813868
Max. memory (cumulated for all children) (KiB): 1771384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.21
system time used= 9.97115
maximum resident set size= 1771384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1720966
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= 11088
involuntary context switches= 4316
# summary of solver processes directly reported to runsolver:
# pid: 1013540
# total CPU time (s): 3590.18
# total CPU user time (s): 3580.21
# total CPU system time (s): 9.97115
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39483 second user time and 16.957 second system time
The end
Begin job on nodeC022 at 2024-07-19 06:54:07
IDJOB=4448300
IDBENCH=160382
IDSOLVER=3064
FILE ID=nodeC022/4448300-1721364834
RUNJOBID= nodeC022-1721361246-1011505
SLURM_JOB_ID= 7542779
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x100split.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448300-1721364834/watcher-4448300-1721364834 -o /tmp/evaluation-result-4448300-1721364834/solver-4448300-1721364834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011505 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448300-1721364834.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8184a92443c0bd6c42f1e968e18f3f0b
RANDOM SEED=100068986
nodeC022.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 : 3671.767
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.66
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 : 3682.885
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.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.097
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.66
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 : 3625.085
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.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 : 3671.773
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.66
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 : 3678.642
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.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 : 3599.943
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.66
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 : 3667.630
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121556136 kB
MemAvailable: 124233752 kB
Buffers: 504044 kB
Cached: 2998488 kB
SwapCached: 0 kB
Active: 1202264 kB
Inactive: 8103752 kB
Active(anon): 1548 kB
Inactive(anon): 5847840 kB
Active(file): 1200716 kB
Inactive(file): 2255912 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28372 kB
Writeback: 64 kB
AnonPages: 5744212 kB
Mapped: 142876 kB
Shmem: 45912 kB
KReclaimable: 121268 kB
Slab: 236732 kB
SReclaimable: 121268 kB
SUnreclaim: 115464 kB
KernelStack: 4176 kB
PageTables: 21268 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2111904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68832 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3262464 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889948 MiB
End job on nodeC022 at 2024-07-19 07:54:09