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 = 22728704, getVmSize() = 22728704, SCIPgetMemUsed() = 1024162, SCIPgetMemTotal() = 1264922, 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 = 15811925, getVmSize() = 24707072, SCIPgetMemUsed() = 1157300, SCIPgetMemTotal() = 2057564, 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-4447730-1721361233
0.00/0.00 c Variables : 93 (93 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 248
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 93 (93 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 248
0.00/0.00 c Constraints : Number
0.00/0.00 c logicor : 248
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.08/5.16 c 5 4339 4042 1 - 0.0000 -
10.16/10.21 c 10 15754 13212 1 - 0.0000 -
15.14/15.26 c 15 26981 19744 1 - 0.0000 -
20.22/20.30 c 20 38377 28625 1 - 0.0000 -
25.21/25.35 c 25 49823 36779 1 - 0.0000 -
30.29/30.40 c 30 62522 47544 1 - 0.0000 -
35.27/35.45 c 35 76433 58629 1 - 0.0000 -
40.36/40.50 c 41 90253 69909 1 - 0.0000 -
45.34/45.55 c 46 104238 81893 1 - 0.0000 -
50.42/50.60 c 51 117911 93315 1 - 0.0000 -
55.40/55.65 c 56 131977 103674 1 - 0.0000 -
60.49/60.70 c 61 145627 113444 1 - 0.0000 -
65.48/65.74 c 66 159772 124910 1 - 0.0000 -
70.45/70.79 c 71 173950 134785 1 - 0.0000 -
75.54/75.84 c 76 188367 143635 1 - 0.0000 -
80.52/80.89 c 81 202584 153609 1 - 0.0000 -
85.60/85.94 c 86 217081 162883 1 - 0.0000 -
90.58/90.99 c 91 231060 172884 1 - 0.0000 -
95.67/96.04 c 96 244816 182102 1 - 0.0000 -
100.66/101.09 c 101 259088 191342 1 - 0.0000 -
105.74/106.14 c 106 273015 202301 1 - 0.0000 -
110.73/111.19 c 111 286680 211957 1 - 0.0000 -
115.80/116.24 c 116 300498 222374 1 - 0.0000 -
120.78/121.29 c 121 313442 233374 1 - 0.0000 -
125.87/126.34 c 126 327316 244095 1 - 0.0000 -
130.85/131.39 c 131 342316 252584 1 - 0.0000 -
135.94/136.44 c 136 357036 261217 1 - 0.0000 -
140.91/141.49 c 142 371800 271144 1 - 0.0000 -
146.00/146.54 c 147 386431 279383 1 - 0.0000 -
150.98/151.59 c 152 400903 288188 1 - 0.0000 -
156.06/156.64 c 157 415442 297252 1 - 0.0000 -
161.04/161.69 c 162 429869 306046 1 - 0.0000 -
166.13/166.74 c 167 444002 314960 1 - 0.0000 -
171.11/171.79 c 172 457918 324344 1 - 0.0000 -
176.19/176.84 c 177 472512 333548 1 - 0.0000 -
181.17/181.89 c 182 487151 342463 1 - 0.0000 -
186.25/186.94 c 187 500676 352576 1 - 0.0000 -
191.24/191.99 c 192 514643 361953 1 - 0.0000 -
196.33/197.04 c 197 528001 371229 1 - 0.0000 -
201.30/202.09 c 202 541234 382123 1 - 0.0000 -
206.38/207.14 c 207 554798 392549 1 - 0.0000 -
211.36/212.19 c 212 568537 402312 1 - 0.0000 -
216.44/217.24 c 217 582477 411754 1 - 0.0000 -
221.43/222.29 c 222 595312 423240 1 - 0.0000 -
226.51/227.34 c 227 608468 434095 1 - 0.0000 -
231.49/232.39 c 232 622066 444333 1 - 0.0000 -
236.57/237.44 c 237 634926 455280 1 - 0.0000 -
241.55/242.49 c 242 647525 466197 1 - 0.0000 -
246.63/247.54 c 248 662077 476033 1 - 0.0000 -
251.61/252.59 c 253 676588 483756 1 - 0.0000 -
256.70/257.64 c 258 689435 493418 1 - 0.0000 -
261.68/262.69 c 263 702887 504039 1 - 0.0000 -
266.76/267.74 c 268 716218 514547 1 - 0.0000 -
271.74/272.79 c 273 729425 524211 1 - 0.0000 -
276.83/277.84 c 278 743117 534506 1 - 0.0000 -
281.81/282.89 c 283 756644 545485 1 - 0.0000 -
286.89/287.94 c 288 769794 554826 1 - 0.0000 -
291.87/292.99 c 293 783670 564702 1 - 0.0000 -
296.96/298.04 c 298 799222 574137 1 - 0.0000 -
301.93/303.09 c 303 813684 582175 1 - 0.0000 -
307.01/308.14 c 308 828407 590565 1 - 0.0000 -
311.99/313.19 c 313 843564 599471 1 - 0.0000 -
317.07/318.24 c 318 857296 609746 1 - 0.0000 -
322.06/323.29 c 323 870953 619343 1 - 0.0000 -
327.13/328.34 c 328 884013 629841 1 - 0.0000 -
332.12/333.39 c 333 897884 638892 1 - 0.0000 -
337.19/338.44 c 338 912616 647896 1 - 0.0000 -
342.17/343.49 c 344 927530 657462 1 - 0.0000 -
347.26/348.54 c 349 941882 666971 1 - 0.0000 -
352.25/353.59 c 354 956171 675918 1 - 0.0000 -
357.32/358.64 c 359 970856 683745 1 - 0.0000 -
362.30/363.69 c 364 985311 692079 1 - 0.0000 -
367.39/368.74 c 369 999920 701228 1 - 0.0000 -
372.37/373.79 c 374 1014107 711006 1 - 0.0000 -
377.45/378.84 c 379 1027962 720236 1 - 0.0000 -
382.43/383.89 c 384 1042641 729839 1 - 0.0000 -
387.51/388.94 c 389 1057242 737987 1 - 0.0000 -
392.49/393.99 c 394 1072012 745689 1 - 0.0000 -
397.58/399.04 c 399 1086460 753796 1 - 0.0000 -
402.56/404.09 c 404 1101149 761958 1 - 0.0000 -
407.65/409.14 c 409 1115874 770271 1 - 0.0000 -
412.62/414.19 c 414 1130479 778848 1 - 0.0000 -
417.70/419.24 c 419 1145667 787279 1 - 0.0000 -
422.68/424.29 c 424 1160578 795127 1 - 0.0000 -
427.76/429.34 c 429 1176281 802358 1 - 0.0000 -
432.73/434.39 c 434 1190382 810248 1 - 0.0000 -
437.82/439.44 c 439 1205457 818173 1 - 0.0000 -
442.80/444.49 c 444 1220541 825075 1 - 0.0000 -
447.88/449.54 c 450 1235080 832550 1 - 0.0000 -
452.86/454.59 c 455 1250512 839855 1 - 0.0000 -
457.93/459.64 c 460 1265746 846633 1 - 0.0000 -
462.91/464.69 c 465 1281460 853809 1 - 0.0000 -
467.99/469.74 c 470 1295723 861716 1 - 0.0000 -
472.96/474.79 c 475 1308631 870209 1 - 0.0000 -
478.05/479.84 c 480 1323045 879231 1 - 0.0000 -
483.03/484.89 c 485 1337840 886335 1 - 0.0000 -
488.11/489.94 c 490 1353211 894045 1 - 0.0000 -
493.09/494.99 c 495 1367888 901652 1 - 0.0000 -
498.17/500.04 c 500 1383142 909415 1 - 0.0000 -
503.15/505.09 c 505 1398430 916340 1 - 0.0000 -
508.23/510.14 c 510 1413094 924698 1 - 0.0000 -
513.20/515.19 c 515 1427942 931961 1 - 0.0000 -
518.27/520.24 c 520 1442530 938823 1 - 0.0000 -
523.26/525.29 c 525 1456700 946803 1 - 0.0000 -
528.33/530.34 c 530 1471268 954498 1 - 0.0000 -
533.31/535.39 c 535 1486352 961343 1 - 0.0000 -
538.39/540.44 c 540 1501612 967930 1 - 0.0000 -
543.37/545.49 c 546 1516794 973822 1 - 0.0000 -
548.45/550.54 c 551 1531766 980670 1 - 0.0000 -
553.43/555.59 c 556 1546205 988541 1 - 0.0000 -
558.50/560.64 c 561 1561229 995307 1 - 0.0000 -
563.49/565.69 c 566 1575771 1002740 1 - 0.0000 -
568.56/570.74 c 571 1589845 1009793 1 - 0.0000 -
573.54/575.79 c 576 1605028 1016024 1 - 0.0000 -
578.62/580.84 c 581 1619771 1022663 1 - 0.0000 -
583.60/585.89 c 586 1634654 1028933 1 - 0.0000 -
588.68/590.94 c 591 1649325 1036044 1 - 0.0000 -
593.65/595.99 c 596 1663404 1043437 1 - 0.0000 -
598.74/601.04 c 601 1678750 1049734 1 - 0.0000 -
603.72/606.09 c 606 1693571 1055416 1 - 0.0000 -
608.80/611.14 c 611 1708972 1062268 1 - 0.0000 -
613.78/616.19 c 616 1723222 1069189 1 - 0.0000 -
618.85/621.24 c 621 1737350 1076945 1 - 0.0000 -
623.83/626.29 c 626 1751718 1083424 1 - 0.0000 -
628.90/631.34 c 631 1765880 1090444 1 - 0.0000 -
633.88/636.39 c 636 1777655 1099145 1 - 0.0000 -
638.96/641.44 c 641 1790394 1108121 1 - 0.0000 -
643.94/646.49 c 646 1804115 1117239 1 - 0.0000 -
649.02/651.54 c 652 1817121 1126576 1 - 0.0000 -
654.00/656.59 c 657 1831154 1134504 1 - 0.0000 -
659.08/661.64 c 662 1846651 1140875 1 - 0.0000 -
664.06/666.69 c 667 1860969 1147620 1 - 0.0000 -
669.13/671.74 c 672 1875883 1153749 1 - 0.0000 -
674.11/676.79 c 677 1891400 1159505 1 - 0.0000 -
679.20/681.84 c 682 1905642 1167352 1 - 0.0000 -
684.17/686.89 c 687 1920926 1173133 1 - 0.0000 -
689.25/691.94 c 692 1935497 1179826 1 - 0.0000 -
694.22/696.99 c 697 1951244 1186515 1 - 0.0000 -
699.31/702.04 c 702 1967391 1192025 1 - 0.0000 -
704.29/707.09 c 707 1982195 1198349 1 - 0.0000 -
709.37/712.14 c 712 1997004 1204770 1 - 0.0000 -
714.35/717.19 c 717 2012503 1210300 1 - 0.0000 -
719.42/722.24 c 722 2024432 1218701 1 - 0.0000 -
724.40/727.29 c 727 2038373 1226173 1 - 0.0000 -
729.47/732.34 c 732 2052111 1233753 1 - 0.0000 -
734.45/737.39 c 737 2066860 1239554 1 - 0.0000 -
739.54/742.44 c 742 2081838 1245019 1 - 0.0000 -
744.51/747.49 c 748 2097230 1251171 1 - 0.0000 -
749.59/752.54 c 753 2112698 1256702 1 - 0.0000 -
754.57/757.59 c 758 2128518 1262878 1 - 0.0000 -
759.65/762.64 c 763 2143013 1269521 1 - 0.0000 -
764.62/767.69 c 768 2157500 1277177 1 - 0.0000 -
769.70/772.74 c 773 2172018 1284351 1 - 0.0000 -
774.68/777.79 c 778 2187223 1290537 1 - 0.0000 -
779.76/782.84 c 783 2202072 1297111 1 - 0.0000 -
784.74/787.89 c 788 2216168 1304156 1 - 0.0000 -
789.82/792.94 c 793 2230845 1311031 1 - 0.0000 -
794.79/797.99 c 798 2246062 1318109 1 - 0.0000 -
799.88/803.04 c 803 2259718 1325254 1 - 0.0000 -
804.86/808.09 c 808 2273679 1333587 1 - 0.0000 -
809.94/813.14 c 813 2287865 1340373 1 - 0.0000 -
814.91/818.19 c 818 2302927 1346582 1 - 0.0000 -
819.99/823.24 c 823 2317068 1353559 1 - 0.0000 -
824.96/828.29 c 828 2330551 1361187 1 - 0.0000 -
830.04/833.34 c 833 2345690 1367775 1 - 0.0000 -
835.03/838.39 c 838 2360652 1375251 1 - 0.0000 -
840.10/843.44 c 843 2375522 1381691 1 - 0.0000 -
845.08/848.49 c 848 2390085 1387817 1 - 0.0000 -
850.16/853.54 c 854 2404063 1395656 1 - 0.0000 -
855.14/858.59 c 859 2419046 1401164 1 - 0.0000 -
860.22/863.64 c 864 2433222 1408021 1 - 0.0000 -
865.20/868.69 c 869 2447276 1415264 1 - 0.0000 -
870.27/873.74 c 874 2461966 1422857 1 - 0.0000 -
875.25/878.79 c 879 2475787 1430521 1 - 0.0000 -
880.33/883.84 c 884 2490188 1437202 1 - 0.0000 -
885.31/888.89 c 889 2503959 1444605 1 - 0.0000 -
890.39/893.94 c 894 2518576 1451755 1 - 0.0000 -
895.36/898.99 c 899 2531465 1460349 1 - 0.0000 -
900.45/904.04 c 904 2546623 1467744 1 - 0.0000 -
905.43/909.09 c 909 2560665 1474664 1 - 0.0000 -
910.51/914.14 c 914 2574883 1482263 1 - 0.0000 -
915.48/919.19 c 919 2588978 1489379 1 - 0.0000 -
920.56/924.24 c 924 2603679 1496604 1 - 0.0000 -
925.54/929.29 c 929 2618132 1504114 1 - 0.0000 -
930.62/934.34 c 934 2632200 1512196 1 - 0.0000 -
935.59/939.39 c 939 2646994 1520093 1 - 0.0000 -
940.67/944.44 c 944 2662604 1525800 1 - 0.0000 -
945.66/949.49 c 950 2676847 1532717 1 - 0.0000 -
950.74/954.54 c 955 2692037 1539126 1 - 0.0000 -
955.71/959.59 c 960 2707722 1547672 1 - 0.0000 -
960.79/964.64 c 965 2720644 1556234 1 - 0.0000 -
965.77/969.69 c 970 2733490 1564680 1 - 0.0000 -
970.84/974.74 c 975 2748052 1572783 1 - 0.0000 -
975.83/979.79 c 980 2760972 1581314 1 - 0.0000 -
980.90/984.84 c 985 2773916 1590096 1 - 0.0000 -
985.88/989.89 c 990 2788244 1599327 1 - 0.0000 -
990.97/994.94 c 995 2801701 1609358 1 - 0.0000 -
995.94/999.99 c 1000 2815310 1618293 1 - 0.0000 -
1001.02/1005.04 c 1005 2829531 1625721 1 - 0.0000 -
1006.00/1010.09 c 1010 2844015 1633481 1 - 0.0000 -
1011.08/1015.14 c 1015 2857923 1641586 1 - 0.0000 -
1016.06/1020.19 c 1020 2872627 1649562 1 - 0.0000 -
1021.13/1025.24 c 1025 2887674 1656560 1 - 0.0000 -
1026.10/1030.29 c 1030 2901814 1663215 1 - 0.0000 -
1031.19/1035.34 c 1035 2914389 1672639 1 - 0.0000 -
1036.17/1040.39 c 1040 2928052 1682213 1 - 0.0000 -
1041.25/1045.44 c 1045 2942136 1690244 1 - 0.0000 -
1046.23/1050.49 c 1050 2955381 1700606 1 - 0.0000 -
1051.30/1055.54 c 1056 2967939 1712013 1 - 0.0000 -
1056.28/1060.59 c 1061 2980438 1723371 1 - 0.0000 -
1061.37/1065.64 c 1066 2994099 1734328 1 - 0.0000 -
1066.34/1070.69 c 1071 3007364 1744381 1 - 0.0000 -
1071.42/1075.74 c 1076 3021113 1752622 1 - 0.0000 -
1076.40/1080.79 c 1081 3034866 1762350 1 - 0.0000 -
1081.48/1085.84 c 1086 3048136 1772850 1 - 0.0000 -
1086.46/1090.89 c 1091 3061116 1782953 1 - 0.0000 -
1091.53/1095.94 c 1096 3073821 1792471 1 - 0.0000 -
1096.51/1100.99 c 1101 3087274 1800599 1 - 0.0000 -
1101.60/1106.04 c 1106 3102484 1806596 1 - 0.0000 -
1106.57/1111.09 c 1111 3116426 1813427 1 - 0.0000 -
1111.65/1116.14 c 1116 3130568 1820547 1 - 0.0000 -
1116.63/1121.19 c 1121 3144650 1827826 1 - 0.0000 -
1121.70/1126.24 c 1126 3159250 1834411 1 - 0.0000 -
1126.68/1131.29 c 1131 3173409 1840758 1 - 0.0000 -
1131.76/1136.34 c 1136 3186631 1849191 1 - 0.0000 -
1136.74/1141.39 c 1141 3201053 1856175 1 - 0.0000 -
1141.82/1146.44 c 1146 3214173 1864236 1 - 0.0000 -
1146.79/1151.49 c 1152 3228108 1872294 1 - 0.0000 -
1151.88/1156.54 c 1157 3242484 1881054 1 - 0.0000 -
1156.85/1161.59 c 1162 3256485 1889134 1 - 0.0000 -
1161.93/1166.64 c 1167 3270153 1897542 1 - 0.0000 -
1166.91/1171.69 c 1172 3284452 1907244 1 - 0.0000 -
1171.99/1176.74 c 1177 3298476 1915846 1 - 0.0000 -
1176.97/1181.79 c 1182 3311824 1924907 1 - 0.0000 -
1182.05/1186.84 c 1187 3325833 1933251 1 - 0.0000 -
1187.02/1191.89 c 1192 3339762 1941590 1 - 0.0000 -
1192.10/1196.94 c 1197 3353804 1950052 1 - 0.0000 -
1197.08/1201.99 c 1202 3367450 1956934 1 - 0.0000 -
1202.15/1207.04 c 1207 3380850 1965100 1 - 0.0000 -
1207.13/1212.09 c 1212 3394175 1973343 1 - 0.0000 -
1212.21/1217.14 c 1217 3408437 1982080 1 - 0.0000 -
1217.19/1222.19 c 1222 3422943 1989031 1 - 0.0000 -
1222.28/1227.24 c 1227 3437425 1996268 1 - 0.0000 -
1227.25/1232.29 c 1232 3450004 2006421 1 - 0.0000 -
1232.34/1237.34 c 1237 3462154 2015418 1 - 0.0000 -
1237.32/1242.39 c 1242 3475502 2023986 1 - 0.0000 -
1242.41/1247.44 c 1247 3488997 2033281 1 - 0.0000 -
1247.39/1252.49 c 1252 3502681 2041433 1 - 0.0000 -
1252.47/1257.54 c 1258 3516331 2050556 1 - 0.0000 -
1257.45/1262.59 c 1263 3529394 2058208 1 - 0.0000 -
1262.53/1267.64 c 1268 3542578 2068486 1 - 0.0000 -
1267.51/1272.69 c 1273 3556091 2076605 1 - 0.0000 -
1272.60/1277.74 c 1278 3569623 2084628 1 - 0.0000 -
1277.58/1282.79 c 1283 3582621 2095411 1 - 0.0000 -
1282.66/1287.84 c 1288 3596352 2104194 1 - 0.0000 -
1287.65/1292.89 c 1293 3609389 2113609 1 - 0.0000 -
1292.73/1297.94 c 1298 3623303 2121820 1 - 0.0000 -
1297.71/1302.99 c 1303 3636334 2131767 1 - 0.0000 -
1302.79/1308.04 c 1308 3650089 2141052 1 - 0.0000 -
1307.77/1313.09 c 1313 3663024 2150247 1 - 0.0000 -
1312.86/1318.14 c 1318 3675599 2159333 1 - 0.0000 -
1317.84/1323.19 c 1323 3689394 2166966 1 - 0.0000 -
1322.91/1328.24 c 1328 3703257 2175853 1 - 0.0000 -
1327.90/1333.29 c 1333 3717383 2184948 1 - 0.0000 -
1332.98/1338.34 c 1338 3730912 2192600 1 - 0.0000 -
1337.97/1343.39 c 1343 3743532 2201929 1 - 0.0000 -
1343.04/1348.44 c 1348 3757126 2209982 1 - 0.0000 -
1348.03/1353.49 c 1354 3770386 2219799 1 - 0.0000 -
1353.12/1358.54 c 1359 3783438 2229628 1 - 0.0000 -
1358.09/1363.59 c 1364 3797224 2238345 1 - 0.0000 -
1363.17/1368.64 c 1369 3811164 2247327 1 - 0.0000 -
1368.16/1373.69 c 1374 3824576 2257245 1 - 0.0000 -
1373.24/1378.74 c 1379 3837912 2265803 1 - 0.0000 -
1378.22/1383.79 c 1384 3850608 2275223 1 - 0.0000 -
1383.30/1388.84 c 1389 3864084 2283883 1 - 0.0000 -
1388.29/1393.89 c 1394 3878370 2291600 1 - 0.0000 -
1393.37/1398.94 c 1399 3891415 2301516 1 - 0.0000 -
1398.35/1403.99 c 1404 3905875 2309292 1 - 0.0000 -
1403.44/1409.04 c 1409 3919152 2316066 1 - 0.0000 -
1408.42/1414.09 c 1414 3932301 2324885 1 - 0.0000 -
1413.51/1419.14 c 1419 3945834 2332242 1 - 0.0000 -
1418.48/1424.19 c 1424 3959641 2339935 1 - 0.0000 -
1423.56/1429.24 c 1429 3973062 2349730 1 - 0.0000 -
1428.55/1434.29 c 1434 3986702 2358691 1 - 0.0000 -
1433.62/1439.34 c 1439 3998138 2368678 1 - 0.0000 -
1438.62/1444.39 c 1444 4010768 2378606 1 - 0.0000 -
1443.69/1449.44 c 1449 4021987 2388576 1 - 0.0000 -
1448.67/1454.49 c 1454 4033778 2399263 1 - 0.0000 -
1453.76/1459.54 c 1460 4045924 2408950 1 - 0.0000 -
1458.74/1464.59 c 1465 4058932 2417263 1 - 0.0000 -
1463.82/1469.64 c 1470 4071157 2427433 1 - 0.0000 -
1468.81/1474.69 c 1475 4083366 2437020 1 - 0.0000 -
1473.89/1479.74 c 1480 4095961 2444853 1 - 0.0000 -
1478.87/1484.79 c 1485 4108308 2454604 1 - 0.0000 -
1483.96/1489.84 c 1490 4120543 2465329 1 - 0.0000 -
1488.94/1494.89 c 1495 4133236 2475200 1 - 0.0000 -
1494.02/1499.94 c 1500 4146276 2483564 1 - 0.0000 -
1499.00/1504.99 c 1505 4158891 2491637 1 - 0.0000 -
1504.09/1510.04 c 1510 4171429 2501108 1 - 0.0000 -
1509.07/1515.09 c 1515 4184099 2510788 1 - 0.0000 -
1514.15/1520.14 c 1520 4196464 2520587 1 - 0.0000 -
1519.14/1525.19 c 1525 4209668 2529630 1 - 0.0000 -
1524.21/1530.24 c 1530 4223581 2538047 1 - 0.0000 -
1529.20/1535.29 c 1535 4238211 2544970 1 - 0.0000 -
1534.29/1540.34 c 1540 4251361 2553940 1 - 0.0000 -
1539.26/1545.39 c 1545 4265157 2562374 1 - 0.0000 -
1544.35/1550.44 c 1550 4279533 2569349 1 - 0.0000 -
1549.33/1555.49 c 1556 4291924 2577336 1 - 0.0000 -
1554.41/1560.54 c 1561 4305783 2584585 1 - 0.0000 -
1559.39/1565.59 c 1566 4318912 2591956 1 - 0.0000 -
1564.48/1570.64 c 1571 4332495 2598385 1 - 0.0000 -
1569.46/1575.69 c 1576 4345628 2605800 1 - 0.0000 -
1574.54/1580.74 c 1581 4358831 2614263 1 - 0.0000 -
1579.53/1585.79 c 1586 4372231 2620559 1 - 0.0000 -
1584.61/1590.84 c 1591 4386167 2628181 1 - 0.0000 -
1589.59/1595.89 c 1596 4399972 2635095 1 - 0.0000 -
1594.66/1600.94 c 1601 4413128 2642191 1 - 0.0000 -
1599.65/1605.99 c 1606 4426383 2651073 1 - 0.0000 -
1604.73/1611.04 c 1611 4439508 2658604 1 - 0.0000 -
1609.71/1616.09 c 1616 4453749 2664867 1 - 0.0000 -
1614.79/1621.14 c 1621 4467059 2672355 1 - 0.0000 -
1619.77/1626.19 c 1626 4480869 2679838 1 - 0.0000 -
1624.84/1631.24 c 1631 4495221 2687372 1 - 0.0000 -
1629.82/1636.29 c 1636 4508796 2694484 1 - 0.0000 -
1634.90/1641.34 c 1641 4522259 2701845 1 - 0.0000 -
1639.87/1646.39 c 1646 4535958 2708701 1 - 0.0000 -
1644.95/1651.44 c 1651 4550196 2715133 1 - 0.0000 -
1649.93/1656.49 c 1656 4563634 2724260 1 - 0.0000 -
1655.01/1661.54 c 1662 4576550 2732132 1 - 0.0000 -
1659.99/1666.59 c 1667 4589846 2740291 1 - 0.0000 -
1665.07/1671.64 c 1672 4602418 2749007 1 - 0.0000 -
1670.05/1676.69 c 1677 4615378 2756661 1 - 0.0000 -
1675.13/1681.74 c 1682 4630111 2761144 1 - 0.0000 -
1680.11/1686.79 c 1687 4644559 2767189 1 - 0.0000 -
1685.18/1691.84 c 1692 4658795 2772885 1 - 0.0000 -
1690.16/1696.89 c 1697 4672514 2778786 1 - 0.0000 -
1695.24/1701.94 c 1702 4685860 2784902 1 - 0.0000 -
1700.22/1706.99 c 1707 4698293 2792136 1 - 0.0000 -
1705.31/1712.04 c 1712 4710967 2799943 1 - 0.0000 -
1710.28/1717.09 c 1717 4724837 2807509 1 - 0.0000 -
1715.36/1722.14 c 1722 4738020 2814942 1 - 0.0000 -
1720.34/1727.19 c 1727 4751502 2821379 1 - 0.0000 -
1725.41/1732.24 c 1732 4764543 2828396 1 - 0.0000 -
1730.39/1737.29 c 1737 4777841 2835890 1 - 0.0000 -
1735.47/1742.34 c 1742 4792040 2844032 1 - 0.0000 -
1740.45/1747.39 c 1747 4804480 2852968 1 - 0.0000 -
1745.53/1752.44 c 1752 4817905 2859591 1 - 0.0000 -
1750.50/1757.49 c 1758 4831828 2866282 1 - 0.0000 -
1755.58/1762.54 c 1763 4844836 2872509 1 - 0.0000 -
1760.56/1767.59 c 1768 4859180 2879374 1 - 0.0000 -
1765.64/1772.64 c 1773 4872542 2885416 1 - 0.0000 -
1770.62/1777.69 c 1778 4886999 2890883 1 - 0.0000 -
1775.69/1782.74 c 1783 4901321 2896653 1 - 0.0000 -
1780.67/1787.79 c 1788 4914622 2902943 1 - 0.0000 -
1785.75/1792.84 c 1793 4927171 2910123 1 - 0.0000 -
1790.73/1797.89 c 1798 4940748 2917396 1 - 0.0000 -
1795.81/1802.94 c 1803 4954501 2923246 1 - 0.0000 -
1800.79/1807.99 c 1808 4968611 2928728 1 - 0.0000 -
1805.88/1813.04 c 1813 4982870 2933355 1 - 0.0000 -
1810.86/1818.09 c 1818 4995551 2941251 1 - 0.0000 -
1815.94/1823.14 c 1823 5009407 2947820 1 - 0.0000 -
1820.92/1828.19 c 1828 5024606 2952158 1 - 0.0000 -
1825.98/1833.24 c 1833 5038831 2957950 1 - 0.0000 -
1830.96/1838.29 c 1838 5051885 2964423 1 - 0.0000 -
1836.04/1843.34 c 1843 5065866 2971439 1 - 0.0000 -
1841.02/1848.39 c 1848 5079617 2978388 1 - 0.0000 -
1846.09/1853.44 c 1853 5094120 2985785 1 - 0.0000 -
1851.08/1858.49 c 1858 5108116 2991739 1 - 0.0000 -
1856.16/1863.54 c 1864 5121154 2998121 1 - 0.0000 -
1861.14/1868.59 c 1869 5134941 3003979 1 - 0.0000 -
1866.21/1873.64 c 1874 5148641 3010560 1 - 0.0000 -
1871.19/1878.69 c 1879 5162671 3016973 1 - 0.0000 -
1876.26/1883.74 c 1884 5177271 3022762 1 - 0.0000 -
1881.25/1888.79 c 1889 5191484 3026946 1 - 0.0000 -
1886.32/1893.84 c 1894 5206549 3032301 1 - 0.0000 -
1891.30/1898.89 c 1899 5219208 3038896 1 - 0.0000 -
1896.38/1903.94 c 1904 5233159 3044238 1 - 0.0000 -
1901.35/1908.99 c 1909 5246419 3050919 1 - 0.0000 -
1906.45/1914.04 c 1914 5260619 3058067 1 - 0.0000 -
1911.43/1919.09 c 1919 5273711 3064364 1 - 0.0000 -
1916.51/1924.14 c 1924 5286863 3070928 1 - 0.0000 -
1921.50/1929.19 c 1929 5300765 3076320 1 - 0.0000 -
1926.57/1934.24 c 1934 5314711 3082482 1 - 0.0000 -
1931.55/1939.29 c 1939 5328830 3089418 1 - 0.0000 -
1936.63/1944.34 c 1944 5342902 3095752 1 - 0.0000 -
1941.62/1949.39 c 1949 5356617 3101876 1 - 0.0000 -
1946.70/1954.44 c 1954 5370418 3108273 1 - 0.0000 -
1951.68/1959.49 c 1960 5385255 3114102 1 - 0.0000 -
1956.76/1964.54 c 1965 5399118 3120434 1 - 0.0000 -
1961.75/1969.59 c 1970 5412868 3127001 1 - 0.0000 -
1966.83/1974.64 c 1975 5427112 3133009 1 - 0.0000 -
1971.81/1979.69 c 1980 5440331 3138481 1 - 0.0000 -
1976.89/1984.74 c 1985 5454229 3143571 1 - 0.0000 -
1981.88/1989.79 c 1990 5469197 3148057 1 - 0.0000 -
1986.95/1994.84 c 1995 5483776 3153210 1 - 0.0000 -
1991.94/1999.89 c 2000 5496881 3159573 1 - 0.0000 -
1997.03/2004.94 c 2005 5510080 3166677 1 - 0.0000 -
2002.00/2009.99 c 2010 5523751 3172630 1 - 0.0000 -
2007.09/2015.04 c 2015 5538207 3177550 1 - 0.0000 -
2012.07/2020.09 c 2020 5551895 3182973 1 - 0.0000 -
2017.15/2025.14 c 2025 5566398 3188152 1 - 0.0000 -
2022.13/2030.19 c 2030 5579675 3194338 1 - 0.0000 -
2027.21/2035.24 c 2035 5592701 3201450 1 - 0.0000 -
2032.19/2040.29 c 2040 5607024 3207232 1 - 0.0000 -
2037.27/2045.34 c 2045 5620604 3212697 1 - 0.0000 -
2042.26/2050.38 c 2050 5634857 3217682 1 - 0.0000 -
2047.34/2055.43 c 2055 5649376 3222802 1 - 0.0000 -
2052.32/2060.48 c 2060 5663578 3227603 1 - 0.0000 -
2057.41/2065.53 c 2066 5677204 3233110 1 - 0.0000 -
2062.39/2070.58 c 2071 5691382 3238284 1 - 0.0000 -
2067.47/2075.63 c 2076 5704667 3243475 1 - 0.0000 -
2072.46/2080.68 c 2081 5718370 3249440 1 - 0.0000 -
2077.54/2085.73 c 2086 5733120 3255525 1 - 0.0000 -
2082.52/2090.78 c 2091 5746496 3261138 1 - 0.0000 -
2087.60/2095.83 c 2096 5760213 3266717 1 - 0.0000 -
2092.58/2100.88 c 2101 5773364 3273426 1 - 0.0000 -
2097.67/2105.93 c 2106 5786562 3279347 1 - 0.0000 -
2102.65/2110.98 c 2111 5800871 3284767 1 - 0.0000 -
2107.73/2116.03 c 2116 5814250 3290290 1 - 0.0000 -
2112.72/2121.08 c 2121 5828778 3296064 1 - 0.0000 -
2117.80/2126.13 c 2126 5842803 3300898 1 - 0.0000 -
2122.78/2131.18 c 2131 5857872 3306057 1 - 0.0000 -
2127.86/2136.23 c 2136 5870446 3311619 1 - 0.0000 -
2132.84/2141.28 c 2141 5884969 3316791 1 - 0.0000 -
2137.92/2146.33 c 2146 5899303 3322319 1 - 0.0000 -
2142.90/2151.38 c 2151 5913899 3329095 1 - 0.0000 -
2147.98/2156.43 c 2156 5927191 3335053 1 - 0.0000 -
2152.97/2161.48 c 2161 5941100 3340355 1 - 0.0000 -
2158.05/2166.53 c 2167 5955296 3345491 1 - 0.0000 -
2163.03/2171.58 c 2172 5969602 3350115 1 - 0.0000 -
2168.11/2176.63 c 2177 5983301 3355084 1 - 0.0000 -
2173.10/2181.68 c 2182 5995748 3361154 1 - 0.0000 -
2178.18/2186.73 c 2187 6009673 3366556 1 - 0.0000 -
2183.17/2191.78 c 2192 6023340 3372762 1 - 0.0000 -
2188.24/2196.83 c 2197 6037711 3378180 1 - 0.0000 -
2193.23/2201.88 c 2202 6052064 3382859 1 - 0.0000 -
2198.31/2206.93 c 2207 6065670 3389402 1 - 0.0000 -
2203.29/2211.98 c 2212 6079648 3394972 1 - 0.0000 -
2208.38/2217.03 c 2217 6093660 3400243 1 - 0.0000 -
2213.36/2222.08 c 2222 6107691 3405499 1 - 0.0000 -
2218.44/2227.13 c 2227 6121827 3410023 1 - 0.0000 -
2223.43/2232.18 c 2232 6135705 3415953 1 - 0.0000 -
2228.50/2237.23 c 2237 6149381 3421390 1 - 0.0000 -
2233.49/2242.28 c 2242 6162955 3426778 1 - 0.0000 -
2238.57/2247.33 c 2247 6177101 3431502 1 - 0.0000 -
2243.55/2252.38 c 2252 6190974 3437441 1 - 0.0000 -
2248.63/2257.43 c 2257 6204515 3442337 1 - 0.0000 -
2253.61/2262.48 c 2262 6218018 3448559 1 - 0.0000 -
2258.70/2267.53 c 2268 6232215 3453865 1 - 0.0000 -
2263.68/2272.58 c 2273 6243773 3461421 1 - 0.0000 -
2268.76/2277.63 c 2278 6257572 3467274 1 - 0.0000 -
2273.75/2282.68 c 2283 6271131 3472781 1 - 0.0000 -
2278.83/2287.73 c 2288 6284784 3477339 1 - 0.0000 -
2283.81/2292.78 c 2293 6296457 3485417 1 - 0.0000 -
2288.89/2297.83 c 2298 6310628 3490593 1 - 0.0000 -
2293.88/2302.88 c 2303 6324750 3495639 1 - 0.0000 -
2298.96/2307.93 c 2308 6337557 3501909 1 - 0.0000 -
2303.94/2312.98 c 2313 6351900 3506086 1 - 0.0000 -
2309.03/2318.03 c 2318 6366514 3510847 1 - 0.0000 -
2314.01/2323.08 c 2323 6380631 3515890 1 - 0.0000 -
2319.09/2328.13 c 2328 6395234 3520488 1 - 0.0000 -
2324.08/2333.18 c 2333 6409363 3525984 1 - 0.0000 -
2329.14/2338.23 c 2338 6423744 3531137 1 - 0.0000 -
2334.13/2343.28 c 2343 6438120 3536750 1 - 0.0000 -
2339.21/2348.33 c 2348 6451102 3542046 1 - 0.0000 -
2344.19/2353.38 c 2353 6464847 3546845 1 - 0.0000 -
2349.28/2358.43 c 2358 6478321 3553045 1 - 0.0000 -
2354.26/2363.48 c 2363 6492354 3558010 1 - 0.0000 -
2359.35/2368.53 c 2369 6505897 3563469 1 - 0.0000 -
2364.33/2373.58 c 2374 6520561 3568487 1 - 0.0000 -
2369.41/2378.63 c 2379 6534382 3573515 1 - 0.0000 -
2374.39/2383.68 c 2384 6547914 3578815 1 - 0.0000 -
2379.47/2388.73 c 2389 6561941 3583529 1 - 0.0000 -
2384.46/2393.78 c 2394 6575909 3588553 1 - 0.0000 -
2389.54/2398.83 c 2399 6589112 3594375 1 - 0.0000 -
2394.53/2403.88 c 2404 6602668 3600614 1 - 0.0000 -
2399.60/2408.93 c 2409 6616204 3606710 1 - 0.0000 -
2404.59/2413.98 c 2414 6629962 3612195 1 - 0.0000 -
2409.67/2419.03 c 2419 6643484 3617412 1 - 0.0000 -
2414.66/2424.08 c 2424 6657927 3622344 1 - 0.0000 -
2419.74/2429.13 c 2429 6671410 3627940 1 - 0.0000 -
2424.72/2434.18 c 2434 6684108 3634457 1 - 0.0000 -
2429.79/2439.23 c 2439 6697611 3640255 1 - 0.0000 -
2434.78/2444.28 c 2444 6711167 3645714 1 - 0.0000 -
2439.86/2449.33 c 2449 6724852 3651167 1 - 0.0000 -
2444.84/2454.38 c 2454 6738597 3656149 1 - 0.0000 -
2449.93/2459.43 c 2459 6753291 3661967 1 - 0.0000 -
2454.91/2464.48 c 2464 6767228 3668208 1 - 0.0000 -
2459.99/2469.54 c 2470 6781313 3672903 1 - 0.0000 -
2464.97/2474.58 c 2475 6792695 3682020 1 - 0.0000 -
2470.05/2479.63 c 2480 6805931 3688297 1 - 0.0000 -
2475.03/2484.68 c 2485 6819603 3694487 1 - 0.0000 -
2480.12/2489.73 c 2490 6833836 3699645 1 - 0.0000 -
2485.11/2494.78 c 2495 6847792 3704672 1 - 0.0000 -
2490.18/2499.83 c 2500 6861082 3710891 1 - 0.0000 -
2495.17/2504.88 c 2505 6874691 3716594 1 - 0.0000 -
2500.25/2509.93 c 2510 6888220 3721893 1 - 0.0000 -
2505.23/2514.98 c 2515 6902499 3727667 1 - 0.0000 -
2510.32/2520.03 c 2520 6915565 3733059 1 - 0.0000 -
2515.30/2525.08 c 2525 6928938 3738549 1 - 0.0000 -
2520.38/2530.13 c 2530 6943106 3743725 1 - 0.0000 -
2525.37/2535.18 c 2535 6956185 3749614 1 - 0.0000 -
2530.44/2540.24 c 2540 6969726 3754740 1 - 0.0000 -
2535.42/2545.28 c 2545 6983022 3760678 1 - 0.0000 -
2540.51/2550.33 c 2550 6996740 3766360 1 - 0.0000 -
2545.49/2555.38 c 2555 7010149 3771963 1 - 0.0000 -
2550.57/2560.43 c 2560 7022427 3779212 1 - 0.0000 -
2555.56/2565.48 c 2565 7036572 3784916 1 - 0.0000 -
2560.64/2570.53 c 2571 7050658 3789460 1 - 0.0000 -
2565.62/2575.58 c 2576 7064779 3794488 1 - 0.0000 -
2570.70/2580.63 c 2581 7078210 3800771 1 - 0.0000 -
2579.38/2589.35 c 2589 7084075 0 1 - 0.0000 -
2584.36/2594.39 c 2594 7091470 7321 1 - 0.0000 -
2589.44/2599.44 c 2599 7100846 16348 1 - 0.0000 -
2594.43/2604.49 c 2604 7110956 25860 1 - 0.0000 -
2599.51/2609.54 c 2610 7121294 34109 1 - 0.0000 -
2604.49/2614.59 c 2615 7131939 43843 1 - 0.0000 -
2609.57/2619.64 c 2620 7140646 52241 1 - 0.0000 -
2614.56/2624.69 c 2625 7151164 61518 1 - 0.0000 -
2619.64/2629.74 c 2630 7160917 70149 1 - 0.0000 -
2624.63/2634.79 c 2635 7170329 79150 1 - 0.0000 -
2629.71/2639.84 c 2640 7183358 88284 1 - 0.0000 -
2634.69/2644.89 c 2645 7195936 97246 1 - 0.0000 -
2639.77/2649.94 c 2650 7207656 106800 1 - 0.0000 -
2644.76/2654.99 c 2655 7219607 116086 1 - 0.0000 -
2649.85/2660.04 c 2660 7230867 124956 1 - 0.0000 -
2654.82/2665.09 c 2665 7242069 133677 1 - 0.0000 -
2659.91/2670.14 c 2670 7253313 142496 1 - 0.0000 -
2664.89/2675.19 c 2675 7265372 151949 1 - 0.0000 -
2669.97/2680.24 c 2680 7276201 161127 1 - 0.0000 -
2674.95/2685.29 c 2685 7288835 169099 1 - 0.0000 -
2680.03/2690.34 c 2690 7300944 177988 1 - 0.0000 -
2685.02/2695.39 c 2695 7310636 186411 1 - 0.0000 -
2690.09/2700.44 c 2700 7320846 194811 1 - 0.0000 -
2695.08/2705.49 c 2706 7332778 203783 1 - 0.0000 -
2700.16/2710.54 c 2711 7345321 213126 1 - 0.0000 -
2705.14/2715.59 c 2716 7357611 222265 1 - 0.0000 -
2710.23/2720.64 c 2721 7367650 231099 1 - 0.0000 -
2715.22/2725.69 c 2726 7380717 240207 1 - 0.0000 -
2720.30/2730.74 c 2731 7393564 250086 1 - 0.0000 -
2725.28/2735.79 c 2736 7406788 259068 1 - 0.0000 -
2730.36/2740.84 c 2741 7416216 267513 1 - 0.0000 -
2735.34/2745.89 c 2746 7426352 276213 1 - 0.0000 -
2740.43/2750.94 c 2751 7437526 285876 1 - 0.0000 -
2745.41/2755.99 c 2756 7448532 295841 1 - 0.0000 -
2750.50/2761.04 c 2761 7461338 305637 1 - 0.0000 -
2755.49/2766.09 c 2766 7475093 315282 1 - 0.0000 -
2760.56/2771.14 c 2771 7488041 324836 1 - 0.0000 -
2765.55/2776.19 c 2776 7500171 335067 1 - 0.0000 -
2770.63/2781.24 c 2781 7514165 346178 1 - 0.0000 -
2775.61/2786.29 c 2786 7528700 356114 1 - 0.0000 -
2780.69/2791.34 c 2791 7542968 366231 1 - 0.0000 -
2785.67/2796.39 c 2796 7557266 377290 1 - 0.0000 -
2790.76/2801.44 c 2801 7571712 387522 1 - 0.0000 -
2795.74/2806.49 c 2806 7585129 397916 1 - 0.0000 -
2800.83/2811.54 c 2812 7598527 409959 1 - 0.0000 -
2805.80/2816.59 c 2817 7613052 421820 1 - 0.0000 -
2810.89/2821.64 c 2822 7626546 432190 1 - 0.0000 -
2815.88/2826.69 c 2827 7637094 442261 1 - 0.0000 -
2820.96/2831.74 c 2832 7649994 452617 1 - 0.0000 -
2825.94/2836.79 c 2837 7662892 463843 1 - 0.0000 -
2831.03/2841.84 c 2842 7675712 474595 1 - 0.0000 -
2836.00/2846.89 c 2847 7687556 484698 1 - 0.0000 -
2841.09/2851.94 c 2852 7699820 494852 1 - 0.0000 -
2846.07/2856.99 c 2857 7713226 504475 1 - 0.0000 -
2851.16/2862.04 c 2862 7727365 514627 1 - 0.0000 -
2856.14/2867.09 c 2867 7741116 524830 1 - 0.0000 -
2861.23/2872.14 c 2872 7755894 533605 1 - 0.0000 -
2866.21/2877.19 c 2877 7770122 543016 1 - 0.0000 -
2871.29/2882.24 c 2882 7783828 553505 1 - 0.0000 -
2876.27/2887.29 c 2887 7798347 563568 1 - 0.0000 -
2881.35/2892.34 c 2892 7812119 573353 1 - 0.0000 -
2886.34/2897.39 c 2897 7826485 584293 1 - 0.0000 -
2891.42/2902.44 c 2902 7839412 595087 1 - 0.0000 -
2896.40/2907.49 c 2908 7853695 604105 1 - 0.0000 -
2901.49/2912.54 c 2913 7867891 612841 1 - 0.0000 -
2906.47/2917.59 c 2918 7882103 621448 1 - 0.0000 -
2911.55/2922.64 c 2923 7896220 630162 1 - 0.0000 -
2916.53/2927.69 c 2928 7911016 638292 1 - 0.0000 -
2921.62/2932.74 c 2933 7924604 647807 1 - 0.0000 -
2926.60/2937.79 c 2938 7938206 657211 1 - 0.0000 -
2931.68/2942.84 c 2943 7951689 667964 1 - 0.0000 -
2936.66/2947.89 c 2948 7965487 677682 1 - 0.0000 -
2941.74/2952.94 c 2953 7978717 687224 1 - 0.0000 -
2946.73/2957.99 c 2958 7992830 697058 1 - 0.0000 -
2951.81/2963.04 c 2963 8006024 706815 1 - 0.0000 -
2956.80/2968.09 c 2968 8019885 717154 1 - 0.0000 -
2961.88/2973.14 c 2973 8033928 727471 1 - 0.0000 -
2966.86/2978.19 c 2978 8048202 736888 1 - 0.0000 -
2971.94/2983.24 c 2983 8062732 746394 1 - 0.0000 -
2976.92/2988.29 c 2988 8077366 754789 1 - 0.0000 -
2982.01/2993.34 c 2993 8091728 764384 1 - 0.0000 -
2986.99/2998.39 c 2998 8105815 772522 1 - 0.0000 -
2992.07/3003.44 c 3003 8120261 780601 1 - 0.0000 -
2997.06/3008.49 c 3008 8134386 790476 1 - 0.0000 -
3002.14/3013.54 c 3014 8148501 798760 1 - 0.0000 -
3007.12/3018.59 c 3019 8162824 807166 1 - 0.0000 -
3012.20/3023.64 c 3024 8176925 816171 1 - 0.0000 -
3017.19/3028.69 c 3029 8191164 824971 1 - 0.0000 -
3022.27/3033.74 c 3034 8205823 833640 1 - 0.0000 -
3027.25/3038.79 c 3039 8219752 843606 1 - 0.0000 -
3032.33/3043.84 c 3044 8232747 854447 1 - 0.0000 -
3037.32/3048.89 c 3049 8245972 863678 1 - 0.0000 -
3042.40/3053.94 c 3054 8260303 871764 1 - 0.0000 -
3047.38/3058.99 c 3059 8274445 879590 1 - 0.0000 -
3052.47/3064.04 c 3064 8288226 888417 1 - 0.0000 -
3057.46/3069.09 c 3069 8300977 898772 1 - 0.0000 -
3062.53/3074.14 c 3074 8314325 909466 1 - 0.0000 -
3067.52/3079.19 c 3079 8327646 918602 1 - 0.0000 -
3072.59/3084.24 c 3084 8341752 927842 1 - 0.0000 -
3077.58/3089.29 c 3089 8356031 936606 1 - 0.0000 -
3082.66/3094.34 c 3094 8369427 945274 1 - 0.0000 -
3087.65/3099.39 c 3099 8382026 955171 1 - 0.0000 -
3092.72/3104.44 c 3104 8395439 964408 1 - 0.0000 -
3097.71/3109.49 c 3110 8409008 975093 1 - 0.0000 -
3102.80/3114.54 c 3115 8420108 985517 1 - 0.0000 -
3107.77/3119.59 c 3120 8432998 995767 1 - 0.0000 -
3112.86/3124.64 c 3125 8444970 1006260 1 - 0.0000 -
3117.84/3129.69 c 3130 8456297 1016872 1 - 0.0000 -
3122.92/3134.74 c 3135 8468812 1026038 1 - 0.0000 -
3127.91/3139.79 c 3140 8483277 1036045 1 - 0.0000 -
3132.99/3144.84 c 3145 8495998 1046922 1 - 0.0000 -
3137.97/3149.89 c 3150 8509030 1057681 1 - 0.0000 -
3143.06/3154.94 c 3155 8523295 1065669 1 - 0.0000 -
3148.04/3159.99 c 3160 8537637 1070922 1 - 0.0000 -
3153.13/3165.04 c 3165 8552823 1077516 1 - 0.0000 -
3158.11/3170.09 c 3170 8567628 1083662 1 - 0.0000 -
3163.19/3175.14 c 3175 8581818 1089466 1 - 0.0000 -
3168.17/3180.19 c 3180 8596783 1095681 1 - 0.0000 -
3173.25/3185.24 c 3185 8611746 1102234 1 - 0.0000 -
3178.23/3190.29 c 3190 8626199 1109199 1 - 0.0000 -
3183.31/3195.34 c 3195 8639743 1116513 1 - 0.0000 -
3188.29/3200.39 c 3200 8654369 1123141 1 - 0.0000 -
3193.36/3205.44 c 3205 8668070 1130896 1 - 0.0000 -
3198.35/3210.49 c 3210 8681486 1138689 1 - 0.0000 -
3203.43/3215.54 c 3216 8695968 1146203 1 - 0.0000 -
3208.40/3220.59 c 3221 8709877 1153814 1 - 0.0000 -
3213.48/3225.64 c 3226 8724381 1161072 1 - 0.0000 -
3218.46/3230.69 c 3231 8738182 1168530 1 - 0.0000 -
3223.54/3235.74 c 3236 8751481 1175698 1 - 0.0000 -
3228.52/3240.79 c 3241 8763440 1184426 1 - 0.0000 -
3233.60/3245.84 c 3246 8776955 1193143 1 - 0.0000 -
3238.58/3250.89 c 3251 8791422 1200734 1 - 0.0000 -
3243.66/3255.94 c 3256 8804583 1208706 1 - 0.0000 -
3248.64/3260.99 c 3261 8818763 1215770 1 - 0.0000 -
3253.72/3266.04 c 3266 8833014 1223485 1 - 0.0000 -
3258.69/3271.09 c 3271 8847093 1233245 1 - 0.0000 -
3263.78/3276.14 c 3276 8860281 1241500 1 - 0.0000 -
3268.76/3281.19 c 3281 8874277 1249833 1 - 0.0000 -
3273.83/3286.24 c 3286 8888771 1256840 1 - 0.0000 -
3278.81/3291.29 c 3291 8902557 1264258 1 - 0.0000 -
3283.89/3296.34 c 3296 8916664 1271040 1 - 0.0000 -
3288.86/3301.39 c 3301 8931372 1277256 1 - 0.0000 -
3293.95/3306.44 c 3306 8945708 1284231 1 - 0.0000 -
3298.92/3311.49 c 3312 8959091 1292276 1 - 0.0000 -
3304.00/3316.54 c 3317 8972775 1300214 1 - 0.0000 -
3308.98/3321.59 c 3322 8987293 1307836 1 - 0.0000 -
3314.06/3326.64 c 3327 9000276 1315863 1 - 0.0000 -
3319.04/3331.69 c 3332 9013398 1323737 1 - 0.0000 -
3324.12/3336.74 c 3337 9027267 1330824 1 - 0.0000 -
3329.09/3341.79 c 3342 9041252 1338413 1 - 0.0000 -
3334.17/3346.84 c 3347 9056281 1344322 1 - 0.0000 -
3339.15/3351.89 c 3352 9070434 1351586 1 - 0.0000 -
3344.23/3356.94 c 3357 9084132 1359498 1 - 0.0000 -
3349.21/3361.99 c 3362 9096640 1367142 1 - 0.0000 -
3354.30/3367.04 c 3367 9110580 1374540 1 - 0.0000 -
3359.28/3372.09 c 3372 9124358 1382856 1 - 0.0000 -
3364.36/3377.14 c 3377 9138476 1390340 1 - 0.0000 -
3369.35/3382.19 c 3382 9152297 1397598 1 - 0.0000 -
3374.42/3387.24 c 3387 9165712 1404943 1 - 0.0000 -
3379.40/3392.29 c 3392 9179290 1413127 1 - 0.0000 -
3384.49/3397.34 c 3397 9191411 1421048 1 - 0.0000 -
3389.47/3402.39 c 3402 9205355 1428859 1 - 0.0000 -
3394.55/3407.44 c 3407 9220360 1435100 1 - 0.0000 -
3399.53/3412.49 c 3412 9234626 1440763 1 - 0.0000 -
3404.62/3417.54 c 3418 9247551 1449248 1 - 0.0000 -
3409.60/3422.59 c 3423 9262142 1456272 1 - 0.0000 -
3414.68/3427.64 c 3428 9276241 1463705 1 - 0.0000 -
3419.66/3432.69 c 3433 9290231 1471848 1 - 0.0000 -
3424.74/3437.74 c 3438 9304695 1479151 1 - 0.0000 -
3429.72/3442.79 c 3443 9318307 1487788 1 - 0.0000 -
3434.81/3447.84 c 3448 9331367 1495669 1 - 0.0000 -
3439.79/3452.89 c 3453 9345575 1502895 1 - 0.0000 -
3444.87/3457.94 c 3458 9359406 1509721 1 - 0.0000 -
3449.85/3462.99 c 3463 9374065 1516284 1 - 0.0000 -
3454.94/3468.04 c 3468 9387299 1523872 1 - 0.0000 -
3459.93/3473.09 c 3473 9401248 1530676 1 - 0.0000 -
3465.00/3478.14 c 3478 9415177 1537225 1 - 0.0000 -
3469.99/3483.19 c 3483 9429563 1544226 1 - 0.0000 -
3475.06/3488.24 c 3488 9443737 1550891 1 - 0.0000 -
3480.05/3493.29 c 3493 9458285 1558283 1 - 0.0000 -
3485.13/3498.34 c 3498 9471574 1564959 1 - 0.0000 -
3490.11/3503.39 c 3503 9484730 1571630 1 - 0.0000 -
3495.19/3508.44 c 3508 9498612 1578848 1 - 0.0000 -
3500.17/3513.49 c 3514 9512797 1585658 1 - 0.0000 -
3505.25/3518.54 c 3519 9526085 1593165 1 - 0.0000 -
3510.24/3523.59 c 3524 9540955 1599841 1 - 0.0000 -
3515.32/3528.64 c 3529 9554685 1606050 1 - 0.0000 -
3520.30/3533.69 c 3534 9569336 1612620 1 - 0.0000 -
3525.38/3538.74 c 3539 9581328 1619334 1 - 0.0000 -
3530.37/3543.79 c 3544 9594306 1627144 1 - 0.0000 -
3535.45/3548.84 c 3549 9608297 1633846 1 - 0.0000 -
3540.44/3553.89 c 3554 9623468 1638299 1 - 0.0000 -
3545.51/3558.94 c 3559 9636505 1645211 1 - 0.0000 -
3550.50/3563.99 c 3564 9649905 1652247 1 - 0.0000 -
3555.58/3569.04 c 3569 9664101 1659887 1 - 0.0000 -
3560.57/3574.09 c 3574 9678731 1666584 1 - 0.0000 -
3565.65/3579.14 c 3579 9692201 1672472 1 - 0.0000 -
3570.63/3584.19 c 3584 9705403 1679345 1 - 0.0000 -
3575.71/3589.24 c 3589 9719072 1686680 1 - 0.0000 -
3580.69/3594.29 c 3594 9731737 1694432 1 - 0.0000 -
3585.77/3599.34 c 3599 9745453 1701640 1 - 0.0000 -
3588.05/3601.68 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.05/3601.68 c Total Time : 3601.6800
3588.05/3601.68 c solving : 3601.6800
3588.05/3601.68 c presolving : 0.0032 (included in solving)
3588.05/3601.68 c B&B Tree :
3588.05/3601.68 c nodes (total) : 1
3588.05/3601.68 c Solution :
3588.05/3601.68 c Solutions found : 0
3588.05/3601.68 c Primal Bound : -
3588.05/3601.68 c Dual Bound : +0.00000000000000e+00
3588.05/3601.68 c Gap : -
3588.05/3601.69 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 (61083 MiB free)
memory of node 1: 64510 MiB (62972 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447730-1721361233/watcher-4447730-1721361233 -o /tmp/evaluation-result-4447730-1721361233/solver-4447730-1721361233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011504 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447730-1721361233.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1011561, runsolver pid=1011547
[startup+0.100081 s]*
/proc/loadavg: 1.10 1.97 3.02 8/267 1011575
/proc/meminfo: memFree=126944496/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=107404 memory=23680 CPUtime=0.09 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 3285 0 0 0 9 0 0 0 20 0 3 0 188287519 109981696 5920 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 26851 5920 2926 3032 0 9144 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=107404 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 1942 0 0 0 8 0 0 0 20 0 3 0 188287520 109981696 5920 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=107404 memory=19020 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287521 109981696 5920 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107404 KiB
Current children cumulated memory: 23680 KiB
[startup+0.206529 s]*
/proc/loadavg: 1.10 1.97 3.02 7/267 1011575
/proc/meminfo: memFree=126927872/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=107404 memory=27292 CPUtime=0.2 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 4402 0 0 0 20 0 0 0 20 0 3 0 188287519 109981696 6823 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 26851 6823 2942 3032 0 10350 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=107404 memory=6876556183782621315 CPUtime=0.19 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3059 0 0 0 19 0 0 0 20 0 3 0 188287520 109981696 6823 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=107404 memory=19020 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287521 109981696 6823 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107404 KiB
Current children cumulated memory: 27292 KiB
[startup+0.306379 s]*
/proc/loadavg: 1.10 1.97 3.02 8/267 1011575
/proc/meminfo: memFree=126921388/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=107404 memory=28348 CPUtime=0.3 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 4646 0 0 0 29 1 0 0 20 0 3 0 188287519 109981696 7087 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 26851 7087 2942 3032 0 10357 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=107404 memory=-7880590079371469183 CPUtime=0.29 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3303 0 0 0 29 0 0 0 20 0 3 0 188287520 109981696 7087 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=107404 memory=4571036637617787759 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287521 109981696 7087 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107404 KiB
Current children cumulated memory: 28348 KiB
[startup+0.700207 s]
/proc/loadavg: 1.10 1.97 3.02 8/267 1011575
/proc/meminfo: memFree=126904284/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=107404 memory=28612 CPUtime=0.69 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 4732 0 0 0 68 1 0 0 20 0 3 0 188287519 109981696 7153 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 26851 7153 2942 3032 0 10435 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=107404 memory=0 CPUtime=0.67 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3389 0 0 0 67 0 0 0 20 0 3 0 188287520 109981696 7153 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=107404 memory=0 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287521 109981696 7153 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107404 KiB
Current children cumulated memory: 28612 KiB
[startup+1.50022 s]
/proc/loadavg: 1.10 1.97 3.02 8/267 1011575
/proc/meminfo: memFree=126897268/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=107404 memory=32172 CPUtime=1.49 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 8305 0 0 0 148 1 0 0 20 0 3 0 188287519 109981696 8043 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 26851 8043 2942 3032 0 11500 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=107404 memory=0 CPUtime=1.48 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 6949 0 0 0 147 1 0 0 20 0 3 0 188287520 109981696 8043 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=107404 memory=0 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287521 109981696 8043 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 107404 KiB
Current children cumulated memory: 32172 KiB
[startup+3.10659 s]
/proc/loadavg: 1.34 2.00 3.03 8/267 1011575
/proc/meminfo: memFree=126864772/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=107404 memory=33504 CPUtime=3.09 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 8813 0 0 0 308 1 0 0 20 0 3 0 188287519 109981696 8376 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 26851 8376 2942 3032 0 11768 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=107404 memory=0 CPUtime=3.08 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 7455 0 0 0 307 1 0 0 20 0 3 0 188287520 109981696 8376 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=107404 memory=2273 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188287521 109981696 8376 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 107404 KiB
Current children cumulated memory: 33504 KiB
[startup+6.30017 s]
/proc/loadavg: 1.34 2.00 3.03 8/267 1011577
/proc/meminfo: memFree=126838988/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=107984 memory=36840 CPUtime=6.27 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 12598 0 0 0 625 2 0 0 20 0 3 0 188287519 110575616 9210 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 26996 9210 2942 3032 0 12357 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=107984 memory=0 CPUtime=6.26 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 11214 0 0 0 624 2 0 0 20 0 3 0 188287520 110575616 9210 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=107984 memory=11604 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188287521 110575616 9210 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107984 KiB
Current children cumulated memory: 36840 KiB
[startup+12.7002 s]
/proc/loadavg: 1.83 2.08 3.05 7/267 1011625
/proc/meminfo: memFree=126836424/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=109144 memory=46796 CPUtime=12.65 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 23522 0 0 0 1260 5 0 0 20 0 3 0 188287519 111763456 11699 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 27286 11699 2990 3032 0 14998 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=109144 memory=11604 CPUtime=12.64 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 22098 0 0 0 1259 5 0 0 20 0 3 0 188287520 111763456 11699 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=109144 memory=33096 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188287521 111763456 11699 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 109144 KiB
Current children cumulated memory: 46796 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 2.15 3.06 7/267 1011628
/proc/meminfo: memFree=126759548/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=112944 memory=63708 CPUtime=25.41 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 42843 0 0 0 2531 10 0 0 20 0 3 0 188287519 115654656 15927 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 28236 15927 2990 3032 0 19132 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=112944 memory=11604 CPUtime=25.39 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 41342 0 0 0 2530 9 0 0 20 0 3 0 188287520 115654656 15927 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=112944 memory=280397611102032 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 188287521 115654656 15927 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 112944 KiB
Current children cumulated memory: 63708 KiB
[startup+51.1062 s]
/proc/loadavg: 2.79 2.30 3.08 7/267 1011679
/proc/meminfo: memFree=126784144/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=131296 memory=101336 CPUtime=50.92 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 75297 0 0 0 5070 22 0 0 20 0 3 0 188287519 134447104 25334 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 32824 25334 2990 3032 0 28506 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=131296 memory=11604 CPUtime=50.91 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 73725 0 0 0 5069 22 0 0 20 0 3 0 188287520 134447104 25334 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=131296 memory=92004 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 188287521 134447104 25334 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 131296 KiB
Current children cumulated memory: 101336 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.62 3.15 7/265 1012068
/proc/meminfo: memFree=126603168/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=229948 memory=166964 CPUtime=101.95 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 139130 0 0 0 10144 51 0 0 20 0 3 0 188287519 235466752 41741 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 57487 41741 2990 3032 0 44608 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=229948 memory=11604 CPUtime=101.94 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 137478 0 0 0 10143 51 0 0 20 0 3 0 188287520 235466752 41741 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=229948 memory=46536 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 188287521 235466752 41741 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 229948 KiB
Current children cumulated memory: 166964 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.87 3.20 7/265 1012079
/proc/meminfo: memFree=126381272/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=278112 memory=248756 CPUtime=161.74 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 211412 0 0 0 16090 84 0 0 20 0 3 0 188287519 284786688 62189 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 69528 62189 2990 3032 0 65631 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=278112 memory=237856 CPUtime=161.72 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 209713 0 0 0 16088 84 0 0 20 0 3 0 188287520 284786688 62189 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=278112 memory=11604 CPUtime=0 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 188287521 284786688 62189 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 278112 KiB
################
# More data... #
################
/proc/1011561/statm: 318224 310302 2990 3032 0 313521 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=1272896 memory=1241200 CPUtime=3389.23 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3562710 0 0 0 337123 1800 0 0 20 0 3 0 188287520 1303445504 310302 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=1272896 memory=11604 CPUtime=0.03 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 132 0 0 0 1 2 0 0 20 0 3 0 188287521 1303445504 310302 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3389.47 s
Current children cumulated vsize: 1272896 KiB
Current children cumulated memory: 1241208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.06 7/264 1013468
/proc/meminfo: memFree=121508476/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=1272896 memory=1241440 CPUtime=3449.26 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 3612980 0 0 0 343091 1835 0 0 20 0 3 0 188287519 1303445504 310360 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 318224 310360 2990 3032 0 313521 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=1272896 memory=1241200 CPUtime=3449.01 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3610429 0 0 0 343071 1830 0 0 20 0 3 0 188287520 1303445504 310360 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=1272896 memory=11604 CPUtime=0.03 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 134 0 0 0 1 2 0 0 20 0 3 0 188287521 1303445504 310360 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3449.26 s
Current children cumulated vsize: 1272896 KiB
Current children cumulated memory: 1241440 KiB
[startup+3522.3 s]
/proc/loadavg: 5.11 4.34 4.14 7/264 1013480
/proc/meminfo: memFree=121419444/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=1338432 memory=1272996 CPUtime=3509.04 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 3673386 0 0 0 349038 1866 0 0 20 0 3 0 188287519 1370554368 318249 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 334608 318249 2990 3032 0 321410 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=1338432 memory=11604 CPUtime=3508.8 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3670819 0 0 0 349018 1862 0 0 20 0 3 0 188287520 1370554368 318249 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=1338432 memory=1246116 CPUtime=0.03 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 136 0 0 0 1 2 0 0 20 0 3 0 188287521 1370554368 318249 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3509.04 s
Current children cumulated vsize: 1338432 KiB
Current children cumulated memory: 1272996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.65 4.37 4.17 7/264 1013490
/proc/meminfo: memFree=121303368/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=1403968 memory=1328752 CPUtime=3568.83 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 3725127 0 0 0 354986 1897 0 0 20 0 3 0 188287519 1437663232 332188 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 350992 332188 2990 3032 0 335349 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=1403968 memory=11604 CPUtime=3568.58 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3722544 0 0 0 354965 1893 0 0 20 0 3 0 188287520 1437663232 332188 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=1403968 memory=1327728 CPUtime=0.03 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 188287521 1437663232 332188 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3568.83 s
Current children cumulated vsize: 1403968 KiB
Current children cumulated memory: 1328752 KiB
[startup+3601.7 s]
# the end of solver process 1011561 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3569.02 s, system=19.1463 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.60 4.37 4.17 7/264 1013490
/proc/meminfo: memFree=121300592/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=1403968 memory=1329520 CPUtime=3570.53 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 3726439 0 0 0 355155 1898 0 0 20 0 3 0 188287519 1437663232 332380 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 350992 332380 2990 3032 0 335541 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=1403968 memory=-6953134261842972523 CPUtime=3570.27 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3723856 0 0 0 355134 1893 0 0 20 0 3 0 188287520 1437663232 332380 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=1403968 memory=-9187040403409501381 CPUtime=0.03 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 188287521 1437663232 332380 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3570.53 s
Current children cumulated vsize: 1403968 KiB
Current children cumulated memory: 1329520 KiB
[startup+3590.4 s]
/proc/loadavg: 4.63 4.38 4.17 7/264 1013493
/proc/meminfo: memFree=121290692/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=1403968 memory=1336712 CPUtime=3576.9 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 3731441 0 0 0 355789 1901 0 0 20 0 3 0 188287519 1437663232 334178 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 350992 334178 2990 3032 0 337350 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=1403968 memory=13904 CPUtime=3576.65 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3728858 0 0 0 355768 1897 0 0 20 0 3 0 188287520 1437663232 334178 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=1403968 memory=5432 CPUtime=0.03 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 188287521 1437663232 334178 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3576.9 s
Current children cumulated vsize: 1403968 KiB
Current children cumulated memory: 1336712 KiB
[startup+3596.8 s]
/proc/loadavg: 4.58 4.37 4.17 7/264 1013495
/proc/meminfo: memFree=121278268/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=1403968 memory=1345460 CPUtime=3583.28 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 3736537 0 0 0 356424 1904 0 0 20 0 3 0 188287519 1437663232 336365 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 350992 336365 2990 3032 0 339526 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=1403968 memory=1321884 CPUtime=3583.03 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3733950 0 0 0 356403 1900 0 0 20 0 3 0 188287520 1437663232 336365 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=1403968 memory=1320536 CPUtime=0.03 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 188287521 1437663232 336365 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3583.28 s
Current children cumulated vsize: 1403968 KiB
Current children cumulated memory: 1345460 KiB
[startup+3600 s]*
/proc/loadavg: 4.53 4.36 4.17 7/264 1013495
/proc/meminfo: memFree=121270336/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=1403968 memory=1347060 CPUtime=3586.47 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 3740786 0 0 0 356741 1906 0 0 20 0 3 0 188287519 1437663232 336765 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 350992 336765 2990 3032 0 339926 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=1403968 memory=-6953134261842972523 CPUtime=3586.21 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3738630 0 0 0 356720 1901 0 0 20 0 3 0 188287520 1437663232 336765 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=1403968 memory=-9187040403409501381 CPUtime=0.03 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 188287521 1437663232 336765 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3586.47 s
Current children cumulated vsize: 1403968 KiB
Current children cumulated memory: 1347060 KiB
[startup+3600.8 s]
/proc/loadavg: 4.53 4.36 4.17 7/264 1013495
/proc/meminfo: memFree=121270336/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=1403968 memory=1347060 CPUtime=3587.26 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 3792413 0 0 0 356818 1908 0 0 20 0 3 0 188287519 1437663232 336765 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 350992 336765 2990 3032 0 339926 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=1403968 memory=1347060 CPUtime=3587 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3789829 0 0 0 356796 1904 0 0 20 0 3 0 188287520 1437663232 336765 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=1403968 memory=1924 CPUtime=0.03 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 188287521 1437663232 336765 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3587.26 s
Current children cumulated vsize: 1403968 KiB
Current children cumulated memory: 1347060 KiB
[startup+3601.2 s]
/proc/loadavg: 4.53 4.36 4.17 6/264 1013543
/proc/meminfo: memFree=121577852/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=1403968 memory=1347060 CPUtime=3587.65 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 3820937 0 0 0 356855 1910 0 0 20 0 3 0 188287519 1437663232 336765 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 350992 336765 2990 3032 0 339926 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=1403968 memory=1924 CPUtime=3587.4 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3818353 0 0 0 356834 1906 0 0 20 0 3 0 188287520 1437663232 336765 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=1403968 memory=19288 CPUtime=0.03 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 188287521 1437663232 336765 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3587.65 s
Current children cumulated vsize: 1403968 KiB
Current children cumulated memory: 1347060 KiB
[startup+3601.6 s]
/proc/loadavg: 4.53 4.36 4.17 6/264 1013543
/proc/meminfo: memFree=121577852/131524600 swapFree=131071996/131071996
[pid=1011561] ppid=1011547 vsize=1402944 memory=1346036 CPUtime=3588.05 cores=1,3
/proc/1011561/stat : 1011561 (fscip) S 1011547 1011561 1011492 0 -1 1077936128 3834920 0 0 0 356894 1911 0 0 20 0 3 0 188287519 1436614656 336509 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
/proc/1011561/statm: 350736 336509 2990 3032 0 339670 0
[pid=1011561/tid=1011569] ppid=1011547 vsize=1402944 memory=7692 CPUtime=3587.8 cores=1,3
/proc/1011561/task/1011569/stat : 1011569 (fscip) R 1011547 1011561 1011492 0 -1 4194368 3832333 0 0 0 356873 1907 0 0 20 0 3 0 188287520 1436614656 336509 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
[pid=1011561/tid=1011571] ppid=1011547 vsize=1402944 memory=-7025191855964852331 CPUtime=0.03 cores=1,3
/proc/1011561/task/1011571/stat : 1011571 (fscip) S 1011547 1011561 1011492 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 188287521 1436614656 336509 134679101440 4194304 16613245 140737066116816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40595456 140737066120211 140737066120327 140737066120327 140737066127344 0
Current children cumulated CPU time: 3588.05 s
Current children cumulated vsize: 1402944 KiB
Current children cumulated memory: 1346036 KiB
Child status: 0
Real time (s): 3601.7
CPU time (s): 3588.17
CPU user time (s): 3569.02
CPU system time (s): 19.1463
CPU usage (%): 99.6243
Max. virtual memory (cumulated for all children) (KiB): 2908892
Max. memory (cumulated for all children) (KiB): 2877188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.02
system time used= 19.1463
maximum resident set size= 2877188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3836474
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= 10871
involuntary context switches= 4543
# summary of solver processes directly reported to runsolver:
# pid: 1011561
# total CPU time (s): 3588.17
# total CPU user time (s): 3569.02
# total CPU system time (s): 19.1463
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63436 second user time and 19.2337 second system time
The end
Begin job on nodeC022 at 2024-07-19 05:54:06
IDJOB=4447730
IDBENCH=160032
IDSOLVER=3064
FILE ID=nodeC022/4447730-1721361233
RUNJOBID= nodeC022-1721361246-1011504
SLURM_JOB_ID= 7542779
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i3-r2.cnf.gz-plain.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-4447730-1721361233/watcher-4447730-1721361233 -o /tmp/evaluation-result-4447730-1721361233/solver-4447730-1721361233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011504 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447730-1721361233.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9609dcb4dff0e4cd594607c8c2a4557e
RANDOM SEED=1407414039
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 : 3949.608
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 : 3728.824
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 : 3867.216
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 : 3753.169
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 : 3710.347
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 : 3772.545
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 : 3697.150
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 : 3635.510
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: 127033844 kB
MemAvailable: 129687260 kB
Buffers: 498920 kB
Cached: 2979944 kB
SwapCached: 0 kB
Active: 1196872 kB
Inactive: 2642900 kB
Active(anon): 1440 kB
Inactive(anon): 405372 kB
Active(file): 1195432 kB
Inactive(file): 2237528 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112092 kB
Writeback: 12 kB
AnonPages: 360252 kB
Mapped: 106904 kB
Shmem: 45912 kB
KReclaimable: 120208 kB
Slab: 235572 kB
SReclaimable: 120208 kB
SUnreclaim: 115364 kB
KernelStack: 3776 kB
PageTables: 10008 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 802596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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= 889972 MiB
End job on nodeC022 at 2024-07-19 06:54:08