0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22745088, getVmSize() = 22745088, SCIPgetMemUsed() = 1024242, 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 = 15822848, getVmSize() = 24723456, SCIPgetMemUsed() = 1157380, 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-4464553-1722385803
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.00 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.19 c 5 3483 3207 1 - 0.0000 -
10.15/10.24 c 10 14011 12167 1 - 0.0000 -
15.13/15.29 c 15 24536 17959 1 - 0.0000 -
20.21/20.33 c 20 34970 25649 1 - 0.0000 -
25.20/25.38 c 25 45379 33333 1 - 0.0000 -
30.28/30.43 c 30 56247 42400 1 - 0.0000 -
35.27/35.47 c 35 68862 52781 1 - 0.0000 -
40.35/40.52 c 41 82039 63172 1 - 0.0000 -
45.33/45.57 c 46 95085 74184 1 - 0.0000 -
50.41/50.62 c 51 108194 84897 1 - 0.0000 -
55.40/55.67 c 56 120700 95681 1 - 0.0000 -
60.47/60.72 c 61 133998 104919 1 - 0.0000 -
65.46/65.77 c 66 146728 114286 1 - 0.0000 -
70.54/70.82 c 71 160300 125227 1 - 0.0000 -
75.53/75.87 c 76 173553 134413 1 - 0.0000 -
80.61/80.92 c 81 186958 142844 1 - 0.0000 -
85.59/85.97 c 86 200420 152118 1 - 0.0000 -
90.67/91.02 c 91 214031 160628 1 - 0.0000 -
95.65/96.07 c 96 226747 170102 1 - 0.0000 -
100.74/101.12 c 101 240330 178855 1 - 0.0000 -
105.72/106.17 c 106 253776 187342 1 - 0.0000 -
110.79/111.22 c 111 266830 197424 1 - 0.0000 -
115.78/116.27 c 116 279479 207077 1 - 0.0000 -
120.86/121.32 c 121 292810 216377 1 - 0.0000 -
125.84/126.37 c 126 305828 226341 1 - 0.0000 -
130.93/131.41 c 131 318366 237025 1 - 0.0000 -
135.91/136.46 c 136 332424 247338 1 - 0.0000 -
141.00/141.51 c 142 347119 255561 1 - 0.0000 -
145.98/146.56 c 147 361625 264314 1 - 0.0000 -
151.06/151.61 c 152 376140 273710 1 - 0.0000 -
156.04/156.66 c 157 390550 282407 1 - 0.0000 -
161.13/161.71 c 162 405192 290823 1 - 0.0000 -
166.10/166.76 c 167 419761 299628 1 - 0.0000 -
171.18/171.81 c 172 433826 308572 1 - 0.0000 -
176.16/176.86 c 177 448023 317250 1 - 0.0000 -
181.24/181.91 c 182 461843 326719 1 - 0.0000 -
186.22/186.96 c 187 476500 335883 1 - 0.0000 -
191.30/192.01 c 192 490788 345176 1 - 0.0000 -
196.29/197.06 c 197 504269 355053 1 - 0.0000 -
201.37/202.11 c 202 517932 364591 1 - 0.0000 -
206.36/207.16 c 207 531337 373750 1 - 0.0000 -
211.44/212.21 c 212 544588 384354 1 - 0.0000 -
216.42/217.26 c 217 558043 395182 1 - 0.0000 -
221.50/222.31 c 222 571783 404312 1 - 0.0000 -
226.49/227.36 c 227 585347 414384 1 - 0.0000 -
231.57/232.41 c 232 598577 425995 1 - 0.0000 -
236.56/237.46 c 237 611719 436756 1 - 0.0000 -
241.64/242.51 c 243 625319 446837 1 - 0.0000 -
246.63/247.56 c 248 637793 457892 1 - 0.0000 -
251.71/252.61 c 253 650814 469118 1 - 0.0000 -
256.70/257.66 c 258 665738 477851 1 - 0.0000 -
261.78/262.71 c 263 679757 486471 1 - 0.0000 -
266.76/267.76 c 268 692833 496433 1 - 0.0000 -
271.85/272.81 c 273 706300 506817 1 - 0.0000 -
276.83/277.86 c 278 719296 517020 1 - 0.0000 -
281.92/282.91 c 283 733194 526985 1 - 0.0000 -
286.90/287.96 c 288 746900 537582 1 - 0.0000 -
291.99/293.01 c 293 760468 547763 1 - 0.0000 -
296.97/298.06 c 298 774005 557240 1 - 0.0000 -
302.05/303.11 c 303 787327 567167 1 - 0.0000 -
307.04/308.16 c 308 803019 576116 1 - 0.0000 -
312.12/313.21 c 313 817025 583930 1 - 0.0000 -
317.11/318.26 c 318 831220 592623 1 - 0.0000 -
322.18/323.31 c 323 845874 600834 1 - 0.0000 -
327.17/328.36 c 328 858672 611118 1 - 0.0000 -
332.26/333.41 c 333 872180 620393 1 - 0.0000 -
337.24/338.46 c 338 885042 630406 1 - 0.0000 -
342.31/343.51 c 344 898771 639133 1 - 0.0000 -
347.30/348.56 c 349 912986 648140 1 - 0.0000 -
352.37/353.61 c 354 927614 657539 1 - 0.0000 -
357.35/358.66 c 359 941651 666936 1 - 0.0000 -
362.43/363.71 c 364 955710 675614 1 - 0.0000 -
367.41/368.76 c 369 970089 683277 1 - 0.0000 -
372.49/373.81 c 374 984087 691424 1 - 0.0000 -
377.47/378.86 c 379 998254 700072 1 - 0.0000 -
382.55/383.91 c 384 1012166 709324 1 - 0.0000 -
387.52/388.96 c 389 1025189 718070 1 - 0.0000 -
392.60/394.01 c 394 1038043 726660 1 - 0.0000 -
397.58/399.06 c 399 1051343 734765 1 - 0.0000 -
402.66/404.11 c 404 1064610 742083 1 - 0.0000 -
407.64/409.16 c 409 1079046 749770 1 - 0.0000 -
412.72/414.21 c 414 1093291 757580 1 - 0.0000 -
417.70/419.26 c 419 1108169 765402 1 - 0.0000 -
422.77/424.31 c 424 1122578 773934 1 - 0.0000 -
427.75/429.36 c 429 1137093 782502 1 - 0.0000 -
432.82/434.41 c 434 1151364 790152 1 - 0.0000 -
437.81/439.46 c 439 1165852 797657 1 - 0.0000 -
442.88/444.51 c 445 1180328 804708 1 - 0.0000 -
447.87/449.56 c 450 1193972 812188 1 - 0.0000 -
452.94/454.61 c 455 1208010 819527 1 - 0.0000 -
457.91/459.66 c 460 1222182 825693 1 - 0.0000 -
463.00/464.71 c 465 1235547 832810 1 - 0.0000 -
467.98/469.76 c 470 1249814 839646 1 - 0.0000 -
473.06/474.81 c 475 1263985 845594 1 - 0.0000 -
478.04/479.86 c 480 1278549 852447 1 - 0.0000 -
483.12/484.91 c 485 1291697 859825 1 - 0.0000 -
488.11/489.96 c 490 1303611 867678 1 - 0.0000 -
493.18/495.01 c 495 1317092 875508 1 - 0.0000 -
498.17/500.06 c 500 1330766 882851 1 - 0.0000 -
503.26/505.11 c 505 1344750 890049 1 - 0.0000 -
508.24/510.16 c 510 1358993 896931 1 - 0.0000 -
513.31/515.21 c 515 1372357 904001 1 - 0.0000 -
518.29/520.26 c 520 1386589 910970 1 - 0.0000 -
523.37/525.31 c 525 1400901 917702 1 - 0.0000 -
528.35/530.36 c 530 1413924 925492 1 - 0.0000 -
533.43/535.41 c 535 1428041 932018 1 - 0.0000 -
538.42/540.46 c 540 1441507 938402 1 - 0.0000 -
543.49/545.51 c 546 1455046 945609 1 - 0.0000 -
548.48/550.56 c 551 1468049 953009 1 - 0.0000 -
553.56/555.61 c 556 1482250 959157 1 - 0.0000 -
558.55/560.66 c 561 1496448 965226 1 - 0.0000 -
563.62/565.71 c 566 1509865 971314 1 - 0.0000 -
568.61/570.76 c 571 1524220 977086 1 - 0.0000 -
573.69/575.81 c 576 1538010 983858 1 - 0.0000 -
578.67/580.86 c 581 1551259 990839 1 - 0.0000 -
583.75/585.91 c 586 1565087 997191 1 - 0.0000 -
588.73/590.96 c 591 1578776 1004016 1 - 0.0000 -
593.82/596.01 c 596 1591667 1010543 1 - 0.0000 -
598.80/601.06 c 601 1605810 1016216 1 - 0.0000 -
603.88/606.11 c 606 1619242 1022502 1 - 0.0000 -
608.87/611.16 c 611 1633194 1028147 1 - 0.0000 -
613.94/616.21 c 616 1646347 1035186 1 - 0.0000 -
618.92/621.26 c 621 1659583 1041713 1 - 0.0000 -
624.00/626.31 c 626 1673348 1047733 1 - 0.0000 -
628.99/631.36 c 631 1687604 1052884 1 - 0.0000 -
634.07/636.41 c 636 1701758 1059064 1 - 0.0000 -
639.05/641.46 c 641 1715372 1065350 1 - 0.0000 -
644.13/646.51 c 647 1728855 1071370 1 - 0.0000 -
649.11/651.56 c 652 1741722 1079024 1 - 0.0000 -
654.19/656.61 c 657 1754822 1084821 1 - 0.0000 -
659.18/661.66 c 662 1767979 1091405 1 - 0.0000 -
664.26/666.71 c 667 1778400 1099853 1 - 0.0000 -
669.24/671.76 c 672 1790383 1108110 1 - 0.0000 -
674.32/676.81 c 677 1803063 1116666 1 - 0.0000 -
679.31/681.86 c 682 1814976 1125455 1 - 0.0000 -
684.38/686.91 c 687 1828428 1132658 1 - 0.0000 -
689.37/691.96 c 692 1842139 1139071 1 - 0.0000 -
694.45/697.01 c 697 1854956 1145483 1 - 0.0000 -
699.43/702.06 c 702 1869088 1150784 1 - 0.0000 -
704.51/707.11 c 707 1883408 1156289 1 - 0.0000 -
709.50/712.16 c 712 1896966 1162615 1 - 0.0000 -
714.57/717.21 c 717 1910506 1168885 1 - 0.0000 -
719.55/722.26 c 722 1923911 1174762 1 - 0.0000 -
724.63/727.31 c 727 1938228 1181080 1 - 0.0000 -
729.61/732.36 c 732 1952831 1187044 1 - 0.0000 -
734.70/737.41 c 737 1967613 1192111 1 - 0.0000 -
739.68/742.46 c 742 1981574 1197875 1 - 0.0000 -
744.76/747.51 c 748 1994916 1204007 1 - 0.0000 -
749.74/752.56 c 753 2009140 1208863 1 - 0.0000 -
754.83/757.61 c 758 2021358 1216129 1 - 0.0000 -
759.81/762.66 c 763 2032962 1223810 1 - 0.0000 -
764.89/767.71 c 768 2046733 1229823 1 - 0.0000 -
769.87/772.76 c 773 2059781 1236779 1 - 0.0000 -
774.94/777.81 c 778 2073487 1242127 1 - 0.0000 -
779.93/782.86 c 783 2087634 1247868 1 - 0.0000 -
785.01/787.91 c 788 2102604 1253158 1 - 0.0000 -
789.99/792.96 c 793 2117078 1258621 1 - 0.0000 -
795.07/798.01 c 798 2132643 1263992 1 - 0.0000 -
800.05/803.06 c 803 2145691 1271330 1 - 0.0000 -
805.14/808.11 c 808 2159592 1278054 1 - 0.0000 -
810.12/813.16 c 813 2173433 1285096 1 - 0.0000 -
815.20/818.21 c 818 2187843 1290937 1 - 0.0000 -
820.18/823.26 c 823 2201941 1297045 1 - 0.0000 -
825.25/828.31 c 828 2215305 1303882 1 - 0.0000 -
830.24/833.36 c 833 2229270 1310227 1 - 0.0000 -
835.32/838.41 c 838 2243639 1316797 1 - 0.0000 -
840.31/843.46 c 843 2256731 1323781 1 - 0.0000 -
845.39/848.51 c 849 2269600 1331488 1 - 0.0000 -
850.37/853.56 c 854 2283259 1338557 1 - 0.0000 -
855.45/858.61 c 859 2297475 1344231 1 - 0.0000 -
860.44/863.66 c 864 2311284 1350797 1 - 0.0000 -
865.52/868.71 c 869 2324165 1357737 1 - 0.0000 -
870.50/873.76 c 874 2337885 1364030 1 - 0.0000 -
875.58/878.81 c 879 2352395 1370332 1 - 0.0000 -
880.57/883.86 c 884 2366429 1377776 1 - 0.0000 -
885.65/888.91 c 889 2380654 1383861 1 - 0.0000 -
890.64/893.96 c 894 2393890 1389892 1 - 0.0000 -
895.72/899.01 c 899 2407653 1397037 1 - 0.0000 -
900.70/904.06 c 904 2421754 1402292 1 - 0.0000 -
905.79/909.11 c 909 2435148 1408736 1 - 0.0000 -
910.76/914.16 c 914 2448400 1415746 1 - 0.0000 -
915.84/919.21 c 919 2462317 1423112 1 - 0.0000 -
920.82/924.26 c 924 2475554 1430370 1 - 0.0000 -
925.90/929.31 c 929 2489242 1436763 1 - 0.0000 -
930.89/934.36 c 934 2502211 1443863 1 - 0.0000 -
935.97/939.41 c 939 2516342 1450380 1 - 0.0000 -
940.95/944.46 c 944 2528557 1458400 1 - 0.0000 -
946.04/949.51 c 950 2542453 1465930 1 - 0.0000 -
951.02/954.56 c 955 2555790 1472307 1 - 0.0000 -
956.11/959.61 c 960 2569782 1479364 1 - 0.0000 -
961.08/964.66 c 965 2582715 1486484 1 - 0.0000 -
966.16/969.71 c 970 2596368 1493497 1 - 0.0000 -
971.15/974.76 c 975 2610528 1499601 1 - 0.0000 -
976.23/979.81 c 980 2623981 1507527 1 - 0.0000 -
981.21/984.86 c 985 2637429 1515194 1 - 0.0000 -
986.30/989.91 c 990 2651654 1522377 1 - 0.0000 -
991.28/994.96 c 995 2666565 1527588 1 - 0.0000 -
996.36/1000.01 c 1000 2680126 1534228 1 - 0.0000 -
1001.35/1005.06 c 1005 2694303 1540826 1 - 0.0000 -
1006.43/1010.11 c 1010 2709439 1548481 1 - 0.0000 -
1011.42/1015.16 c 1015 2721498 1556752 1 - 0.0000 -
1016.49/1020.21 c 1020 2733603 1564758 1 - 0.0000 -
1021.47/1025.26 c 1025 2747717 1572448 1 - 0.0000 -
1026.55/1030.31 c 1030 2759693 1580587 1 - 0.0000 -
1031.54/1035.36 c 1035 2771623 1588836 1 - 0.0000 -
1036.61/1040.41 c 1040 2785264 1597428 1 - 0.0000 -
1041.60/1045.46 c 1045 2798311 1607267 1 - 0.0000 -
1046.68/1050.51 c 1051 2811190 1615936 1 - 0.0000 -
1051.67/1055.56 c 1056 2824361 1623444 1 - 0.0000 -
1056.75/1060.61 c 1061 2838406 1630438 1 - 0.0000 -
1061.73/1065.66 c 1066 2851512 1638245 1 - 0.0000 -
1066.82/1070.71 c 1071 2864912 1645716 1 - 0.0000 -
1071.80/1075.76 c 1076 2879578 1652033 1 - 0.0000 -
1076.88/1080.81 c 1081 2893217 1658930 1 - 0.0000 -
1081.86/1085.86 c 1086 2905466 1666239 1 - 0.0000 -
1086.94/1090.91 c 1091 2918041 1675503 1 - 0.0000 -
1091.93/1095.96 c 1096 2931242 1683926 1 - 0.0000 -
1097.01/1101.01 c 1101 2944486 1691431 1 - 0.0000 -
1102.00/1106.06 c 1106 2956712 1701911 1 - 0.0000 -
1107.08/1111.11 c 1111 2968924 1712962 1 - 0.0000 -
1112.06/1116.16 c 1116 2980732 1723617 1 - 0.0000 -
1117.14/1121.21 c 1121 2993617 1734000 1 - 0.0000 -
1122.13/1126.26 c 1126 3006252 1743572 1 - 0.0000 -
1127.21/1131.31 c 1131 3019348 1751162 1 - 0.0000 -
1132.18/1136.36 c 1136 3032204 1760619 1 - 0.0000 -
1137.27/1141.41 c 1141 3045069 1770016 1 - 0.0000 -
1142.25/1146.46 c 1146 3057367 1780301 1 - 0.0000 -
1147.33/1151.51 c 1152 3069245 1789643 1 - 0.0000 -
1152.32/1156.56 c 1157 3081936 1797122 1 - 0.0000 -
1157.40/1161.61 c 1162 3095984 1803380 1 - 0.0000 -
1162.38/1166.66 c 1167 3109851 1809667 1 - 0.0000 -
1167.47/1171.71 c 1172 3122553 1816289 1 - 0.0000 -
1172.45/1176.76 c 1177 3135932 1823463 1 - 0.0000 -
1177.53/1181.81 c 1182 3149615 1830454 1 - 0.0000 -
1182.52/1186.86 c 1187 3163527 1836301 1 - 0.0000 -
1187.60/1191.91 c 1192 3177180 1842538 1 - 0.0000 -
1192.58/1196.96 c 1197 3189831 1850558 1 - 0.0000 -
1197.66/1202.01 c 1202 3203066 1857547 1 - 0.0000 -
1202.64/1207.06 c 1207 3215829 1865609 1 - 0.0000 -
1207.73/1212.11 c 1212 3229408 1873046 1 - 0.0000 -
1212.71/1217.16 c 1217 3243130 1881610 1 - 0.0000 -
1217.79/1222.21 c 1222 3256631 1889266 1 - 0.0000 -
1222.77/1227.26 c 1227 3269693 1897396 1 - 0.0000 -
1227.85/1232.31 c 1232 3283385 1906537 1 - 0.0000 -
1232.84/1237.36 c 1237 3296980 1914977 1 - 0.0000 -
1237.91/1242.41 c 1242 3309844 1923641 1 - 0.0000 -
1242.90/1247.46 c 1247 3323189 1931525 1 - 0.0000 -
1247.98/1252.51 c 1253 3337012 1939963 1 - 0.0000 -
1252.97/1257.56 c 1258 3350189 1947926 1 - 0.0000 -
1258.05/1262.61 c 1263 3363784 1954144 1 - 0.0000 -
1263.03/1267.66 c 1268 3376657 1962112 1 - 0.0000 -
1268.11/1272.71 c 1273 3389466 1970104 1 - 0.0000 -
1273.10/1277.76 c 1278 3402654 1979188 1 - 0.0000 -
1278.18/1282.81 c 1283 3416470 1986344 1 - 0.0000 -
1283.16/1287.86 c 1288 3430576 1992846 1 - 0.0000 -
1288.24/1292.91 c 1293 3443239 2001257 1 - 0.0000 -
1293.23/1297.96 c 1298 3455207 2010634 1 - 0.0000 -
1298.31/1303.01 c 1303 3467486 2019507 1 - 0.0000 -
1303.29/1308.06 c 1308 3480067 2027793 1 - 0.0000 -
1308.37/1313.11 c 1313 3493692 2035743 1 - 0.0000 -
1313.36/1318.16 c 1318 3506525 2044309 1 - 0.0000 -
1318.43/1323.21 c 1323 3519590 2053135 1 - 0.0000 -
1323.42/1328.26 c 1328 3532361 2060688 1 - 0.0000 -
1328.50/1333.31 c 1333 3544954 2070292 1 - 0.0000 -
1333.48/1338.36 c 1338 3558000 2078071 1 - 0.0000 -
1338.56/1343.41 c 1343 3570855 2085678 1 - 0.0000 -
1343.55/1348.46 c 1348 3583824 2096244 1 - 0.0000 -
1348.63/1353.51 c 1354 3596998 2104835 1 - 0.0000 -
1353.61/1358.56 c 1359 3609622 2113832 1 - 0.0000 -
1358.69/1363.61 c 1364 3623173 2121728 1 - 0.0000 -
1363.68/1368.66 c 1369 3635819 2131464 1 - 0.0000 -
1368.76/1373.71 c 1374 3649194 2140292 1 - 0.0000 -
1373.74/1378.76 c 1379 3661654 2149448 1 - 0.0000 -
1378.83/1383.81 c 1384 3673953 2157826 1 - 0.0000 -
1383.81/1388.86 c 1389 3687140 2166085 1 - 0.0000 -
1388.88/1393.91 c 1394 3700476 2174298 1 - 0.0000 -
1393.87/1398.96 c 1399 3714106 2182608 1 - 0.0000 -
1398.96/1404.01 c 1404 3727494 2190848 1 - 0.0000 -
1403.94/1409.06 c 1409 3739534 2199156 1 - 0.0000 -
1409.01/1414.11 c 1414 3752737 2206625 1 - 0.0000 -
1414.00/1419.16 c 1419 3765551 2216290 1 - 0.0000 -
1419.08/1424.21 c 1424 3778528 2225765 1 - 0.0000 -
1424.07/1429.26 c 1429 3791522 2234571 1 - 0.0000 -
1429.14/1434.31 c 1434 3804666 2242583 1 - 0.0000 -
1434.12/1439.36 c 1439 3817997 2251176 1 - 0.0000 -
1439.21/1444.41 c 1444 3830606 2261079 1 - 0.0000 -
1444.19/1449.46 c 1449 3843279 2269674 1 - 0.0000 -
1449.28/1454.51 c 1455 3855880 2279088 1 - 0.0000 -
1454.26/1459.56 c 1460 3869072 2286885 1 - 0.0000 -
1459.34/1464.61 c 1465 3882736 2294098 1 - 0.0000 -
1464.32/1469.66 c 1470 3895252 2304208 1 - 0.0000 -
1469.40/1474.71 c 1475 3909931 2310321 1 - 0.0000 -
1474.38/1479.76 c 1480 3921574 2318314 1 - 0.0000 -
1479.46/1484.81 c 1485 3934688 2326228 1 - 0.0000 -
1484.45/1489.86 c 1490 3947856 2333510 1 - 0.0000 -
1489.53/1494.91 c 1495 3961016 2340729 1 - 0.0000 -
1494.52/1499.96 c 1500 3973991 2350478 1 - 0.0000 -
1499.59/1505.01 c 1505 3987097 2358753 1 - 0.0000 -
1504.58/1510.06 c 1510 3997969 2368558 1 - 0.0000 -
1509.66/1515.11 c 1515 4010093 2378176 1 - 0.0000 -
1514.64/1520.16 c 1520 4021055 2387689 1 - 0.0000 -
1519.73/1525.21 c 1525 4032221 2397927 1 - 0.0000 -
1524.70/1530.26 c 1530 4043819 2407522 1 - 0.0000 -
1529.79/1535.31 c 1535 4056079 2415341 1 - 0.0000 -
1534.77/1540.36 c 1540 4068114 2424619 1 - 0.0000 -
1539.86/1545.41 c 1545 4080185 2434365 1 - 0.0000 -
1544.84/1550.46 c 1550 4092389 2442052 1 - 0.0000 -
1549.92/1555.51 c 1556 4104206 2451226 1 - 0.0000 -
1554.90/1560.56 c 1561 4115795 2461222 1 - 0.0000 -
1559.99/1565.61 c 1566 4127795 2471382 1 - 0.0000 -
1564.97/1570.66 c 1571 4140063 2479910 1 - 0.0000 -
1570.06/1575.71 c 1576 4152373 2487838 1 - 0.0000 -
1575.04/1580.76 c 1581 4164668 2495893 1 - 0.0000 -
1580.12/1585.81 c 1586 4176910 2504939 1 - 0.0000 -
1585.10/1590.86 c 1591 4188910 2514265 1 - 0.0000 -
1590.18/1595.91 c 1596 4201146 2523804 1 - 0.0000 -
1595.17/1600.96 c 1601 4213750 2532790 1 - 0.0000 -
1600.25/1606.01 c 1606 4227312 2540003 1 - 0.0000 -
1605.23/1611.06 c 1611 4241313 2546822 1 - 0.0000 -
1610.31/1616.11 c 1616 4253784 2555423 1 - 0.0000 -
1615.29/1621.16 c 1621 4267602 2563436 1 - 0.0000 -
1620.37/1626.21 c 1626 4281307 2570259 1 - 0.0000 -
1625.35/1631.26 c 1631 4293284 2577855 1 - 0.0000 -
1630.44/1636.31 c 1636 4306397 2584867 1 - 0.0000 -
1635.42/1641.36 c 1641 4319022 2592038 1 - 0.0000 -
1640.50/1646.41 c 1646 4332095 2598174 1 - 0.0000 -
1645.49/1651.46 c 1651 4344761 2605227 1 - 0.0000 -
1650.56/1656.51 c 1657 4357431 2613751 1 - 0.0000 -
1655.55/1661.56 c 1662 4370446 2619551 1 - 0.0000 -
1660.62/1666.61 c 1667 4384242 2626681 1 - 0.0000 -
1665.61/1671.66 c 1672 4397125 2634342 1 - 0.0000 -
1670.69/1676.71 c 1677 4410362 2640229 1 - 0.0000 -
1675.67/1681.76 c 1682 4422919 2648801 1 - 0.0000 -
1680.76/1686.81 c 1687 4435452 2655852 1 - 0.0000 -
1685.74/1691.86 c 1692 4448648 2663088 1 - 0.0000 -
1690.82/1696.91 c 1697 4462312 2669123 1 - 0.0000 -
1695.80/1701.96 c 1702 4475726 2676502 1 - 0.0000 -
1700.89/1707.01 c 1707 4488438 2684499 1 - 0.0000 -
1705.86/1712.06 c 1712 4501891 2691405 1 - 0.0000 -
1710.95/1717.11 c 1717 4515451 2698270 1 - 0.0000 -
1715.93/1722.16 c 1722 4528268 2705353 1 - 0.0000 -
1721.00/1727.21 c 1727 4542046 2711457 1 - 0.0000 -
1725.98/1732.26 c 1732 4555162 2718172 1 - 0.0000 -
1731.07/1737.31 c 1737 4568676 2726583 1 - 0.0000 -
1736.05/1742.36 c 1742 4581209 2734335 1 - 0.0000 -
1741.13/1747.41 c 1747 4593122 2743228 1 - 0.0000 -
1746.11/1752.46 c 1752 4605972 2750510 1 - 0.0000 -
1751.19/1757.51 c 1758 4618361 2757748 1 - 0.0000 -
1756.18/1762.56 c 1763 4632741 2762158 1 - 0.0000 -
1761.26/1767.61 c 1768 4646405 2768164 1 - 0.0000 -
1766.24/1772.66 c 1773 4660144 2773753 1 - 0.0000 -
1771.32/1777.71 c 1778 4673538 2779188 1 - 0.0000 -
1776.31/1782.76 c 1783 4686482 2785078 1 - 0.0000 -
1781.39/1787.81 c 1788 4698271 2792136 1 - 0.0000 -
1786.37/1792.86 c 1793 4710619 2799595 1 - 0.0000 -
1791.45/1797.91 c 1798 4723788 2807005 1 - 0.0000 -
1796.43/1802.96 c 1803 4736626 2814047 1 - 0.0000 -
1801.52/1808.01 c 1808 4749326 2820664 1 - 0.0000 -
1806.49/1813.06 c 1813 4762110 2827139 1 - 0.0000 -
1811.58/1818.11 c 1818 4774995 2833674 1 - 0.0000 -
1816.56/1823.16 c 1823 4788731 2841906 1 - 0.0000 -
1821.63/1828.21 c 1828 4800846 2850589 1 - 0.0000 -
1826.62/1833.26 c 1833 4813702 2857350 1 - 0.0000 -
1831.70/1838.31 c 1838 4826447 2864626 1 - 0.0000 -
1836.68/1843.36 c 1843 4840013 2869975 1 - 0.0000 -
1841.76/1848.41 c 1848 4852788 2876880 1 - 0.0000 -
1846.74/1853.46 c 1853 4866541 2882517 1 - 0.0000 -
1851.83/1858.51 c 1859 4880001 2888006 1 - 0.0000 -
1856.81/1863.56 c 1864 4893692 2893635 1 - 0.0000 -
1861.88/1868.61 c 1869 4906739 2899389 1 - 0.0000 -
1866.87/1873.66 c 1874 4919982 2904876 1 - 0.0000 -
1871.95/1878.71 c 1879 4931851 2912929 1 - 0.0000 -
1876.93/1883.76 c 1884 4945422 2919315 1 - 0.0000 -
1882.02/1888.81 c 1889 4958399 2924744 1 - 0.0000 -
1887.00/1893.86 c 1894 4972127 2929956 1 - 0.0000 -
1892.08/1898.91 c 1899 4985949 2934642 1 - 0.0000 -
1897.06/1903.96 c 1904 4997776 2942635 1 - 0.0000 -
1902.14/1909.01 c 1909 5011632 2948593 1 - 0.0000 -
1907.12/1914.06 c 1914 5026116 2952844 1 - 0.0000 -
1912.20/1919.11 c 1919 5039909 2958290 1 - 0.0000 -
1917.18/1924.16 c 1924 5052290 2964610 1 - 0.0000 -
1922.26/1929.21 c 1929 5065871 2971444 1 - 0.0000 -
1927.24/1934.26 c 1934 5079067 2978154 1 - 0.0000 -
1932.32/1939.31 c 1939 5093136 2985387 1 - 0.0000 -
1937.31/1944.36 c 1944 5106432 2991037 1 - 0.0000 -
1942.38/1949.41 c 1949 5119299 2997223 1 - 0.0000 -
1947.37/1954.46 c 1954 5132384 3002945 1 - 0.0000 -
1952.44/1959.51 c 1960 5145744 3008936 1 - 0.0000 -
1957.43/1964.56 c 1965 5159031 3015629 1 - 0.0000 -
1962.51/1969.61 c 1970 5173194 3020892 1 - 0.0000 -
1967.49/1974.66 c 1975 5187202 3025778 1 - 0.0000 -
1972.57/1979.71 c 1980 5201465 3030300 1 - 0.0000 -
1977.55/1984.76 c 1985 5213659 3036940 1 - 0.0000 -
1982.63/1989.81 c 1990 5227640 3042055 1 - 0.0000 -
1987.61/1994.86 c 1995 5240713 3047547 1 - 0.0000 -
1992.70/1999.91 c 2000 5253812 3054752 1 - 0.0000 -
1997.68/2004.96 c 2005 5267206 3060726 1 - 0.0000 -
2002.76/2010.01 c 2010 5279714 3067475 1 - 0.0000 -
2007.74/2015.06 c 2015 5292653 3073323 1 - 0.0000 -
2012.82/2020.11 c 2020 5306463 3078878 1 - 0.0000 -
2017.81/2025.16 c 2025 5319492 3085016 1 - 0.0000 -
2022.88/2030.21 c 2030 5333399 3090943 1 - 0.0000 -
2027.86/2035.26 c 2035 5346678 3097908 1 - 0.0000 -
2032.95/2040.31 c 2040 5360083 3103349 1 - 0.0000 -
2037.93/2045.36 c 2045 5373437 3109492 1 - 0.0000 -
2043.00/2050.41 c 2050 5387792 3115027 1 - 0.0000 -
2047.99/2055.46 c 2055 5401422 3121566 1 - 0.0000 -
2053.07/2060.51 c 2061 5414685 3127849 1 - 0.0000 -
2058.04/2065.56 c 2066 5428209 3133231 1 - 0.0000 -
2063.13/2070.61 c 2071 5440758 3138789 1 - 0.0000 -
2068.11/2075.66 c 2076 5454400 3143662 1 - 0.0000 -
2073.19/2080.71 c 2081 5468791 3147984 1 - 0.0000 -
2078.17/2085.76 c 2086 5482816 3152894 1 - 0.0000 -
2083.26/2090.81 c 2091 5495520 3159214 1 - 0.0000 -
2088.23/2095.86 c 2096 5508702 3165702 1 - 0.0000 -
2093.32/2100.91 c 2101 5521254 3171495 1 - 0.0000 -
2098.30/2105.96 c 2106 5535272 3176617 1 - 0.0000 -
2103.38/2111.01 c 2111 5548271 3182049 1 - 0.0000 -
2108.36/2116.06 c 2116 5562474 3186981 1 - 0.0000 -
2113.45/2121.11 c 2121 5575648 3192278 1 - 0.0000 -
2118.43/2126.16 c 2126 5588268 3199061 1 - 0.0000 -
2123.50/2131.21 c 2131 5601881 3205239 1 - 0.0000 -
2128.48/2136.26 c 2136 5615117 3210908 1 - 0.0000 -
2133.56/2141.31 c 2141 5628799 3215479 1 - 0.0000 -
2138.55/2146.36 c 2146 5642577 3220465 1 - 0.0000 -
2143.62/2151.41 c 2151 5656511 3224807 1 - 0.0000 -
2148.61/2156.46 c 2156 5670330 3229984 1 - 0.0000 -
2153.69/2161.51 c 2162 5683342 3235277 1 - 0.0000 -
2158.67/2166.56 c 2167 5696964 3240116 1 - 0.0000 -
2163.75/2171.61 c 2172 5709704 3245973 1 - 0.0000 -
2168.73/2176.66 c 2177 5722959 3251128 1 - 0.0000 -
2173.81/2181.71 c 2182 5737040 3257276 1 - 0.0000 -
2178.80/2186.76 c 2187 5749993 3262172 1 - 0.0000 -
2183.87/2191.81 c 2192 5763031 3268268 1 - 0.0000 -
2188.85/2196.86 c 2197 5775751 3274709 1 - 0.0000 -
2193.94/2201.91 c 2202 5788662 3280349 1 - 0.0000 -
2198.92/2206.96 c 2207 5802184 3285716 1 - 0.0000 -
2204.01/2212.01 c 2212 5815425 3290858 1 - 0.0000 -
2208.99/2217.06 c 2217 5829548 3296392 1 - 0.0000 -
2214.07/2222.11 c 2222 5843049 3301008 1 - 0.0000 -
2219.05/2227.16 c 2227 5857697 3305960 1 - 0.0000 -
2224.12/2232.21 c 2232 5869743 3311239 1 - 0.0000 -
2229.10/2237.26 c 2237 5883755 3316355 1 - 0.0000 -
2234.18/2242.31 c 2242 5897671 3321551 1 - 0.0000 -
2239.17/2247.36 c 2247 5911796 3328321 1 - 0.0000 -
2244.25/2252.41 c 2252 5924649 3333856 1 - 0.0000 -
2249.22/2257.46 c 2257 5938005 3338968 1 - 0.0000 -
2254.30/2262.51 c 2263 5952043 3344173 1 - 0.0000 -
2259.29/2267.56 c 2268 5965691 3349124 1 - 0.0000 -
2264.37/2272.61 c 2273 5978878 3353286 1 - 0.0000 -
2269.35/2277.66 c 2278 5991118 3359524 1 - 0.0000 -
2274.43/2282.71 c 2283 6004580 3364337 1 - 0.0000 -
2279.41/2287.76 c 2288 6017802 3370202 1 - 0.0000 -
2284.49/2292.81 c 2293 6031298 3375797 1 - 0.0000 -
2289.48/2297.86 c 2298 6044712 3380567 1 - 0.0000 -
2294.56/2302.91 c 2303 6058547 3385666 1 - 0.0000 -
2299.53/2307.96 c 2308 6072028 3392315 1 - 0.0000 -
2304.62/2313.01 c 2313 6085520 3397094 1 - 0.0000 -
2309.60/2318.06 c 2318 6099116 3401836 1 - 0.0000 -
2314.68/2323.11 c 2323 6112361 3406943 1 - 0.0000 -
2319.67/2328.16 c 2328 6126490 3411538 1 - 0.0000 -
2324.74/2333.21 c 2333 6139625 3417230 1 - 0.0000 -
2329.72/2338.26 c 2338 6152906 3422610 1 - 0.0000 -
2334.80/2343.31 c 2343 6165686 3428066 1 - 0.0000 -
2339.79/2348.36 c 2348 6179091 3432717 1 - 0.0000 -
2344.87/2353.41 c 2353 6192922 3438036 1 - 0.0000 -
2349.85/2358.46 c 2358 6206120 3443158 1 - 0.0000 -
2354.92/2363.51 c 2364 6219041 3448889 1 - 0.0000 -
2359.91/2368.56 c 2369 6232476 3454009 1 - 0.0000 -
2364.98/2373.61 c 2374 6243797 3461442 1 - 0.0000 -
2369.96/2378.66 c 2379 6257056 3466980 1 - 0.0000 -
2375.04/2383.71 c 2384 6270129 3472450 1 - 0.0000 -
2380.03/2388.76 c 2389 6283262 3476842 1 - 0.0000 -
2385.12/2393.81 c 2394 6294618 3484025 1 - 0.0000 -
2390.09/2398.86 c 2399 6308023 3489998 1 - 0.0000 -
2395.18/2403.91 c 2404 6321727 3494732 1 - 0.0000 -
2400.16/2408.96 c 2409 6334133 3500316 1 - 0.0000 -
2405.24/2414.01 c 2414 6347872 3505095 1 - 0.0000 -
2410.22/2419.06 c 2419 6362085 3509152 1 - 0.0000 -
2415.29/2424.11 c 2424 6375418 3514375 1 - 0.0000 -
2420.28/2429.16 c 2429 6389523 3518956 1 - 0.0000 -
2425.36/2434.21 c 2434 6403121 3523905 1 - 0.0000 -
2430.34/2439.26 c 2439 6417281 3528012 1 - 0.0000 -
2435.42/2444.31 c 2444 6430958 3533880 1 - 0.0000 -
2440.39/2449.36 c 2449 6443716 3539047 1 - 0.0000 -
2445.48/2454.41 c 2454 6456939 3544197 1 - 0.0000 -
2450.46/2459.46 c 2459 6469912 3549180 1 - 0.0000 -
2455.54/2464.51 c 2465 6482915 3554957 1 - 0.0000 -
2460.52/2469.56 c 2470 6496871 3559708 1 - 0.0000 -
2465.60/2474.61 c 2475 6509942 3564965 1 - 0.0000 -
2470.58/2479.66 c 2480 6524111 3569765 1 - 0.0000 -
2475.66/2484.71 c 2485 6537203 3574390 1 - 0.0000 -
2480.65/2489.76 c 2490 6550347 3579756 1 - 0.0000 -
2485.72/2494.81 c 2495 6563998 3584242 1 - 0.0000 -
2490.70/2499.86 c 2500 6576994 3589069 1 - 0.0000 -
2495.79/2504.91 c 2505 6589821 3594980 1 - 0.0000 -
2500.77/2509.96 c 2510 6602950 3600773 1 - 0.0000 -
2505.85/2515.01 c 2515 6616015 3606599 1 - 0.0000 -
2510.84/2520.06 c 2520 6629237 3611992 1 - 0.0000 -
2515.91/2525.11 c 2525 6642224 3616948 1 - 0.0000 -
2520.90/2530.16 c 2530 6656381 3621647 1 - 0.0000 -
2525.97/2535.21 c 2535 6669192 3627209 1 - 0.0000 -
2530.95/2540.26 c 2540 6681724 3632952 1 - 0.0000 -
2536.03/2545.31 c 2545 6694734 3638793 1 - 0.0000 -
2541.01/2550.36 c 2550 6707332 3644255 1 - 0.0000 -
2546.09/2555.41 c 2555 6720248 3649466 1 - 0.0000 -
2551.08/2560.46 c 2560 6733797 3654606 1 - 0.0000 -
2556.16/2565.51 c 2566 6748143 3659158 1 - 0.0000 -
2561.14/2570.56 c 2571 6761157 3665416 1 - 0.0000 -
2566.22/2575.61 c 2576 6774696 3671141 1 - 0.0000 -
2571.20/2580.66 c 2581 6786722 3677545 1 - 0.0000 -
2576.28/2585.71 c 2586 6798659 3684954 1 - 0.0000 -
2581.26/2590.76 c 2591 6811866 3690887 1 - 0.0000 -
2586.35/2595.81 c 2596 6825483 3696495 1 - 0.0000 -
2591.33/2600.86 c 2601 6838904 3701367 1 - 0.0000 -
2596.41/2605.91 c 2606 6852148 3706709 1 - 0.0000 -
2601.39/2610.96 c 2611 6864873 3712730 1 - 0.0000 -
2606.46/2616.01 c 2616 6877772 3718211 1 - 0.0000 -
2611.45/2621.06 c 2621 6891087 3723074 1 - 0.0000 -
2616.53/2626.11 c 2626 6904900 3728508 1 - 0.0000 -
2621.51/2631.16 c 2631 6917490 3733757 1 - 0.0000 -
2626.59/2636.21 c 2636 6930487 3738991 1 - 0.0000 -
2631.56/2641.26 c 2641 6943991 3744109 1 - 0.0000 -
2636.65/2646.31 c 2646 6956657 3749726 1 - 0.0000 -
2641.63/2651.36 c 2651 6969601 3754686 1 - 0.0000 -
2646.71/2656.41 c 2656 6982493 3760427 1 - 0.0000 -
2651.69/2661.46 c 2661 6995619 3765749 1 - 0.0000 -
2656.77/2666.51 c 2667 7008353 3771420 1 - 0.0000 -
2661.76/2671.56 c 2672 7020536 3777946 1 - 0.0000 -
2666.83/2676.61 c 2677 7033751 3784020 1 - 0.0000 -
2671.82/2681.66 c 2682 7047356 3788536 1 - 0.0000 -
2676.90/2686.71 c 2687 7060988 3793019 1 - 0.0000 -
2681.87/2691.76 c 2692 7074215 3798627 1 - 0.0000 -
2692.94/2702.89 c 2703 7084075 0 1 - 0.0000 -
2698.02/2707.94 c 2708 7090984 6835 1 - 0.0000 -
2703.00/2712.99 c 2713 7099786 15306 1 - 0.0000 -
2708.09/2718.04 c 2718 7109034 24066 1 - 0.0000 -
2713.07/2723.09 c 2723 7118872 32180 1 - 0.0000 -
2718.15/2728.14 c 2728 7128593 40899 1 - 0.0000 -
2723.14/2733.19 c 2733 7137243 49005 1 - 0.0000 -
2728.21/2738.24 c 2738 7146473 57438 1 - 0.0000 -
2733.20/2743.29 c 2743 7156324 65987 1 - 0.0000 -
2738.28/2748.34 c 2748 7165111 74159 1 - 0.0000 -
2743.26/2753.39 c 2753 7175262 83287 1 - 0.0000 -
2748.34/2758.44 c 2758 7187756 91899 1 - 0.0000 -
2753.32/2763.49 c 2764 7198806 99618 1 - 0.0000 -
2758.41/2768.54 c 2769 7210156 109043 1 - 0.0000 -
2763.39/2773.59 c 2774 7221870 117654 1 - 0.0000 -
2768.48/2778.64 c 2779 7232133 125974 1 - 0.0000 -
2773.46/2783.69 c 2784 7242704 134237 1 - 0.0000 -
2778.54/2788.74 c 2789 7253294 142495 1 - 0.0000 -
2783.53/2793.79 c 2794 7264834 151427 1 - 0.0000 -
2788.61/2798.84 c 2799 7274835 160033 1 - 0.0000 -
2793.59/2803.89 c 2804 7286646 167765 1 - 0.0000 -
2798.67/2808.94 c 2809 7299027 176105 1 - 0.0000 -
2803.65/2813.99 c 2814 7308196 184067 1 - 0.0000 -
2808.74/2819.04 c 2819 7317038 191841 1 - 0.0000 -
2813.72/2824.09 c 2824 7327711 199894 1 - 0.0000 -
2818.80/2829.14 c 2829 7339743 208741 1 - 0.0000 -
2823.78/2834.19 c 2834 7351474 217445 1 - 0.0000 -
2828.86/2839.24 c 2839 7361272 225749 1 - 0.0000 -
2833.84/2844.29 c 2844 7372967 234317 1 - 0.0000 -
2838.93/2849.34 c 2849 7384526 243381 1 - 0.0000 -
2843.91/2854.39 c 2854 7397118 252326 1 - 0.0000 -
2848.99/2859.44 c 2859 7408498 260721 1 - 0.0000 -
2853.98/2864.49 c 2864 7417361 268656 1 - 0.0000 -
2859.06/2869.54 c 2870 7427229 276994 1 - 0.0000 -
2864.04/2874.59 c 2875 7437918 286168 1 - 0.0000 -
2869.13/2879.64 c 2880 7448269 295578 1 - 0.0000 -
2874.10/2884.69 c 2885 7460075 304947 1 - 0.0000 -
2879.19/2889.74 c 2890 7473062 313869 1 - 0.0000 -
2884.17/2894.79 c 2895 7485153 322978 1 - 0.0000 -
2889.26/2899.84 c 2900 7496743 331906 1 - 0.0000 -
2894.24/2904.89 c 2905 7509580 343105 1 - 0.0000 -
2899.32/2909.94 c 2910 7523377 352711 1 - 0.0000 -
2904.29/2914.99 c 2915 7537156 361641 1 - 0.0000 -
2909.38/2920.04 c 2920 7550345 371507 1 - 0.0000 -
2914.37/2925.09 c 2925 7564352 382980 1 - 0.0000 -
2919.45/2930.14 c 2930 7577655 391805 1 - 0.0000 -
2924.43/2935.19 c 2935 7589653 402007 1 - 0.0000 -
2929.51/2940.24 c 2940 7603200 414288 1 - 0.0000 -
2934.49/2945.29 c 2945 7616667 424799 1 - 0.0000 -
2939.57/2950.34 c 2950 7628552 434196 1 - 0.0000 -
2944.56/2955.39 c 2955 7639167 443892 1 - 0.0000 -
2949.63/2960.44 c 2960 7651407 453899 1 - 0.0000 -
2954.62/2965.49 c 2966 7663505 464421 1 - 0.0000 -
2959.70/2970.54 c 2971 7675646 474544 1 - 0.0000 -
2964.69/2975.59 c 2976 7686835 484076 1 - 0.0000 -
2969.77/2980.64 c 2981 7698134 493747 1 - 0.0000 -
2974.75/2985.69 c 2986 7711088 502814 1 - 0.0000 -
2979.83/2990.74 c 2991 7724373 512278 1 - 0.0000 -
2984.82/2995.79 c 2996 7737322 522113 1 - 0.0000 -
2989.90/3000.84 c 3001 7750855 531026 1 - 0.0000 -
2994.89/3005.89 c 3006 7764677 538983 1 - 0.0000 -
2999.96/3010.94 c 3011 7777843 548814 1 - 0.0000 -
3004.95/3015.99 c 3016 7791221 558471 1 - 0.0000 -
3010.03/3021.04 c 3021 7804433 567677 1 - 0.0000 -
3015.02/3026.09 c 3026 7817484 577147 1 - 0.0000 -
3020.10/3031.14 c 3031 7830676 588024 1 - 0.0000 -
3025.08/3036.19 c 3036 7843294 597866 1 - 0.0000 -
3030.15/3041.24 c 3041 7856829 605817 1 - 0.0000 -
3035.14/3046.29 c 3046 7870150 614548 1 - 0.0000 -
3040.22/3051.34 c 3051 7883649 622520 1 - 0.0000 -
3045.21/3056.39 c 3056 7897120 630732 1 - 0.0000 -
3050.29/3061.44 c 3061 7911013 638295 1 - 0.0000 -
3055.26/3066.49 c 3066 7923798 647215 1 - 0.0000 -
3060.34/3071.54 c 3072 7936818 656067 1 - 0.0000 -
3065.33/3076.59 c 3077 7949429 665991 1 - 0.0000 -
3070.41/3081.64 c 3082 7962357 675981 1 - 0.0000 -
3075.40/3086.69 c 3087 7975213 683970 1 - 0.0000 -
3080.48/3091.74 c 3092 7988130 693954 1 - 0.0000 -
3085.46/3096.79 c 3097 8001018 703054 1 - 0.0000 -
3090.55/3101.84 c 3102 8014014 712940 1 - 0.0000 -
3095.53/3106.89 c 3107 8026957 722090 1 - 0.0000 -
3100.61/3111.94 c 3112 8040336 732045 1 - 0.0000 -
3105.59/3116.99 c 3117 8053967 740227 1 - 0.0000 -
3110.68/3122.04 c 3122 8067500 749587 1 - 0.0000 -
3115.66/3127.09 c 3127 8081658 757360 1 - 0.0000 -
3120.74/3132.14 c 3132 8095016 766152 1 - 0.0000 -
3125.72/3137.19 c 3137 8108344 774083 1 - 0.0000 -
3130.80/3142.24 c 3142 8121937 781758 1 - 0.0000 -
3135.79/3147.29 c 3147 8135235 790897 1 - 0.0000 -
3140.87/3152.34 c 3152 8148590 798768 1 - 0.0000 -
3145.84/3157.39 c 3157 8162052 806669 1 - 0.0000 -
3150.93/3162.44 c 3162 8175454 814934 1 - 0.0000 -
3155.91/3167.49 c 3168 8189001 823232 1 - 0.0000 -
3161.00/3172.54 c 3173 8202383 831325 1 - 0.0000 -
3165.97/3177.59 c 3178 8215959 840414 1 - 0.0000 -
3171.06/3182.64 c 3183 8228203 851009 1 - 0.0000 -
3176.04/3187.69 c 3188 8240670 860421 1 - 0.0000 -
3181.13/3192.74 c 3193 8254104 868131 1 - 0.0000 -
3186.11/3197.79 c 3198 8267329 875813 1 - 0.0000 -
3191.19/3202.84 c 3203 8280837 883335 1 - 0.0000 -
3196.17/3207.89 c 3208 8293366 892548 1 - 0.0000 -
3201.25/3212.94 c 3213 8305680 902496 1 - 0.0000 -
3206.23/3217.99 c 3218 8318730 912089 1 - 0.0000 -
3211.32/3223.04 c 3223 8330840 920846 1 - 0.0000 -
3216.30/3228.09 c 3228 8344311 929754 1 - 0.0000 -
3221.38/3233.14 c 3233 8357622 937870 1 - 0.0000 -
3226.37/3238.19 c 3238 8370302 945921 1 - 0.0000 -
3231.45/3243.24 c 3243 8382123 955268 1 - 0.0000 -
3236.43/3248.29 c 3248 8394795 963930 1 - 0.0000 -
3241.51/3253.34 c 3253 8407650 973747 1 - 0.0000 -
3246.50/3258.39 c 3258 8418315 983799 1 - 0.0000 -
3251.58/3263.44 c 3263 8430376 993264 1 - 0.0000 -
3256.56/3268.49 c 3268 8442066 1003468 1 - 0.0000 -
3261.65/3273.54 c 3274 8452504 1013419 1 - 0.0000 -
3266.62/3278.59 c 3279 8464089 1022351 1 - 0.0000 -
3271.71/3283.64 c 3284 8476561 1032147 1 - 0.0000 -
3276.69/3288.69 c 3289 8490060 1041277 1 - 0.0000 -
3281.77/3293.74 c 3294 8501786 1051693 1 - 0.0000 -
3286.75/3298.79 c 3299 8514379 1060996 1 - 0.0000 -
3291.84/3303.84 c 3304 8527973 1067771 1 - 0.0000 -
3296.82/3308.89 c 3309 8541788 1072517 1 - 0.0000 -
3301.90/3313.94 c 3314 8556063 1078825 1 - 0.0000 -
3306.88/3318.99 c 3319 8570018 1084723 1 - 0.0000 -
3311.97/3324.04 c 3324 8583140 1090378 1 - 0.0000 -
3316.95/3329.09 c 3329 8597675 1095979 1 - 0.0000 -
3322.03/3334.14 c 3334 8611707 1102240 1 - 0.0000 -
3327.01/3339.19 c 3339 8625317 1108847 1 - 0.0000 -
3332.09/3344.24 c 3344 8638224 1115546 1 - 0.0000 -
3337.07/3349.29 c 3349 8652152 1121913 1 - 0.0000 -
3342.16/3354.34 c 3354 8665153 1129303 1 - 0.0000 -
3347.13/3359.39 c 3359 8677720 1136165 1 - 0.0000 -
3352.21/3364.44 c 3364 8691154 1143644 1 - 0.0000 -
3357.20/3369.49 c 3370 8704627 1150754 1 - 0.0000 -
3362.28/3374.54 c 3375 8718275 1157760 1 - 0.0000 -
3367.26/3379.59 c 3380 8731276 1164621 1 - 0.0000 -
3372.35/3384.64 c 3385 8744073 1171984 1 - 0.0000 -
3377.32/3389.69 c 3390 8755519 1179048 1 - 0.0000 -
3382.41/3394.74 c 3395 8767933 1186993 1 - 0.0000 -
3387.39/3399.79 c 3400 8780900 1195259 1 - 0.0000 -
3392.47/3404.84 c 3405 8794004 1202549 1 - 0.0000 -
3397.46/3409.89 c 3410 8806660 1209817 1 - 0.0000 -
3402.54/3414.94 c 3415 8820134 1216723 1 - 0.0000 -
3407.52/3419.99 c 3420 8833697 1223758 1 - 0.0000 -
3412.60/3425.04 c 3425 8847117 1233269 1 - 0.0000 -
3417.59/3430.09 c 3430 8859637 1241056 1 - 0.0000 -
3422.67/3435.14 c 3435 8872817 1249130 1 - 0.0000 -
3427.65/3440.19 c 3440 8886591 1255681 1 - 0.0000 -
3432.72/3445.24 c 3445 8899551 1262691 1 - 0.0000 -
3437.71/3450.29 c 3450 8912924 1268985 1 - 0.0000 -
3442.79/3455.34 c 3455 8926535 1275298 1 - 0.0000 -
3447.77/3460.39 c 3460 8940544 1281542 1 - 0.0000 -
3452.86/3465.44 c 3465 8953686 1288857 1 - 0.0000 -
3457.83/3470.49 c 3470 8966283 1296746 1 - 0.0000 -
3462.92/3475.54 c 3476 8980248 1303694 1 - 0.0000 -
3467.90/3480.59 c 3481 8993445 1311081 1 - 0.0000 -
3472.98/3485.64 c 3486 9004585 1319434 1 - 0.0000 -
3477.96/3490.69 c 3491 9017914 1326581 1 - 0.0000 -
3483.05/3495.74 c 3496 9031403 1333114 1 - 0.0000 -
3488.02/3500.79 c 3501 9045040 1340054 1 - 0.0000 -
3493.11/3505.84 c 3506 9059078 1345753 1 - 0.0000 -
3498.09/3510.89 c 3511 9072826 1353157 1 - 0.0000 -
3503.17/3515.94 c 3516 9085797 1360211 1 - 0.0000 -
3508.16/3520.99 c 3521 9097576 1367635 1 - 0.0000 -
3513.24/3526.04 c 3526 9110768 1374623 1 - 0.0000 -
3518.22/3531.09 c 3531 9123785 1382503 1 - 0.0000 -
3523.31/3536.14 c 3536 9137461 1389792 1 - 0.0000 -
3528.28/3541.19 c 3541 9150478 1396802 1 - 0.0000 -
3533.37/3546.24 c 3546 9163407 1403811 1 - 0.0000 -
3538.34/3551.29 c 3551 9176168 1411507 1 - 0.0000 -
3543.43/3556.34 c 3556 9188242 1418793 1 - 0.0000 -
3548.41/3561.39 c 3561 9200752 1427024 1 - 0.0000 -
3553.49/3566.44 c 3566 9215053 1432941 1 - 0.0000 -
3558.47/3571.49 c 3572 9229227 1438634 1 - 0.0000 -
3563.55/3576.54 c 3577 9241841 1445188 1 - 0.0000 -
3568.53/3581.59 c 3582 9254782 1452952 1 - 0.0000 -
3573.62/3586.64 c 3587 9268753 1459620 1 - 0.0000 -
3578.60/3591.69 c 3592 9282103 1467040 1 - 0.0000 -
3583.68/3596.74 c 3597 9295430 1474475 1 - 0.0000 -
3586.57/3599.65 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.57/3599.65 c Total Time : 3599.6600
3586.57/3599.65 c solving : 3599.6600
3586.57/3599.65 c presolving : 0.0033 (included in solving)
3586.57/3599.65 c B&B Tree :
3586.57/3599.65 c nodes (total) : 1
3586.57/3599.65 c Solution :
3586.57/3599.65 c Solutions found : 0
3586.57/3599.65 c Primal Bound : -
3586.57/3599.65 c Dual Bound : +0.00000000000000e+00
3586.57/3599.65 c Gap : -
3586.57/3599.68 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 (51698 MiB free)
memory of node 1: 64510 MiB (58542 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464553-1722385803/watcher-4464553-1722385803 -o /tmp/evaluation-result-4464553-1722385803/solver-4464553-1722385803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722378594-30602 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464553-1722385803.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
solver pid=35451, runsolver pid=35448
Current StackSize limit: 8192 KiB
[startup+0.100241 s]*
/proc/loadavg: 4.05 4.11 4.09 5/268 35454
/proc/meminfo: memFree=112874644/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=107420 memory=23248 CPUtime=0.09 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 3158 0 0 0 9 0 0 0 20 0 3 0 5178564 109998080 5812 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 26855 5812 2950 3035 0 9028 0
[pid=35451/tid=35453] ppid=35448 vsize=107420 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 1815 0 0 0 8 0 0 0 20 0 3 0 5178565 109998080 5812 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=107420 memory=228556276070 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5178565 109998080 5812 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 23248 KiB
[startup+0.206129 s]*
/proc/loadavg: 4.05 4.11 4.09 5/268 35454
/proc/meminfo: memFree=112869444/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=107420 memory=27532 CPUtime=0.19 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 4237 0 0 0 19 0 0 0 20 0 3 0 5178564 109998080 6883 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 26855 6883 2966 3035 0 10337 0
[pid=35451/tid=35453] ppid=35448 vsize=107420 memory=664970838410264707 CPUtime=0.19 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 2894 0 0 0 19 0 0 0 20 0 3 0 5178565 109998080 6883 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=107420 memory=103357 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5178565 109998080 6883 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 27532 KiB
[startup+0.306089 s]*
/proc/loadavg: 4.05 4.11 4.09 5/268 35454
/proc/meminfo: memFree=112868616/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=107420 memory=28324 CPUtime=0.29 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 4382 0 0 0 29 0 0 0 20 0 3 0 5178564 109998080 7081 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 26855 7081 2966 3035 0 10358 0
[pid=35451/tid=35453] ppid=35448 vsize=107420 memory=-5155626899286223749 CPUtime=0.29 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 3039 0 0 0 29 0 0 0 20 0 3 0 5178565 109998080 7081 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=107420 memory=0 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5178565 109998080 7081 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 28324 KiB
[startup+0.700275 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 35454
/proc/meminfo: memFree=112868476/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=107420 memory=28588 CPUtime=0.68 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 4449 0 0 0 68 0 0 0 20 0 3 0 5178564 109998080 7147 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 26855 7147 2966 3035 0 10425 0
[pid=35451/tid=35453] ppid=35448 vsize=107420 memory=0 CPUtime=0.67 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 3106 0 0 0 67 0 0 0 20 0 3 0 5178565 109998080 7147 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=107420 memory=0 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5178565 109998080 7147 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 28588 KiB
[startup+1.50028 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 35454
/proc/meminfo: memFree=112866088/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=107420 memory=32568 CPUtime=1.49 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 7978 0 0 0 148 1 0 0 20 0 3 0 5178564 109998080 8142 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 26855 8142 2966 3035 0 11388 0
[pid=35451/tid=35453] ppid=35448 vsize=107420 memory=0 CPUtime=1.47 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 6623 0 0 0 147 0 0 0 20 0 3 0 5178565 109998080 8142 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=107420 memory=0 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5178565 109998080 8142 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 32568 KiB
[startup+3.10584 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 35454
/proc/meminfo: memFree=112844936/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=107420 memory=33940 CPUtime=3.08 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 8562 0 0 0 307 1 0 0 20 0 3 0 5178564 109998080 8485 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 26855 8485 2966 3035 0 11659 0
[pid=35451/tid=35453] ppid=35448 vsize=107420 memory=2273 CPUtime=3.07 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 7204 0 0 0 307 0 0 0 20 0 3 0 5178565 109998080 8485 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=107420 memory=0 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5178565 109998080 8485 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 33940 KiB
[startup+6.30026 s]
/proc/loadavg: 4.04 4.10 4.09 5/268 35454
/proc/meminfo: memFree=112841172/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=107420 memory=35860 CPUtime=6.26 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 12061 0 0 0 624 2 0 0 20 0 3 0 5178564 109998080 8965 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 26855 8965 2966 3035 0 12112 0
[pid=35451/tid=35453] ppid=35448 vsize=107420 memory=-5155626899286223749 CPUtime=6.25 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 10678 0 0 0 623 2 0 0 20 0 3 0 5178565 109998080 8965 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=107420 memory=35320 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5178565 109998080 8965 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 35860 KiB
[startup+12.7003 s]
/proc/loadavg: 4.04 4.10 4.09 5/268 35456
/proc/meminfo: memFree=112832988/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=108580 memory=43532 CPUtime=12.64 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 21647 0 0 0 1258 6 0 0 20 0 3 0 5178564 111185920 10883 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 27145 10883 3014 3035 0 13917 0
[pid=35451/tid=35453] ppid=35448 vsize=108580 memory=33940 CPUtime=12.63 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 20232 0 0 0 1257 6 0 0 20 0 3 0 5178565 111185920 10883 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=108580 memory=0 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5178565 111185920 10883 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 108580 KiB
Current children cumulated memory: 43532 KiB
[startup+25.5003 s]
/proc/loadavg: 4.03 4.10 4.08 5/268 35457
/proc/meminfo: memFree=112813300/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=112380 memory=60192 CPUtime=25.4 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 37124 0 0 0 2526 14 0 0 20 0 3 0 5178564 115077120 15048 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 28095 15048 3014 3035 0 17987 0
[pid=35451/tid=35453] ppid=35448 vsize=112380 memory=40340 CPUtime=25.38 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 35659 0 0 0 2525 13 0 0 20 0 3 0 5178565 115077120 15048 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=112380 memory=11400 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5178565 115077120 15048 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 112380 KiB
Current children cumulated memory: 60192 KiB
[startup+51.1058 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 35463
/proc/meminfo: memFree=112693296/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=128596 memory=95312 CPUtime=50.92 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 67557 0 0 0 5063 29 0 0 20 0 3 0 5178564 131682304 23828 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 32149 23828 3014 3035 0 26997 0
[pid=35451/tid=35453] ppid=35448 vsize=128596 memory=90324 CPUtime=50.9 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 66027 0 0 0 5062 28 0 0 20 0 3 0 5178565 131682304 23828 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=128596 memory=73276 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5178565 131682304 23828 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 128596 KiB
Current children cumulated memory: 95312 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 35472
/proc/meminfo: memFree=112509616/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=227636 memory=157936 CPUtime=101.93 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 126931 0 0 0 10133 60 0 0 20 0 3 0 5178564 233099264 39484 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 56909 39484 3014 3035 0 42386 0
[pid=35451/tid=35453] ppid=35448 vsize=227636 memory=11400 CPUtime=101.91 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 125325 0 0 0 10132 59 0 0 20 0 3 0 5178565 233099264 39484 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=227636 memory=153756 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5178565 233099264 39484 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 227636 KiB
Current children cumulated memory: 157936 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 35529
/proc/meminfo: memFree=115369664/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=273568 memory=236788 CPUtime=161.72 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 194131 0 0 0 16080 92 0 0 20 0 3 0 5178564 280133632 59197 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 68392 59197 3014 3035 0 62769 0
[pid=35451/tid=35453] ppid=35448 vsize=273568 memory=191312 CPUtime=161.69 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 192473 0 0 0 16078 91 0 0 20 0 3 0 5178565 280133632 59197 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=273568 memory=232168 CPUtime=0 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5178565 280133632 59197 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 273568 KiB
################
# More data... #
################
/proc/35451/statm: 318228 309885 3014 3035 0 312982 0
[pid=35451/tid=35453] ppid=35448 vsize=1272912 memory=1239540 CPUtime=3389.72 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 3690141 0 0 0 337096 1876 0 0 20 0 3 0 5178565 1303461888 309885 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=1272912 memory=1239540 CPUtime=0.03 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 132 0 0 0 0 3 0 0 20 0 3 0 5178565 1303461888 309885 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3389.98 s
Current children cumulated vsize: 1272912 KiB
Current children cumulated memory: 1239540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/261 37172
/proc/meminfo: memFree=100944924/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=1272912 memory=1239548 CPUtime=3449.77 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 3762960 0 0 0 343061 1916 0 0 20 0 3 0 5178564 1303461888 309887 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 318228 309887 3014 3035 0 312982 0
[pid=35451/tid=35453] ppid=35448 vsize=1272912 memory=1239540 CPUtime=3449.5 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 3760229 0 0 0 343040 1910 0 0 20 0 3 0 5178565 1303461888 309887 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=1272912 memory=1239540 CPUtime=0.03 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 134 0 0 0 0 3 0 0 20 0 3 0 5178565 1303461888 309887 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3449.77 s
Current children cumulated vsize: 1272912 KiB
Current children cumulated memory: 1239548 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 37352
/proc/meminfo: memFree=100941140/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=1272912 memory=1239548 CPUtime=3509.55 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 3826077 0 0 0 349005 1950 0 0 20 0 3 0 5178564 1303461888 309887 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 318228 309887 3014 3035 0 312982 0
[pid=35451/tid=35453] ppid=35448 vsize=1272912 memory=12264 CPUtime=3509.28 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 3823326 0 0 0 348983 1945 0 0 20 0 3 0 5178565 1303461888 309887 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=1272912 memory=1239548 CPUtime=0.03 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 136 0 0 0 0 3 0 0 20 0 3 0 5178565 1303461888 309887 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3509.55 s
Current children cumulated vsize: 1272912 KiB
Current children cumulated memory: 1239548 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 37362
/proc/meminfo: memFree=100938884/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=1272912 memory=1239556 CPUtime=3569.33 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 3887451 0 0 0 354950 1983 0 0 20 0 3 0 5178564 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 318228 309889 3014 3035 0 312982 0
[pid=35451/tid=35453] ppid=35448 vsize=1272912 memory=5612 CPUtime=3569.07 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 3884680 0 0 0 354929 1978 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=1272912 memory=1239556 CPUtime=0.03 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 138 0 0 0 0 3 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3569.33 s
Current children cumulated vsize: 1272912 KiB
Current children cumulated memory: 1239556 KiB
[startup+3599.69 s]
# the end of solver process 35451 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3566.61 s, system=20.0606 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 37362
/proc/meminfo: memFree=100938824/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=1272912 memory=1239556 CPUtime=3571.03 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 3889947 0 0 0 355119 1984 0 0 20 0 3 0 5178564 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 318228 309889 3014 3035 0 312982 0
[pid=35451/tid=35453] ppid=35448 vsize=1272912 memory=7686721470247706567 CPUtime=3570.76 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 3887176 0 0 0 355097 1979 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=1272912 memory=54448 CPUtime=0.03 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 138 0 0 0 0 3 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3571.03 s
Current children cumulated vsize: 1272912 KiB
Current children cumulated memory: 1239556 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.11 4.09 4/254 37395
/proc/meminfo: memFree=101371668/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=1272912 memory=1239556 CPUtime=3577.4 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 3897582 0 0 0 355751 1989 0 0 20 0 3 0 5178564 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 318228 309889 3014 3035 0 312982 0
[pid=35451/tid=35453] ppid=35448 vsize=1272912 memory=7686721470247706567 CPUtime=3577.13 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 3894818 0 0 0 355729 1984 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=1272912 memory=-4050210904893670035 CPUtime=0.03 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 138 0 0 0 0 3 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3577.4 s
Current children cumulated vsize: 1272912 KiB
Current children cumulated memory: 1239556 KiB
[startup+3593.6 s]
/proc/loadavg: 4.02 4.09 4.08 4/254 37395
/proc/meminfo: memFree=101371668/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=1272912 memory=1239556 CPUtime=3580.59 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 3901080 0 0 0 356068 1991 0 0 20 0 3 0 5178564 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 318228 309889 3014 3035 0 312982 0
[pid=35451/tid=35453] ppid=35448 vsize=1272912 memory=0 CPUtime=3580.32 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 3898293 0 0 0 356047 1985 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=1272912 memory=0 CPUtime=0.03 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 138 0 0 0 0 3 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3580.59 s
Current children cumulated vsize: 1272912 KiB
Current children cumulated memory: 1239556 KiB
[startup+3596.8 s]
/proc/loadavg: 3.94 4.07 4.08 4/254 37395
/proc/meminfo: memFree=101371600/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=1272912 memory=1239556 CPUtime=3583.78 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 3904723 0 0 0 356385 1993 0 0 20 0 3 0 5178564 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 318228 309889 3014 3035 0 312982 0
[pid=35451/tid=35453] ppid=35448 vsize=1272912 memory=5612 CPUtime=3583.51 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 3901936 0 0 0 356363 1988 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=1272912 memory=1239556 CPUtime=0.03 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 138 0 0 0 0 3 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3583.78 s
Current children cumulated vsize: 1272912 KiB
Current children cumulated memory: 1239556 KiB
[startup+3598.4 s]
/proc/loadavg: 3.94 4.07 4.08 4/256 37454
/proc/meminfo: memFree=101370296/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=1272912 memory=1239556 CPUtime=3585.37 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 3946203 0 0 0 356541 1996 0 0 20 0 3 0 5178564 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 318228 309889 3014 3035 0 312982 0
[pid=35451/tid=35453] ppid=35448 vsize=1272912 memory=16104 CPUtime=3585.1 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 3943412 0 0 0 356519 1991 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=1272912 memory=2336 CPUtime=0.03 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 138 0 0 0 0 3 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3585.37 s
Current children cumulated vsize: 1272912 KiB
Current children cumulated memory: 1239556 KiB
[startup+3599.2 s]
/proc/loadavg: 3.94 4.07 4.08 4/256 37454
/proc/meminfo: memFree=101370948/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=1272912 memory=1239556 CPUtime=3586.17 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 4041493 0 0 0 356616 2001 0 0 20 0 3 0 5178564 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 318228 309889 3014 3035 0 312982 0
[pid=35451/tid=35453] ppid=35448 vsize=1272912 memory=14648 CPUtime=3585.89 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 4038706 0 0 0 356594 1995 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=1272912 memory=12264 CPUtime=0.03 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 138 0 0 0 0 3 0 0 20 0 3 0 5178565 1303461888 309889 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 1272912 KiB
Current children cumulated memory: 1239556 KiB
[startup+3599.6 s]
/proc/loadavg: 3.94 4.07 4.08 4/256 37454
/proc/meminfo: memFree=101370948/131524600 swapFree=131071216/131071996
[pid=35451] ppid=35448 vsize=1271356 memory=1238000 CPUtime=3586.57 cores=1,3
/proc/35451/stat : 35451 (fscip) S 35448 35451 30590 0 -1 1077936128 4062978 0 0 0 356655 2002 0 0 20 0 3 0 5178564 1301868544 309500 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
/proc/35451/statm: 317839 309500 3014 3035 0 312593 0
[pid=35451/tid=35453] ppid=35448 vsize=1271356 memory=16104 CPUtime=3586.3 cores=1,3
/proc/35451/task/35453/stat : 35453 (fscip) R 35448 35451 30590 0 -1 4194368 4060185 0 0 0 356633 1997 0 0 20 0 3 0 5178565 1301868544 309500 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
[pid=35451/tid=35454] ppid=35448 vsize=1271356 memory=2336 CPUtime=0.03 cores=1,3
/proc/35451/task/35454/stat : 35454 (fscip) S 35448 35451 30590 0 -1 1077936192 138 0 0 0 0 3 0 0 20 0 3 0 5178565 1301868544 309500 134679101440 4194304 16623229 140722599415328 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 32837632 140722599416854 140722599416970 140722599416970 140722599423984 0
Current children cumulated CPU time: 3586.57 s
Current children cumulated vsize: 1271356 KiB
Current children cumulated memory: 1238000 KiB
Child status: 0
Real time (s): 3599.69
CPU time (s): 3586.67
CPU user time (s): 3566.61
CPU system time (s): 20.0606
CPU usage (%): 99.6383
Max. virtual memory (cumulated for all children) (KiB): 2911096
Max. memory (cumulated for all children) (KiB): 2877724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.61
system time used= 20.0606
maximum resident set size= 2877724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4063750
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= 10896
involuntary context switches= 4126
# summary of solver processes directly reported to runsolver:
# pid: 35451
# total CPU time (s): 3586.67
# total CPU user time (s): 3566.61
# total CPU system time (s): 20.0606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.0435 second user time and 18.1536 second system time
The end
Begin job on nodeC021 at 2024-07-31 02:30:03
IDJOB=4464553
IDBENCH=160032
IDSOLVER=3092
FILE ID=nodeC021/4464553-1722385803
RUNJOBID= nodeC021-1722378594-30602
SLURM_JOB_ID= 8249844
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464553-1722385803/watcher-4464553-1722385803 -o /tmp/evaluation-result-4464553-1722385803/solver-4464553-1722385803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722378594-30602 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464553-1722385803.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9609dcb4dff0e4cd594607c8c2a4557e
RANDOM SEED=2017193718
nodeC021.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 : 3674.508
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.80
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 : 3663.262
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.98
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.165
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.80
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 : 3675.977
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.98
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 : 3674.569
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.80
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 : 3677.498
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.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.063
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.80
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.974
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.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 112886144 kB
MemAvailable: 120053344 kB
Buffers: 108048 kB
Cached: 7851304 kB
SwapCached: 56 kB
Active: 292252 kB
Inactive: 17752360 kB
Active(anon): 1552 kB
Inactive(anon): 10104912 kB
Active(file): 290700 kB
Inactive(file): 7647448 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 28296 kB
Writeback: 0 kB
AnonPages: 10082984 kB
Mapped: 126264 kB
Shmem: 21208 kB
KReclaimable: 137400 kB
Slab: 230000 kB
SReclaimable: 137400 kB
SUnreclaim: 92600 kB
KernelStack: 4316 kB
PageTables: 29964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3917468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8864 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3297280 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: 226004 kB
DirectMap2M: 15276032 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 889836 MiB
End job on nodeC021 at 2024-07-31 03:30:02