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.31/0.40 c Default LC presolving (default).
0.31/0.40 c ** Before presolving: virtualMemUsedAtLc = 194895683, getVmSize() = 149254144, SCIPgetMemUsed() = 115404543, SCIPgetMemTotal() = 123455047, SCIPgetMemExternEstim() = 71440636
0.31/0.40 c ** set memory limit for presolving in LC to 8.79603e+12 for SCIP **
0.68/0.74 c ** Estimated virtualMemUsedAtSolver = 150803298, getVmSize() = 182898688, SCIPgetMemUsed() = 112647911, SCIPgetMemTotal() = 154764311, SCIPgetMemExternEstim() = 71440636
0.68/0.74 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.68/0.74 c Original Problem :
0.68/0.74 c Problem name : instance-4464790-1722382194
0.68/0.74 c Variables : 37960 (500 binary, 0 integer, 37460 implicit integer, 0 continuous)
0.68/0.74 c Constraints : 38460
0.68/0.74 c Objective sense : minimize
0.68/0.74 c Presolved Problem :
0.68/0.74 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.74 c Constraints : 500
0.68/0.74 c Constraints : Number
0.68/0.74 c logicor : 500
0.68/0.74 c ** Instance transfer method used: 0
0.68/0.75 c ** ParaScipInstance copy does not increase the number of variables. **
0.68/0.76 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.68/0.76 c Nodes Active
0.68/0.76 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.68/0.77 c * 1 0 1 1 500.0000 - -
0.78/0.88 c * 1 0 1 1 15.0000 - -
40.75/40.97 c 41 2 1 1 15.0000 6.5945 127.46%
48.04/48.26 c 48 4 3 1 15.0000 6.5945 127.46%
53.32/53.50 c 54 7 6 1 15.0000 6.5945 127.46%
58.51/58.79 c 59 20 11 1 15.0000 6.5945 127.46%
64.40/64.60 c 65 51 34 1 15.0000 6.5945 127.46%
70.08/70.37 c 70 87 58 1 15.0000 6.5945 127.46%
76.67/77.01 c 77 105 74 1 15.0000 6.5945 127.46%
82.15/82.46 c 82 127 96 1 15.0000 6.5945 127.46%
87.85/88.14 c 88 140 109 1 15.0000 6.6092 126.96%
93.43/93.74 c 94 154 123 1 15.0000 6.6147 126.77%
99.41/99.77 c 100 173 142 1 15.0000 6.6278 126.32%
105.39/105.76 c 106 193 162 1 15.0000 6.6350 126.07%
111.87/112.26 c 112 201 172 1 15.0000 6.6511 125.53%
117.07/117.49 c 117 217 186 1 15.0000 6.6560 125.36%
122.15/122.53 c 123 233 202 1 15.0000 6.6777 124.63%
127.14/127.57 c 128 243 212 1 15.0000 6.6989 123.92%
132.25/132.66 c 133 255 224 1 15.0000 6.6989 123.92%
137.41/137.85 c 138 274 243 1 15.0000 6.7046 123.73%
143.10/143.52 c 144 295 264 1 15.0000 6.7199 123.22%
148.69/149.18 c 149 308 277 1 15.0000 6.7777 121.31%
154.36/154.80 c 155 320 289 1 15.0000 6.7861 121.04%
159.85/160.34 c 160 328 297 1 15.0000 6.8048 120.43%
165.93/166.46 c 166 342 311 1 15.0000 6.8222 119.87%
171.02/171.56 c 172 351 320 1 15.0000 6.8406 119.28%
176.12/176.69 c 177 359 328 1 15.0000 6.8700 118.34%
181.21/181.70 c 182 372 341 1 15.0000 6.9250 116.61%
187.89/188.46 c 188 383 352 1 15.0000 6.9435 116.03%
193.78/194.36 c 194 393 362 1 15.0000 6.9594 115.54%
199.07/199.66 c 200 404 373 1 15.0000 6.9867 114.69%
205.65/206.21 c 206 416 385 1 15.0000 7.0085 114.02%
211.14/211.77 c 212 428 397 1 15.0000 7.0470 112.86%
216.23/216.88 c 217 438 407 1 15.0000 7.0508 112.74%
221.31/221.97 c 222 457 426 1 15.0000 7.0630 112.37%
227.51/228.14 c 228 477 446 1 15.0000 7.0988 111.30%
233.49/234.11 c 234 493 462 1 15.0000 7.1396 110.10%
238.57/239.24 c 239 512 481 1 15.0000 7.1515 109.75%
244.06/244.75 c 245 529 498 1 15.0000 7.1641 109.38%
249.64/250.38 c 250 556 525 1 15.0000 7.1872 108.70%
255.44/256.13 c 256 582 551 1 15.0000 7.2136 107.94%
261.44/262.14 c 262 615 584 1 15.0000 7.2538 106.79%
266.51/267.24 c 267 643 612 1 15.0000 7.2738 106.22%
272.60/273.32 c 273 682 651 1 15.0000 7.2892 105.79%
277.89/278.68 c 279 722 691 1 15.0000 7.3271 104.72%
282.97/283.78 c 284 758 727 1 15.0000 7.3486 104.12%
289.15/289.92 c 290 796 765 1 15.0000 7.3645 103.68%
294.14/294.93 c 295 831 800 1 15.0000 7.3658 103.64%
299.63/300.45 c 300 874 843 1 15.0000 7.3658 103.64%
305.02/305.80 c 306 909 876 1 15.0000 7.3658 103.64%
310.22/311.09 c 311 947 912 1 15.0000 7.3658 103.64%
315.69/316.55 c 317 981 946 1 15.0000 7.3658 103.64%
321.29/322.17 c 322 1029 994 1 15.0000 7.3658 103.64%
326.87/327.72 c 328 1070 1035 1 15.0000 7.3658 103.64%
332.65/333.59 c 334 1109 1070 1 15.0000 7.3658 103.64%
338.34/339.25 c 339 1159 1120 1 15.0000 7.3658 103.64%
343.83/344.78 c 345 1210 1169 1 15.0000 7.3658 103.64%
349.13/350.07 c 350 1253 1212 1 15.0000 7.3658 103.64%
354.60/355.59 c 356 1299 1258 1 15.0000 7.3658 103.64%
360.20/361.18 c 361 1355 1310 1 15.0000 7.3658 103.64%
366.37/367.33 c 367 1409 1356 1 15.0000 7.3851 103.11%
371.76/372.71 c 373 1462 1401 1 15.0000 7.3989 102.73%
382.54/383.52 c 384 1469 0 1 15.0000 7.3989 102.73%
411.47/412.51 c 413 1470 1 1 15.0000 7.3989 102.73%
417.16/418.25 c 418 1479 10 1 15.0000 7.3989 102.73%
423.24/424.38 c 424 1490 21 1 15.0000 7.3989 102.73%
429.33/430.43 c 430 1503 34 1 15.0000 7.3989 102.73%
435.31/436.44 c 436 1509 40 1 15.0000 7.3989 102.73%
440.80/441.99 c 442 1517 48 1 15.0000 7.3989 102.73%
447.28/448.40 c 448 1526 57 1 15.0000 7.3989 102.73%
452.27/453.49 c 453 1532 63 1 15.0000 7.3989 102.73%
458.07/459.21 c 459 1541 72 1 15.0000 7.3989 102.73%
464.75/465.97 c 466 1555 86 1 15.0000 7.3989 102.73%
470.73/472.00 c 472 1565 96 1 15.0000 7.3989 102.73%
476.12/477.33 c 477 1577 108 1 15.0000 7.3989 102.73%
481.21/482.42 c 482 1587 118 1 15.0000 7.3989 102.73%
486.20/487.44 c 487 1594 125 1 15.0000 7.3989 102.73%
491.38/492.66 c 493 1607 138 1 15.0000 7.3989 102.73%
497.37/498.62 c 499 1625 156 1 15.0000 7.3989 102.73%
503.77/505.10 c 505 1641 172 1 15.0000 7.3989 102.73%
509.44/510.78 c 511 1656 187 1 15.0000 7.3989 102.73%
515.13/516.47 c 516 1670 201 1 15.0000 7.3989 102.73%
520.32/521.61 c 522 1682 213 1 15.0000 7.3989 102.73%
525.71/527.05 c 527 1697 228 1 15.0000 7.3989 102.73%
530.70/532.08 c 532 1713 244 1 15.0000 7.3989 102.73%
536.88/538.21 c 538 1730 261 1 15.0000 7.3989 102.73%
542.68/544.08 c 544 1742 273 1 15.0000 7.3989 102.73%
548.56/549.97 c 550 1757 288 1 15.0000 7.3989 102.73%
554.14/555.57 c 556 1773 304 1 15.0000 7.3989 102.73%
559.93/561.37 c 561 1783 314 1 15.0000 7.3989 102.73%
566.22/567.62 c 568 1795 326 1 15.0000 7.3989 102.73%
572.20/573.62 c 574 1815 346 1 15.0000 7.3989 102.73%
577.89/579.36 c 579 1825 356 1 15.0000 7.3989 102.73%
583.68/585.15 c 585 1839 370 1 15.0000 7.3989 102.73%
589.86/591.33 c 591 1856 387 1 15.0000 7.3989 102.73%
595.14/596.62 c 597 1865 396 1 15.0000 7.3989 102.73%
600.33/601.89 c 602 1881 412 1 15.0000 7.3989 102.73%
605.72/607.27 c 607 1897 428 1 15.0000 7.3989 102.73%
611.41/612.92 c 613 1915 446 1 15.0000 7.3989 102.73%
617.51/619.08 c 619 1938 469 1 15.0000 7.3989 102.73%
622.68/624.26 c 624 1953 484 1 15.0000 7.3989 102.73%
628.58/630.17 c 630 1976 507 1 15.0000 7.3989 102.73%
634.47/636.02 c 636 1993 524 1 15.0000 7.3989 102.73%
639.46/641.05 c 641 2014 545 1 15.0000 7.3989 102.73%
644.63/646.25 c 646 2034 565 1 15.0000 7.3989 102.73%
650.02/651.67 c 652 2050 581 1 15.0000 7.3989 102.73%
656.30/657.99 c 658 2074 605 1 15.0000 7.3989 102.73%
662.09/663.71 c 664 2097 628 1 15.0000 7.3989 102.73%
667.58/669.25 c 669 2125 656 1 15.0000 7.3989 102.73%
673.76/675.45 c 675 2153 684 1 15.0000 7.3989 102.73%
679.65/681.31 c 681 2184 715 1 15.0000 7.3989 102.73%
685.54/687.27 c 687 2210 741 1 15.0000 7.3989 102.73%
691.02/692.71 c 693 2239 770 1 15.0000 7.3989 102.73%
696.32/698.02 c 698 2267 798 1 15.0000 7.3989 102.73%
702.31/704.03 c 704 2298 829 1 15.0000 7.3989 102.73%
708.18/709.94 c 710 2331 862 1 15.0000 7.3989 102.73%
714.38/716.18 c 716 2369 900 1 15.0000 7.4225 102.09%
719.46/721.20 c 721 2405 936 1 15.0000 7.4225 102.09%
724.94/726.75 c 727 2440 971 1 15.0000 7.4378 101.67%
730.24/732.03 c 732 2478 1009 1 15.0000 7.4378 101.67%
735.72/737.59 c 738 2524 1055 1 15.0000 7.4378 101.67%
741.32/743.14 c 743 2560 1091 1 15.0000 7.4563 101.17%
746.80/748.68 c 749 2604 1135 1 15.0000 7.4563 101.17%
752.78/754.60 c 755 2656 1187 1 15.0000 7.4578 101.13%
758.18/760.06 c 760 2694 1225 1 15.0000 7.4578 101.13%
764.34/766.24 c 766 2739 1270 1 15.0000 7.4692 100.82%
770.14/772.04 c 772 2787 1318 1 15.0000 7.4692 100.82%
775.91/777.81 c 778 2824 1353 1 15.0000 7.4960 100.11%
781.89/783.80 c 784 2863 1392 1 15.0000 7.5339 99.10%
786.88/788.88 c 789 2894 1423 1 15.0000 7.5584 98.45%
792.97/794.96 c 795 2950 1479 1 15.0000 7.5657 98.26%
798.07/800.09 c 800 3000 1529 1 15.0000 7.5698 98.15%
803.15/805.18 c 805 3040 1569 1 15.0000 7.5733 98.06%
809.14/811.11 c 811 3082 1609 1 15.0000 7.5750 98.02%
814.21/816.20 c 816 3136 1659 1 15.0000 7.5760 97.99%
819.89/821.92 c 822 3192 1709 1 15.0000 7.5783 97.93%
825.09/827.16 c 827 3249 1756 1 15.0000 7.5831 97.81%
830.46/832.54 c 833 3305 1804 1 15.0000 7.5835 97.80%
835.95/838.07 c 838 3360 1857 1 15.0000 7.5835 97.80%
841.23/843.34 c 843 3413 1904 1 15.0000 7.5897 97.64%
846.81/848.92 c 849 3463 1950 1 15.0000 7.5974 97.44%
852.50/854.61 c 855 3523 2004 1 15.0000 7.6004 97.36%
857.90/860.03 c 860 3570 2047 1 15.0000 7.6004 97.36%
863.77/865.90 c 866 3628 2101 1 15.0000 7.6058 97.22%
868.96/871.12 c 871 3681 2150 1 15.0000 7.6058 97.22%
874.84/877.01 c 877 3746 2211 1 15.0000 7.6064 97.20%
880.01/882.28 c 882 3800 2261 1 15.0000 7.6064 97.20%
885.40/887.60 c 888 3844 2305 1 15.0000 7.6087 97.14%
890.80/893.01 c 893 3901 2358 1 15.0000 7.6087 97.14%
896.37/898.65 c 899 3955 2404 1 15.0000 7.6100 97.11%
901.96/904.22 c 904 4013 2456 1 15.0000 7.6100 97.11%
906.95/909.28 c 909 4066 2503 1 15.0000 7.6169 96.93%
912.54/914.87 c 915 4121 2554 1 15.0000 7.6169 96.93%
918.33/920.69 c 921 4177 2606 1 15.0000 7.6194 96.87%
923.82/926.15 c 926 4232 2653 1 15.0000 7.6194 96.87%
929.70/932.01 c 932 4298 2707 1 15.0000 7.6223 96.79%
934.69/937.06 c 937 4353 2754 1 15.0000 7.6334 96.51%
939.96/942.31 c 942 4408 2805 1 15.0000 7.6334 96.51%
946.14/948.51 c 949 4463 2856 1 15.0000 7.6383 96.38%
951.74/954.16 c 954 4518 2909 1 15.0000 7.6383 96.38%
956.91/959.38 c 959 4564 2949 1 15.0000 7.6416 96.30%
962.50/964.95 c 965 4620 3003 1 15.0000 7.6416 96.30%
967.71/970.16 c 970 4673 3054 1 15.0000 7.6432 96.25%
972.88/975.36 c 975 4719 3096 1 15.0000 7.6432 96.25%
978.57/981.04 c 981 4784 3157 1 15.0000 7.6480 96.13%
984.14/986.65 c 987 4839 3208 1 15.0000 7.6480 96.13%
989.23/991.72 c 992 4886 3253 1 15.0000 7.6481 96.13%
994.42/996.93 c 997 4947 3308 1 15.0000 7.6481 96.13%
999.52/1002.03 c 1002 4994 3351 1 15.0000 7.6514 96.04%
1004.99/1007.59 c 1008 5051 3400 1 15.0000 7.6514 96.04%
1009.68/1012.25 c * 1012 5093 3432 1 14.0000 7.6588 82.80%
1010.08/1012.64 c 1013 5106 2907 1 14.0000 7.6588 82.80%
1015.58/1018.15 c 1018 5176 2947 1 14.0000 7.6614 82.73%
1021.07/1023.61 c 1024 5247 2988 1 14.0000 7.6614 82.73%
1026.56/1029.13 c 1029 5305 3020 1 14.0000 7.6632 82.69%
1031.83/1034.44 c 1034 5366 3053 1 14.0000 7.6632 82.69%
1037.32/1040.01 c 1040 5430 3091 1 14.0000 7.6650 82.65%
1043.20/1045.82 c 1046 5500 3133 1 14.0000 7.6731 82.46%
1048.50/1051.16 c 1051 5546 3165 1 14.0000 7.6738 82.44%
1054.08/1056.79 c 1057 5623 3212 1 14.0000 7.6738 82.44%
1059.56/1062.28 c 1062 5689 3250 1 14.0000 7.6738 82.44%
1064.65/1067.39 c 1067 5748 3285 1 14.0000 7.6777 82.35%
1069.83/1072.55 c 1073 5796 3319 1 14.0000 7.6792 82.31%
1075.52/1078.27 c 1078 5861 3368 1 14.0000 7.6792 82.31%
1080.71/1083.47 c 1083 5911 3406 1 14.0000 7.6814 82.26%
1086.30/1089.03 c 1089 5979 3446 1 14.0000 7.6814 82.26%
1092.18/1094.92 c 1095 6044 3491 1 14.0000 7.6814 82.26%
1097.57/1100.30 c 1100 6103 3532 1 14.0000 7.6814 82.26%
1102.85/1105.67 c 1106 6166 3565 1 14.0000 7.6841 82.19%
1108.36/1111.19 c 1111 6234 3609 1 14.0000 7.6843 82.19%
1113.83/1116.61 c 1117 6285 3650 1 14.0000 7.6843 82.19%
1119.83/1122.65 c 1123 6359 3692 1 14.0000 7.6918 82.01%
1125.41/1128.22 c 1128 6410 3729 1 14.0000 7.6918 82.01%
1130.79/1133.67 c 1134 6479 3772 1 14.0000 7.6921 82.00%
1136.19/1139.09 c 1139 6545 3810 1 14.0000 7.6921 82.00%
1141.67/1144.59 c 1145 6607 3854 1 14.0000 7.6921 82.00%
1147.36/1150.28 c 1150 6674 3897 1 14.0000 7.6927 81.99%
1152.64/1155.52 c 1156 6727 3934 1 14.0000 7.6927 81.99%
1158.24/1161.17 c 1161 6781 3976 1 14.0000 7.6927 81.99%
1163.72/1166.64 c 1167 6848 4019 1 14.0000 7.6976 81.88%
1169.30/1172.21 c 1172 6907 4052 1 14.0000 7.6982 81.86%
1174.59/1177.53 c 1178 6970 4091 1 14.0000 7.6985 81.85%
1180.38/1183.35 c 1183 7037 4130 1 14.0000 7.6985 81.85%
1185.87/1188.87 c 1189 7092 4169 1 14.0000 7.6985 81.85%
1191.25/1194.24 c 1194 7157 4208 1 14.0000 7.6985 81.85%
1197.74/1200.77 c 1201 7210 4243 1 14.0000 7.7003 81.81%
1203.14/1206.16 c 1206 7263 4282 1 14.0000 7.7003 81.81%
1208.91/1211.96 c 1212 7320 4321 1 14.0000 7.7012 81.79%
1214.80/1217.83 c 1218 7380 4361 1 14.0000 7.7012 81.79%
1220.58/1223.62 c 1224 7421 4402 1 14.0000 7.7012 81.79%
1226.57/1229.61 c 1230 7487 4442 1 14.0000 7.7012 81.79%
1232.26/1235.30 c 1235 7541 4478 1 14.0000 7.7089 81.61%
1237.55/1240.62 c 1241 7587 4512 1 14.0000 7.7089 81.61%
1242.84/1245.98 c 1246 7640 4559 1 14.0000 7.7147 81.47%
1248.62/1251.75 c 1252 7693 4590 1 14.0000 7.7147 81.47%
1253.81/1256.93 c 1257 7747 4630 1 14.0000 7.7173 81.41%
1259.10/1262.23 c 1262 7793 4670 1 14.0000 7.7174 81.41%
1264.38/1267.50 c 1268 7852 4711 1 14.0000 7.7197 81.35%
1269.77/1272.92 c 1273 7894 4747 1 14.0000 7.7197 81.35%
1275.26/1278.47 c 1278 7938 4783 1 14.0000 7.7197 81.35%
1281.14/1284.37 c 1284 7987 4822 1 14.0000 7.7197 81.35%
1286.53/1289.78 c 1290 8045 4856 1 14.0000 7.7213 81.32%
1292.41/1295.63 c 1296 8110 4897 1 14.0000 7.7213 81.32%
1298.10/1301.33 c 1301 8153 4926 1 14.0000 7.7213 81.32%
1303.70/1306.97 c 1307 8217 4968 1 14.0000 7.7233 81.27%
1309.28/1312.52 c 1313 8258 5001 1 14.0000 7.7233 81.27%
1314.78/1318.02 c 1318 8317 5040 1 14.0000 7.7254 81.22%
1320.06/1323.35 c 1323 8358 5071 1 14.0000 7.7271 81.18%
1325.34/1328.69 c 1329 8419 5120 1 14.0000 7.7271 81.18%
1330.93/1334.20 c 1334 8462 5151 1 14.0000 7.7271 81.18%
1336.41/1339.79 c 1340 8520 5193 1 14.0000 7.7271 81.18%
1341.81/1345.16 c 1345 8575 5234 1 14.0000 7.7271 81.18%
1347.28/1350.66 c 1351 8626 5269 1 14.0000 7.7271 81.18%
1352.78/1356.16 c 1356 8673 5306 1 14.0000 7.7271 81.18%
1358.26/1361.64 c 1362 8724 5341 1 14.0000 7.7281 81.16%
1363.55/1366.94 c 1367 8773 5368 1 14.0000 7.7299 81.11%
1369.04/1372.44 c 1372 8819 5402 1 14.0000 7.7312 81.08%
1374.64/1378.05 c 1378 8873 5438 1 14.0000 7.7312 81.08%
1380.62/1384.09 c 1384 8930 5481 1 14.0000 7.7312 81.08%
1386.61/1390.01 c 1390 8983 5522 1 14.0000 7.7312 81.08%
1391.88/1395.39 c 1395 9030 5557 1 14.0000 7.7321 81.06%
1397.07/1400.51 c 1401 9080 5597 1 14.0000 7.7387 80.91%
1402.57/1406.09 c 1406 9140 5637 1 14.0000 7.7387 80.91%
1407.94/1411.49 c 1411 9190 5681 1 14.0000 7.7414 80.85%
1413.34/1416.87 c 1417 9240 5721 1 14.0000 7.7414 80.85%
1419.42/1422.92 c 1423 9306 5763 1 14.0000 7.7433 80.80%
1425.11/1428.66 c 1429 9345 5792 1 14.0000 7.7433 80.80%
1430.89/1434.43 c 1434 9399 5834 1 14.0000 7.7433 80.80%
1436.59/1440.11 c 1440 9451 5868 1 14.0000 7.7433 80.80%
1442.37/1445.96 c 1446 9504 5901 1 14.0000 7.7433 80.80%
1447.95/1451.59 c 1452 9559 5942 1 14.0000 7.7433 80.80%
1453.23/1456.81 c 1457 9612 5981 1 14.0000 7.7446 80.77%
1458.71/1462.34 c 1462 9666 6023 1 14.0000 7.7446 80.77%
1464.70/1468.35 c 1468 9723 6068 1 14.0000 7.7468 80.72%
1470.19/1473.87 c 1474 9766 6101 1 14.0000 7.7468 80.72%
1476.49/1480.11 c 1480 9839 6144 1 14.0000 7.7468 80.72%
1482.17/1485.85 c 1486 9916 6193 1 14.0000 7.7468 80.72%
1487.75/1491.46 c 1491 9970 6231 1 14.0000 7.7508 80.63%
1493.04/1496.79 c 1497 10016 6261 1 14.0000 7.7508 80.63%
1499.13/1502.89 c 1503 10068 6307 1 14.0000 7.7514 80.61%
1505.11/1508.85 c 1509 10114 6335 1 14.0000 7.7514 80.61%
1510.70/1514.46 c 1514 10173 6372 1 14.0000 7.7514 80.61%
1516.30/1520.03 c 1520 10244 6421 1 14.0000 7.7514 80.61%
1521.87/1525.68 c 1526 10297 6458 1 14.0000 7.7514 80.61%
1526.96/1530.71 c 1531 10355 6502 1 14.0000 7.7514 80.61%
1532.64/1536.45 c 1536 10414 6539 1 14.0000 7.7514 80.61%
1538.34/1542.13 c 1542 10471 6574 1 14.0000 7.7514 80.61%
1544.33/1548.12 c 1548 10527 6620 1 14.0000 7.7514 80.61%
1549.51/1553.33 c 1553 10590 6669 1 14.0000 7.7522 80.59%
1554.99/1558.86 c 1559 10652 6705 1 14.0000 7.7522 80.59%
1560.88/1564.79 c 1565 10710 6739 1 14.0000 7.7562 80.50%
1566.28/1570.11 c 1570 10753 6774 1 14.0000 7.7562 80.50%
1571.85/1575.73 c 1576 10799 6810 1 14.0000 7.7562 80.50%
1577.64/1581.56 c 1582 10857 6846 1 14.0000 7.7562 80.50%
1583.43/1587.37 c 1587 10909 6884 1 14.0000 7.7562 80.50%
1589.12/1593.09 c 1593 10988 6933 1 14.0000 7.7562 80.50%
1594.80/1598.78 c 1599 11040 6967 1 14.0000 7.7567 80.49%
1599.88/1603.85 c 1604 11096 7001 1 14.0000 7.7571 80.48%
1605.27/1609.23 c 1609 11148 7037 1 14.0000 7.7571 80.48%
1611.25/1615.21 c 1615 11212 7079 1 14.0000 7.7571 80.48%
1616.94/1620.90 c 1621 11283 7132 1 14.0000 7.7600 80.41%
1622.63/1626.65 c 1627 11337 7176 1 14.0000 7.7600 80.41%
1628.21/1632.26 c 1632 11395 7216 1 14.0000 7.7600 80.41%
1633.81/1637.84 c 1638 11473 7256 1 14.0000 7.7600 80.41%
1639.59/1643.63 c 1644 11538 7299 1 14.0000 7.7600 80.41%
1645.18/1649.29 c 1649 11594 7339 1 14.0000 7.7600 80.41%
1650.56/1654.67 c 1655 11665 7386 1 14.0000 7.7600 80.41%
1655.96/1660.08 c 1660 11720 7425 1 14.0000 7.7600 80.41%
1661.14/1665.21 c 1665 11772 7471 1 14.0000 7.7600 80.41%
1667.12/1671.27 c 1671 11845 7520 1 14.0000 7.7600 80.41%
1672.81/1676.97 c 1677 11916 7569 1 14.0000 7.7600 80.41%
1678.40/1682.50 c 1682 11975 7608 1 14.0000 7.7600 80.41%
1683.59/1687.77 c 1688 12049 7666 1 14.0000 7.7600 80.41%
1688.88/1693.01 c 1693 12113 7708 1 14.0000 7.7600 80.41%
1694.06/1698.25 c 1698 12170 7753 1 14.0000 7.7600 80.41%
1699.54/1703.73 c 1704 12237 7806 1 14.0000 7.7600 80.41%
1705.53/1709.76 c 1710 12304 7851 1 14.0000 7.7600 80.41%
1710.62/1714.84 c 1715 12341 7886 1 14.0000 7.7601 80.41%
1716.31/1720.54 c 1721 12413 7936 1 14.0000 7.7601 80.41%
1721.70/1725.96 c 1726 12494 7989 1 14.0000 7.7601 80.41%
1727.28/1731.52 c 1732 12572 8037 1 14.0000 7.7601 80.41%
1732.67/1736.96 c 1737 12643 8084 1 14.0000 7.7601 80.41%
1738.36/1742.65 c 1743 12716 8135 1 14.0000 7.7608 80.39%
1744.24/1748.53 c 1749 12787 8184 1 14.0000 7.7608 80.39%
1750.03/1754.39 c 1754 12855 8238 1 14.0000 7.7608 80.39%
1755.91/1760.29 c 1760 12923 8290 1 14.0000 7.7608 80.39%
1761.40/1765.73 c 1766 12991 8338 1 14.0000 7.7608 80.39%
1766.98/1771.33 c 1771 13059 8386 1 14.0000 7.7608 80.39%
1772.28/1776.68 c 1777 13132 8427 1 14.0000 7.7608 80.39%
1777.87/1782.26 c 1782 13202 8483 1 14.0000 7.7608 80.39%
1783.25/1787.68 c 1788 13273 8530 1 14.0000 7.7608 80.39%
1789.34/1793.79 c 1794 13337 8578 1 14.0000 7.7625 80.35%
1795.01/1799.48 c 1799 13408 8629 1 14.0000 7.7658 80.28%
1800.81/1805.28 c 1805 13483 8676 1 14.0000 7.7662 80.27%
1806.49/1810.92 c 1811 13554 8715 1 14.0000 7.7662 80.27%
1812.08/1816.51 c 1817 13624 8763 1 14.0000 7.7667 80.26%
1817.76/1822.23 c 1822 13692 8809 1 14.0000 7.7667 80.26%
1823.84/1828.33 c 1828 13760 8859 1 14.0000 7.7670 80.25%
1829.31/1833.81 c 1834 13835 8914 1 14.0000 7.7670 80.25%
1835.30/1839.87 c 1840 13906 8967 1 14.0000 7.7702 80.17%
1840.79/1845.33 c 1845 13973 9026 1 14.0000 7.7702 80.17%
1846.08/1850.68 c 1851 14041 9080 1 14.0000 7.7702 80.17%
1851.36/1855.99 c 1856 14101 9130 1 14.0000 7.7707 80.16%
1856.84/1861.42 c 1861 14167 9174 1 14.0000 7.7707 80.16%
1862.54/1867.16 c 1867 14231 9222 1 14.0000 7.7707 80.16%
1867.91/1872.58 c 1873 14293 9276 1 14.0000 7.7707 80.16%
1873.00/1877.63 c 1878 14365 9316 1 14.0000 7.7711 80.16%
1878.69/1883.37 c 1883 14435 9372 1 14.0000 7.7756 80.05%
1883.97/1888.64 c 1889 14505 9422 1 14.0000 7.7756 80.05%
1889.96/1894.67 c 1895 14569 9476 1 14.0000 7.7798 79.95%
1895.74/1900.45 c 1900 14637 9530 1 14.0000 7.7842 79.85%
1901.63/1906.38 c 1906 14717 9594 1 14.0000 7.7844 79.85%
1907.01/1911.72 c 1912 14775 9638 1 14.0000 7.7844 79.85%
1912.00/1916.74 c 1917 14836 9691 1 14.0000 7.7850 79.83%
1917.59/1922.30 c 1922 14897 9734 1 14.0000 7.7850 79.83%
1922.97/1927.71 c 1928 14961 9790 1 14.0000 7.7850 79.83%
1928.76/1933.52 c 1934 15028 9841 1 14.0000 7.7850 79.83%
1934.26/1939.05 c 1939 15096 9891 1 14.0000 7.7850 79.83%
1939.54/1944.33 c 1944 15160 9933 1 14.0000 7.7887 79.75%
1945.13/1949.90 c 1950 15244 9975 1 14.0000 7.7887 79.75%
1950.23/1955.10 c 1955 15313 10018 1 14.0000 7.7889 79.74%
1955.40/1960.27 c 1960 15381 10070 1 14.0000 7.7889 79.74%
1960.69/1965.57 c 1966 15457 10122 1 14.0000 7.7889 79.74%
1965.98/1970.84 c 1971 15532 10169 1 14.0000 7.7889 79.74%
1971.28/1976.19 c 1976 15606 10229 1 14.0000 7.7889 79.74%
1976.45/1981.39 c 1981 15679 10276 1 14.0000 7.7889 79.74%
1981.84/1986.74 c 1987 15771 10332 1 14.0000 7.7889 79.74%
1987.14/1992.07 c 1992 15850 10379 1 14.0000 7.7893 79.73%
1992.31/1997.25 c 1997 15919 10428 1 14.0000 7.7893 79.73%
1998.20/2003.11 c 2003 15997 10484 1 14.0000 7.7912 79.69%
2003.78/2008.75 c 2009 16073 10538 1 14.0000 7.7912 79.69%
2009.37/2014.33 c 2014 16139 10580 1 14.0000 7.7932 79.64%
2014.86/2019.88 c 2020 16213 10634 1 14.0000 7.7932 79.64%
2020.34/2025.39 c 2025 16293 10688 1 14.0000 7.7932 79.64%
2026.14/2031.15 c 2031 16360 10741 1 14.0000 7.7952 79.60%
2031.62/2036.68 c 2037 16428 10775 1 14.0000 7.7953 79.60%
2036.70/2041.79 c 2042 16509 10816 1 14.0000 7.7954 79.59%
2042.09/2047.14 c 2047 16571 10860 1 14.0000 7.7954 79.59%
2047.27/2052.39 c 2052 16642 10915 1 14.0000 7.8020 79.44%
2052.66/2057.70 c 2058 16705 10960 1 14.0000 7.8020 79.44%
2058.34/2063.48 c 2063 16782 11013 1 14.0000 7.8024 79.43%
2063.63/2068.74 c 2069 16863 11068 1 14.0000 7.8024 79.43%
2068.82/2073.98 c 2074 16934 11113 1 14.0000 7.8034 79.41%
2075.69/2080.86 c 2081 17004 11151 1 14.0000 7.8034 79.41%
2081.18/2086.30 c 2086 17077 11204 1 14.0000 7.8034 79.41%
2086.37/2091.55 c 2092 17149 11252 1 14.0000 7.8034 79.41%
2092.35/2097.55 c 2098 17225 11312 1 14.0000 7.8060 79.35%
2097.85/2103.01 c 2103 17297 11370 1 14.0000 7.8060 79.35%
2103.13/2108.39 c 2108 17370 11425 1 14.0000 7.8073 79.32%
2108.71/2113.96 c 2114 17451 11478 1 14.0000 7.8073 79.32%
2113.99/2119.22 c 2119 17511 11522 1 14.0000 7.8073 79.32%
2119.38/2124.62 c 2125 17582 11569 1 14.0000 7.8073 79.32%
2124.78/2130.04 c 2130 17661 11620 1 14.0000 7.8073 79.32%
2130.05/2135.38 c 2135 17728 11677 1 14.0000 7.8073 79.32%
2135.55/2140.89 c 2141 17808 11721 1 14.0000 7.8073 79.32%
2140.85/2146.16 c 2146 17883 11772 1 14.0000 7.8073 79.32%
2146.52/2151.86 c 2152 17963 11832 1 14.0000 7.8073 79.32%
2151.90/2157.23 c 2157 18038 11883 1 14.0000 7.8073 79.32%
2157.29/2162.62 c 2163 18122 11941 1 14.0000 7.8084 79.29%
2162.87/2168.29 c 2168 18200 12001 1 14.0000 7.8084 79.29%
2168.06/2173.41 c 2173 18264 12045 1 14.0000 7.8098 79.26%
2173.15/2178.57 c 2179 18336 12095 1 14.0000 7.8098 79.26%
2178.24/2183.62 c 2184 18398 12133 1 14.0000 7.8127 79.20%
2183.43/2188.80 c 2189 18471 12188 1 14.0000 7.8127 79.20%
2188.42/2193.88 c 2194 18534 12223 1 14.0000 7.8132 79.18%
2193.62/2199.03 c 2199 18600 12269 1 14.0000 7.8132 79.18%
2198.79/2204.28 c 2204 18672 12313 1 14.0000 7.8132 79.18%
2204.17/2209.60 c 2210 18746 12367 1 14.0000 7.8132 79.18%
2209.67/2215.18 c 2215 18812 12421 1 14.0000 7.8132 79.18%
2215.56/2221.09 c 2221 18884 12469 1 14.0000 7.8132 79.18%
2221.43/2226.98 c 2227 18968 12523 1 14.0000 7.8143 79.16%
2226.71/2232.20 c 2232 19042 12567 1 14.0000 7.8143 79.16%
2231.90/2237.44 c 2237 19105 12614 1 14.0000 7.8143 79.16%
2237.39/2242.97 c 2243 19176 12667 1 14.0000 7.8143 79.16%
2242.49/2248.03 c 2248 19247 12710 1 14.0000 7.8171 79.09%
2248.36/2253.95 c 2254 19326 12759 1 14.0000 7.8184 79.07%
2253.57/2259.17 c 2259 19400 12809 1 14.0000 7.8214 79.00%
2259.45/2265.01 c 2265 19465 12856 1 14.0000 7.8218 78.99%
2264.63/2270.26 c 2270 19548 12909 1 14.0000 7.8218 78.99%
2270.21/2275.90 c 2276 19625 12954 1 14.0000 7.8228 78.96%
2275.89/2281.54 c 2282 19705 13002 1 14.0000 7.8247 78.92%
2281.17/2286.85 c 2287 19795 13056 1 14.0000 7.8247 78.92%
2286.77/2292.42 c 2292 19873 13102 1 14.0000 7.8258 78.89%
2291.96/2297.62 c 2298 19957 13162 1 14.0000 7.8258 78.89%
2297.94/2303.66 c 2304 20048 13213 1 14.0000 7.8284 78.84%
2303.52/2309.25 c 2309 20128 13265 1 14.0000 7.8284 78.84%
2308.71/2314.44 c 2314 20203 13314 1 14.0000 7.8284 78.84%
2313.90/2319.69 c 2320 20289 13362 1 14.0000 7.8284 78.84%
2318.98/2324.77 c 2325 20350 13403 1 14.0000 7.8305 78.79%
2324.38/2330.15 c 2330 20434 13459 1 14.0000 7.8305 78.79%
2330.45/2336.21 c 2336 20523 13510 1 14.0000 7.8311 78.78%
2335.73/2341.52 c 2342 20602 13557 1 14.0000 7.8311 78.78%
2341.52/2347.31 c 2347 20690 13603 1 14.0000 7.8313 78.77%
2347.40/2353.20 c 2353 20770 13655 1 14.0000 7.8330 78.73%
2352.59/2358.48 c 2358 20835 13700 1 14.0000 7.8330 78.73%
2358.58/2364.49 c 2364 20908 13743 1 14.0000 7.8330 78.73%
2363.77/2369.64 c 2370 20976 13791 1 14.0000 7.8330 78.73%
2368.95/2374.85 c 2375 21038 13827 1 14.0000 7.8348 78.69%
2374.04/2380.01 c 2380 21110 13881 1 14.0000 7.8348 78.69%
2379.82/2385.70 c 2386 21182 13927 1 14.0000 7.8350 78.68%
2385.12/2391.08 c 2391 21255 13974 1 14.0000 7.8350 78.68%
2390.49/2396.46 c 2396 21328 14023 1 14.0000 7.8357 78.67%
2396.09/2402.07 c 2402 21408 14077 1 14.0000 7.8360 78.66%
2401.17/2407.15 c 2407 21480 14125 1 14.0000 7.8367 78.65%
2406.45/2412.41 c 2412 21556 14173 1 14.0000 7.8371 78.64%
2411.64/2417.62 c 2418 21622 14211 1 14.0000 7.8371 78.64%
2417.03/2423.06 c 2423 21704 14267 1 14.0000 7.8371 78.64%
2422.51/2428.55 c 2429 21786 14319 1 14.0000 7.8371 78.64%
2427.80/2433.89 c 2434 21854 14367 1 14.0000 7.8371 78.64%
2433.29/2439.37 c 2439 21932 14419 1 14.0000 7.8371 78.64%
2439.28/2445.31 c 2445 22018 14467 1 14.0000 7.8388 78.60%
2444.46/2450.58 c 2451 22100 14509 1 14.0000 7.8412 78.54%
2449.66/2455.79 c 2456 22177 14566 1 14.0000 7.8412 78.54%
2455.14/2461.26 c 2461 22267 14624 1 14.0000 7.8412 78.54%
2460.43/2466.54 c 2467 22355 14684 1 14.0000 7.8412 78.54%
2466.11/2472.22 c 2472 22425 14724 1 14.0000 7.8413 78.54%
2471.50/2477.69 c 2478 22490 14765 1 14.0000 7.8443 78.47%
2477.08/2483.26 c 2483 22579 14814 1 14.0000 7.8443 78.47%
2482.57/2488.78 c 2489 22662 14865 1 14.0000 7.8443 78.47%
2488.63/2494.89 c 2495 22758 14925 1 14.0000 7.8454 78.45%
2494.12/2500.35 c 2500 22836 14973 1 14.0000 7.8454 78.45%
2499.60/2505.80 c 2506 22918 15029 1 14.0000 7.8454 78.45%
2505.09/2511.34 c 2511 23007 15078 1 14.0000 7.8454 78.45%
2510.79/2517.10 c 2517 23084 15123 1 14.0000 7.8454 78.45%
2516.46/2522.70 c 2523 23174 15185 1 14.0000 7.8455 78.45%
2521.95/2528.29 c 2528 23254 15235 1 14.0000 7.8455 78.45%
2527.13/2533.49 c 2533 23328 15287 1 14.0000 7.8455 78.45%
2533.12/2539.46 c 2539 23405 15336 1 14.0000 7.8455 78.45%
2538.20/2544.50 c 2544 23466 15365 1 14.0000 7.8478 78.39%
2543.89/2550.27 c 2550 23548 15415 1 14.0000 7.8519 78.30%
2549.58/2555.93 c 2556 23626 15469 1 14.0000 7.8519 78.30%
2554.78/2561.19 c 2561 23694 15519 1 14.0000 7.8535 78.26%
2560.26/2566.63 c 2567 23779 15566 1 14.0000 7.8544 78.24%
2565.94/2572.39 c 2572 23858 15623 1 14.0000 7.8544 78.24%
2571.42/2577.86 c 2578 23940 15673 1 14.0000 7.8550 78.23%
2576.51/2582.95 c 2583 24022 15719 1 14.0000 7.8569 78.19%
2581.49/2588.01 c 2588 24094 15765 1 14.0000 7.8569 78.19%
2587.27/2593.70 c 2594 24170 15821 1 14.0000 7.8575 78.17%
2592.46/2598.93 c 2599 24258 15877 1 14.0000 7.8575 78.17%
2598.45/2604.92 c 2605 24342 15935 1 14.0000 7.8593 78.13%
2603.93/2610.45 c 2610 24430 15991 1 14.0000 7.8600 78.12%
2609.42/2615.95 c 2616 24529 16052 1 14.0000 7.8600 78.12%
2614.52/2621.10 c 2621 24609 16104 1 14.0000 7.8600 78.12%
2620.09/2626.61 c 2627 24687 16164 1 14.0000 7.8600 78.12%
2625.77/2632.33 c 2632 24773 16220 1 14.0000 7.8600 78.12%
2631.06/2637.62 c 2638 24869 16276 1 14.0000 7.8600 78.12%
2636.25/2642.85 c 2643 24941 16324 1 14.0000 7.8600 78.12%
2642.13/2648.74 c 2649 25034 16381 1 14.0000 7.8605 78.11%
2648.02/2654.69 c 2655 25115 16422 1 14.0000 7.8624 78.06%
2654.10/2660.75 c 2661 25226 16487 1 14.0000 7.8644 78.02%
2659.40/2666.01 c 2666 25304 16537 1 14.0000 7.8644 78.02%
2664.39/2671.07 c 2671 25365 16582 1 14.0000 7.8647 78.01%
2670.06/2676.77 c 2677 25459 16644 1 14.0000 7.8649 78.01%
2675.55/2682.22 c 2682 25552 16709 1 14.0000 7.8649 78.01%
2681.54/2688.26 c 2688 25647 16760 1 14.0000 7.8653 78.00%
2687.62/2694.31 c 2694 25760 16827 1 14.0000 7.8664 77.97%
2692.91/2699.68 c 2700 25861 16884 1 14.0000 7.8664 77.97%
2698.20/2704.90 c 2705 25924 16925 1 14.0000 7.8664 77.97%
2703.78/2710.54 c 2711 26011 16980 1 14.0000 7.8664 77.97%
2709.77/2716.53 c 2717 26103 17050 1 14.0000 7.8689 77.92%
2715.66/2722.47 c 2722 26196 17115 1 14.0000 7.8693 77.91%
2721.04/2727.83 c 2728 26262 17163 1 14.0000 7.8693 77.91%
2727.03/2733.90 c 2734 26340 17217 1 14.0000 7.8698 77.90%
2732.71/2739.51 c 2740 26425 17268 1 14.0000 7.8698 77.90%
2737.80/2744.66 c 2745 26500 17313 1 14.0000 7.8700 77.89%
2743.30/2750.17 c 2750 26572 17365 1 14.0000 7.8700 77.89%
2748.77/2755.67 c 2756 26671 17424 1 14.0000 7.8716 77.85%
2754.06/2760.94 c 2761 26760 17485 1 14.0000 7.8716 77.85%
2759.44/2766.36 c 2766 26838 17537 1 14.0000 7.8716 77.85%
2764.63/2771.53 c 2772 26920 17587 1 14.0000 7.8716 77.85%
2769.93/2776.86 c 2777 26996 17639 1 14.0000 7.8716 77.85%
2775.91/2782.88 c 2783 27089 17696 1 14.0000 7.8726 77.83%
2781.80/2788.74 c 2789 27183 17760 1 14.0000 7.8730 77.82%
2786.98/2793.94 c 2794 27256 17813 1 14.0000 7.8730 77.82%
2792.18/2799.20 c 2799 27358 17871 1 14.0000 7.8735 77.81%
2797.76/2804.79 c 2805 27467 17928 1 14.0000 7.8735 77.81%
2802.94/2809.97 c 2810 27554 17975 1 14.0000 7.8742 77.80%
2808.42/2815.45 c 2815 27640 18033 1 14.0000 7.8755 77.77%
2814.02/2821.01 c 2821 27720 18085 1 14.0000 7.8756 77.77%
2819.49/2826.59 c 2827 27817 18144 1 14.0000 7.8756 77.77%
2824.78/2831.84 c 2832 27906 18201 1 14.0000 7.8764 77.75%
2830.08/2837.16 c 2837 27992 18257 1 14.0000 7.8764 77.75%
2835.66/2842.71 c 2843 28080 18313 1 14.0000 7.8799 77.67%
2841.15/2848.24 c 2848 28171 18366 1 14.0000 7.8799 77.67%
2846.33/2853.44 c 2853 28252 18417 1 14.0000 7.8810 77.64%
2851.52/2858.61 c 2859 28321 18460 1 14.0000 7.8810 77.64%
2856.80/2863.91 c 2864 28409 18510 1 14.0000 7.8810 77.64%
2861.90/2869.03 c 2869 28487 18562 1 14.0000 7.8810 77.64%
2867.28/2874.43 c 2874 28587 18626 1 14.0000 7.8810 77.64%
2872.56/2879.72 c 2880 28672 18681 1 14.0000 7.8810 77.64%
2877.96/2885.11 c 2885 28760 18735 1 14.0000 7.8810 77.64%
2883.43/2890.64 c 2891 28850 18785 1 14.0000 7.8817 77.63%
2888.62/2895.88 c 2896 28940 18825 1 14.0000 7.8823 77.61%
2894.01/2901.28 c 2901 29012 18867 1 14.0000 7.8827 77.60%
2899.39/2906.61 c 2907 29095 18928 1 14.0000 7.8827 77.60%
2904.89/2912.12 c 2912 29169 18978 1 14.0000 7.8831 77.60%
2910.27/2917.59 c 2918 29246 19027 1 14.0000 7.8832 77.59%
2915.96/2923.24 c 2923 29354 19087 1 14.0000 7.8854 77.54%
2921.14/2928.44 c 2928 29437 19138 1 14.0000 7.8854 77.54%
2926.63/2933.94 c 2934 29536 19191 1 14.0000 7.8854 77.54%
2932.61/2940.01 c 2940 29626 19247 1 14.0000 7.8859 77.53%
2937.81/2945.14 c 2945 29716 19301 1 14.0000 7.8889 77.47%
2943.28/2950.69 c 2951 29793 19346 1 14.0000 7.8889 77.47%
2949.46/2956.84 c 2957 29858 19387 1 14.0000 7.8898 77.44%
2954.85/2962.24 c 2962 29945 19446 1 14.0000 7.8898 77.44%
2960.14/2967.52 c 2968 30030 19499 1 14.0000 7.8898 77.44%
2965.52/2972.92 c 2973 30136 19545 1 14.0000 7.8898 77.44%
2970.81/2978.20 c 2978 30218 19601 1 14.0000 7.8898 77.44%
2975.99/2983.44 c 2983 30305 19654 1 14.0000 7.8898 77.44%
2981.29/2988.70 c 2989 30387 19712 1 14.0000 7.8898 77.44%
2986.37/2993.84 c 2994 30490 19761 1 14.0000 7.8902 77.44%
2991.75/2999.21 c 2999 30580 19815 1 14.0000 7.8949 77.33%
2996.95/3004.42 c 3004 30690 19879 1 14.0000 7.8949 77.33%
3002.64/3010.13 c 3010 30764 19929 1 14.0000 7.8958 77.31%
3008.32/3015.82 c 3016 30858 19989 1 14.0000 7.8960 77.30%
3013.51/3021.06 c 3021 30954 20047 1 14.0000 7.8976 77.27%
3018.99/3026.54 c 3027 31062 20095 1 14.0000 7.8984 77.25%
3024.97/3032.57 c 3033 31165 20154 1 14.0000 7.9008 77.20%
3030.26/3037.87 c 3038 31243 20206 1 14.0000 7.9008 77.20%
3035.65/3043.24 c 3043 31337 20268 1 14.0000 7.9008 77.20%
3041.23/3048.86 c 3049 31446 20329 1 14.0000 7.9008 77.20%
3046.93/3054.56 c 3055 31538 20395 1 14.0000 7.9008 77.20%
3052.01/3059.60 c 3060 31610 20439 1 14.0000 7.9019 77.17%
3057.60/3065.25 c 3065 31726 20497 1 14.0000 7.9019 77.17%
3062.98/3070.61 c 3071 31810 20553 1 14.0000 7.9054 77.10%
3068.27/3075.93 c 3076 31901 20604 1 14.0000 7.9061 77.08%
3073.36/3081.03 c 3081 31994 20659 1 14.0000 7.9067 77.06%
3079.14/3086.87 c 3087 32095 20726 1 14.0000 7.9080 77.04%
3084.34/3092.11 c 3092 32180 20773 1 14.0000 7.9081 77.03%
3089.92/3097.63 c 3098 32278 20831 1 14.0000 7.9081 77.03%
3095.21/3102.96 c 3103 32361 20882 1 14.0000 7.9085 77.02%
3100.69/3108.43 c 3108 32454 20945 1 14.0000 7.9085 77.02%
3105.98/3113.74 c 3114 32533 20998 1 14.0000 7.9085 77.02%
3111.96/3119.76 c 3120 32630 21059 1 14.0000 7.9095 77.00%
3117.54/3125.32 c 3125 32725 21124 1 14.0000 7.9095 77.00%
3123.13/3130.94 c 3131 32830 21187 1 14.0000 7.9095 77.00%
3128.41/3136.29 c 3136 32910 21245 1 14.0000 7.9095 77.00%
3133.60/3141.49 c 3141 33000 21309 1 14.0000 7.9095 77.00%
3138.88/3146.79 c 3147 33087 21362 1 14.0000 7.9095 77.00%
3144.58/3152.49 c 3152 33182 21419 1 14.0000 7.9099 76.99%
3150.26/3158.18 c 3158 33280 21477 1 14.0000 7.9099 76.99%
3155.74/3163.69 c 3164 33362 21537 1 14.0000 7.9099 76.99%
3161.63/3169.57 c 3170 33477 21606 1 14.0000 7.9106 76.98%
3167.31/3175.27 c 3175 33568 21661 1 14.0000 7.9106 76.98%
3173.00/3180.97 c 3181 33654 21711 1 14.0000 7.9110 76.97%
3178.48/3186.44 c 3186 33755 21774 1 14.0000 7.9110 76.97%
3183.67/3191.60 c 3192 33845 21834 1 14.0000 7.9110 76.97%
3189.55/3197.59 c 3198 33947 21896 1 14.0000 7.9115 76.96%
3195.34/3203.37 c 3203 34062 21963 1 14.0000 7.9115 76.96%
3200.83/3208.89 c 3209 34171 22022 1 14.0000 7.9140 76.90%
3206.61/3214.62 c 3215 34274 22087 1 14.0000 7.9155 76.87%
3211.90/3219.93 c 3220 34380 22155 1 14.0000 7.9155 76.87%
3217.88/3225.98 c 3226 34500 22223 1 14.0000 7.9158 76.86%
3223.57/3231.66 c 3232 34600 22289 1 14.0000 7.9168 76.84%
3228.85/3237.01 c 3237 34697 22344 1 14.0000 7.9168 76.84%
3234.44/3242.52 c 3243 34784 22397 1 14.0000 7.9168 76.84%
3239.94/3248.03 c 3248 34893 22464 1 14.0000 7.9168 76.84%
3245.41/3253.52 c 3254 34980 22513 1 14.0000 7.9191 76.79%
3250.70/3258.84 c 3259 35085 22576 1 14.0000 7.9191 76.79%
3255.99/3264.13 c 3264 35198 22641 1 14.0000 7.9191 76.79%
3261.46/3269.68 c 3270 35280 22699 1 14.0000 7.9215 76.74%
3266.87/3275.05 c 3275 35356 22745 1 14.0000 7.9215 76.74%
3272.24/3280.42 c 3280 35467 22792 1 14.0000 7.9215 76.74%
3277.23/3285.47 c 3285 35569 22842 1 14.0000 7.9215 76.73%
3283.31/3291.50 c 3292 35681 22900 1 14.0000 7.9228 76.70%
3288.60/3296.83 c 3297 35780 22945 1 14.0000 7.9255 76.65%
3293.99/3302.25 c 3302 35899 23004 1 14.0000 7.9255 76.65%
3299.67/3307.93 c 3308 36002 23069 1 14.0000 7.9266 76.62%
3305.06/3313.38 c 3313 36140 23131 1 14.0000 7.9275 76.60%
3310.65/3318.96 c 3319 36255 23190 1 14.0000 7.9275 76.60%
3315.94/3324.21 c 3324 36361 23248 1 14.0000 7.9275 76.60%
3321.22/3329.59 c 3330 36457 23302 1 14.0000 7.9275 76.60%
3326.41/3334.75 c 3335 36533 23350 1 14.0000 7.9275 76.60%
3331.90/3340.20 c 3340 36636 23401 1 14.0000 7.9275 76.60%
3337.19/3345.50 c 3345 36729 23452 1 14.0000 7.9275 76.60%
3342.28/3350.69 c 3351 36831 23512 1 14.0000 7.9275 76.60%
3348.06/3356.46 c 3356 36952 23577 1 14.0000 7.9280 76.59%
3353.54/3361.90 c 3362 37046 23629 1 14.0000 7.9280 76.59%
3358.82/3367.27 c 3367 37143 23686 1 14.0000 7.9280 76.59%
3364.01/3372.44 c 3372 37224 23739 1 14.0000 7.9289 76.57%
3369.40/3377.86 c 3378 37318 23801 1 14.0000 7.9291 76.57%
3374.59/3383.05 c 3383 37440 23859 1 14.0000 7.9291 76.57%
3380.58/3389.03 c 3389 37551 23926 1 14.0000 7.9294 76.56%
3385.75/3394.20 c 3394 37650 23983 1 14.0000 7.9294 76.56%
3391.14/3399.67 c 3400 37762 24057 1 14.0000 7.9294 76.56%
3396.54/3405.08 c 3405 37860 24111 1 14.0000 7.9303 76.54%
3402.11/3410.64 c 3411 37977 24178 1 14.0000 7.9315 76.51%
3407.80/3416.31 c 3416 38079 24232 1 14.0000 7.9315 76.51%
3413.09/3421.66 c 3422 38188 24287 1 14.0000 7.9315 76.51%
3418.67/3427.27 c 3427 38302 24351 1 14.0000 7.9315 76.51%
3423.75/3432.33 c 3432 38413 24402 1 14.0000 7.9320 76.50%
3429.24/3437.80 c 3438 38530 24469 1 14.0000 7.9320 76.50%
3434.32/3442.96 c 3443 38640 24537 1 14.0000 7.9326 76.49%
3439.31/3447.98 c 3448 38737 24584 1 14.0000 7.9348 76.44%
3444.59/3453.23 c 3453 38829 24634 1 14.0000 7.9348 76.44%
3450.58/3459.20 c 3459 38939 24694 1 14.0000 7.9353 76.43%
3456.07/3464.77 c 3465 39040 24751 1 14.0000 7.9353 76.43%
3462.16/3470.84 c 3471 39135 24806 1 14.0000 7.9378 76.37%
3467.46/3476.12 c 3476 39252 24855 1 14.0000 7.9378 76.37%
3472.92/3481.61 c 3482 39355 24908 1 14.0000 7.9379 76.37%
3478.71/3487.44 c 3487 39447 24962 1 14.0000 7.9379 76.37%
3484.10/3492.83 c 3493 39566 25025 1 14.0000 7.9379 76.37%
3489.09/3497.87 c 3498 39653 25064 1 14.0000 7.9395 76.33%
3494.87/3503.66 c 3504 39777 25122 1 14.0000 7.9401 76.32%
3500.46/3509.23 c 3509 39880 25179 1 14.0000 7.9406 76.31%
3506.36/3515.11 c 3515 39992 25243 1 14.0000 7.9414 76.29%
3512.53/3521.34 c 3521 40101 25298 1 14.0000 7.9417 76.28%
3517.82/3526.69 c 3527 40203 25354 1 14.0000 7.9419 76.28%
3523.80/3532.62 c 3533 40342 25413 1 14.0000 7.9419 76.28%
3529.09/3538.01 c 3538 40436 25477 1 14.0000 7.9419 76.28%
3534.68/3543.55 c 3544 40557 25534 1 14.0000 7.9419 76.28%
3540.66/3549.59 c 3550 40696 25605 1 14.0000 7.9427 76.26%
3545.75/3554.68 c 3555 40786 25657 1 14.0000 7.9443 76.23%
3551.53/3560.46 c 3560 40904 25717 1 14.0000 7.9464 76.18%
3556.72/3565.66 c 3566 41028 25781 1 14.0000 7.9464 76.18%
3562.40/3571.34 c 3571 41129 25836 1 14.0000 7.9464 76.18%
3567.70/3576.61 c 3577 41222 25895 1 14.0000 7.9464 76.18%
3572.99/3581.93 c 3582 41322 25951 1 14.0000 7.9471 76.16%
3578.27/3587.28 c 3587 41446 26013 1 14.0000 7.9471 76.16%
3583.76/3592.72 c 3593 41553 26082 1 14.0000 7.9471 76.16%
3588.95/3598.01 c 3598 41638 26129 0 14.0000 7.9471 76.16%
3589.24/3598.29 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.24/3598.29 c Total Time : 3598.28
3589.24/3598.29 c solving : 3598.28
3589.24/3598.29 c presolving : 0.34 (included in solving)
3589.24/3598.29 c B&B Tree :
3589.24/3598.29 c nodes (total) : 1
3589.24/3598.29 c Solution :
3589.24/3598.29 c Solutions found : 3
3589.24/3598.29 c Primal Bound : +1.40000000000000e+01
3589.24/3598.29 c Dual Bound : +7.94711958357578e+00
3589.24/3598.29 c Gap : 76.16446 %
3589.24/3598.29 c * Warning: final gap: 7.61645e-01 is greater than SCIPepsilon: 1.00000e-09
3589.44/3598.41 o 14
3589.44/3598.41 s SATISFIABLE
3589.44/3598.41 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
3589.44/3598.41 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
3589.44/3598.41 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438
3589.44/3598.41 v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417
3589.44/3598.41 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396
3589.44/3598.41 v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
3589.44/3598.41 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
3589.44/3598.41 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334
3589.44/3598.41 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
3589.44/3598.41 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292
3589.44/3598.41 v -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
3589.44/3598.41 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
3589.44/3598.41 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
3589.44/3598.41 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208
3589.44/3598.41 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188
3589.44/3598.41 v -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166
3589.44/3598.41 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145
3589.44/3598.41 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124
3589.44/3598.41 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103
3589.44/3598.41 v -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79
3589.44/3598.41 v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53
3589.44/3598.41 v -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28
3589.44/3598.41 v -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
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: 64096 MiB (61849 MiB free)
memory of node 1: 64473 MiB (63509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464790-1722382194/watcher-4464790-1722382194 -o /tmp/evaluation-result-4464790-1722382194/solver-4464790-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28234 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464790-1722382194.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30336, runsolver pid=30333
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.05 4.12 4.09 5/251 30337
/proc/meminfo: memFree=128330672/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=56108 memory=43644 CPUtime=0.1 cores=5,7
/proc/30336/stat : 30336 (fscip) R 30333 30336 28221 0 -1 4194304 8760 0 0 0 8 2 0 0 20 0 1 0 4590531 57454592 10911 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 14027 10911 2363 3035 0 10423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56108 KiB
Current children cumulated memory: 43644 KiB
[startup+0.213079 s]*
/proc/loadavg: 4.05 4.12 4.09 6/251 30337
/proc/meminfo: memFree=128295152/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=88036 memory=76684 CPUtime=0.21 cores=5,7
/proc/30336/stat : 30336 (fscip) R 30333 30336 28221 0 -1 4194304 17320 0 0 0 17 4 0 0 20 0 1 0 4590531 90148864 19171 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 22009 19171 2571 3035 0 18405 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 88036 KiB
Current children cumulated memory: 76684 KiB
[startup+0.313414 s]*
/proc/loadavg: 4.05 4.12 4.09 5/247 30337
/proc/meminfo: memFree=128615092/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=127940 memory=117604 CPUtime=0.31 cores=5,7
/proc/30336/stat : 30336 (fscip) R 30333 30336 28221 0 -1 4194304 27562 0 0 0 24 7 0 0 20 0 1 0 4590531 131010560 29401 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 31985 29401 2571 3035 0 28381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 127940 KiB
Current children cumulated memory: 117604 KiB
[startup+0.700346 s]
/proc/loadavg: 4.05 4.12 4.09 3/237 30353
/proc/meminfo: memFree=128888132/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=178028 memory=163088 CPUtime=0.68 cores=5,7
/proc/30336/stat : 30336 (fscip) R 30333 30336 28221 0 -1 4194304 38947 0 0 0 59 9 0 0 20 0 1 0 4590531 182300672 40772 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 44507 40772 2630 3035 0 40903 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 178028 KiB
Current children cumulated memory: 163088 KiB
[startup+1.50039 s]
/proc/loadavg: 4.05 4.12 4.09 5/238 30411
/proc/meminfo: memFree=128865160/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=264276 memory=195100 CPUtime=1.48 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 47253 0 0 0 137 11 0 0 20 0 3 0 4590531 270618624 48775 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 66069 48775 2918 3035 0 53484 0
[pid=30336/tid=30366] ppid=30333 vsize=264276 memory=163088 CPUtime=0.73 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 7476 0 0 0 72 1 0 0 20 0 3 0 4590605 270618624 48775 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=264276 memory=6959529 CPUtime=0 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590607 270618624 48775 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 264276 KiB
Current children cumulated memory: 195100 KiB
[startup+3.11314 s]
/proc/loadavg: 4.05 4.12 4.09 5/247 30527
/proc/meminfo: memFree=128679520/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=329812 memory=251808 CPUtime=3.09 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 65656 0 0 0 294 15 0 0 20 0 3 0 4590531 337727488 62952 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 82453 62952 2950 3035 0 67599 0
[pid=30336/tid=30366] ppid=30333 vsize=329812 memory=163088 CPUtime=2.34 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 25870 0 0 0 229 5 0 0 20 0 3 0 4590605 337727488 62952 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=329812 memory=2708 CPUtime=0 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4590607 337727488 62952 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 329812 KiB
Current children cumulated memory: 251808 KiB
[startup+6.30038 s]
/proc/loadavg: 4.04 4.12 4.08 5/250 30530
/proc/meminfo: memFree=128365444/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=395348 memory=332364 CPUtime=6.26 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 101000 0 0 0 608 18 0 0 20 0 3 0 4590531 404836352 83091 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 98837 83091 2950 3035 0 88485 0
[pid=30336/tid=30366] ppid=30333 vsize=395348 memory=11392 CPUtime=5.52 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 61211 0 0 0 543 9 0 0 20 0 3 0 4590605 404836352 83091 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=395348 memory=12748 CPUtime=0 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4590607 404836352 83091 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 395348 KiB
Current children cumulated memory: 332364 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.09 5/252 30532
/proc/meminfo: memFree=128172328/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=395348 memory=334064 CPUtime=12.64 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 106155 0 0 0 1245 19 0 0 20 0 3 0 4590531 404836352 83516 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 98837 83516 2950 3035 0 88764 0
[pid=30336/tid=30366] ppid=30333 vsize=395348 memory=12748 CPUtime=11.89 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 66354 0 0 0 1180 9 0 0 20 0 3 0 4590605 404836352 83516 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=395348 memory=333720 CPUtime=0 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4590607 404836352 83516 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 395348 KiB
Current children cumulated memory: 334064 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.13 4.09 5/252 30535
/proc/meminfo: memFree=128104344/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=395348 memory=337252 CPUtime=25.4 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 113339 0 0 0 2521 19 0 0 20 0 3 0 4590531 404836352 84313 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 98837 84313 2950 3035 0 88890 0
[pid=30336/tid=30366] ppid=30333 vsize=395348 memory=337216 CPUtime=24.65 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 73530 0 0 0 2456 9 0 0 20 0 3 0 4590605 404836352 84313 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=395348 memory=11392 CPUtime=0 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4590607 404836352 84313 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 395348 KiB
Current children cumulated memory: 337252 KiB
[startup+51.1139 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 30596
/proc/meminfo: memFree=128049020/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=395348 memory=338824 CPUtime=50.95 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 125809 0 0 0 5075 20 0 0 20 0 3 0 4590531 404836352 84706 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 98837 84706 2950 3035 0 88941 0
[pid=30336/tid=30366] ppid=30333 vsize=395348 memory=281183858518688 CPUtime=50.19 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 85968 0 0 0 5009 10 0 0 20 0 3 0 4590605 404836352 84706 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=395348 memory=338808 CPUtime=0 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4590607 404836352 84706 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 395348 KiB
Current children cumulated memory: 338824 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.16 4.10 5/252 30604
/proc/meminfo: memFree=127892120/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=460884 memory=425828 CPUtime=102 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 195273 0 0 0 10174 26 0 0 20 0 3 0 4590531 471945216 106457 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 115221 106457 2998 3035 0 110288 0
[pid=30336/tid=30366] ppid=30333 vsize=460884 memory=425276 CPUtime=101.24 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 155379 0 0 0 10108 16 0 0 20 0 3 0 4590605 471945216 106457 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=460884 memory=425276 CPUtime=0 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 4590607 471945216 106457 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 460884 KiB
Current children cumulated memory: 425828 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/252 30616
/proc/meminfo: memFree=127847544/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=460884 memory=430492 CPUtime=161.84 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 215093 0 0 0 16156 28 0 0 20 0 3 0 4590531 471945216 107623 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 115221 107623 2998 3035 0 110798 0
[pid=30336/tid=30366] ppid=30333 vsize=460884 memory=430456 CPUtime=161.09 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 175180 0 0 0 16091 18 0 0 20 0 3 0 4590605 471945216 107623 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=460884 memory=11392 CPUtime=0 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 4590607 471945216 107623 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 460884 KiB
Current children cumulated memory: 430492 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/252 30627
/proc/meminfo: memFree=127844160/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=460884 memory=432928 CPUtime=221.71 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 226900 0 0 0 22142 29 0 0 20 0 3 0 4590531 471945216 108232 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 115221 108232 2998 3035 0 110798 0
[pid=30336/tid=30366] ppid=30333 vsize=460884 memory=432928 CPUtime=220.95 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 186955 0 0 0 22076 19 0 0 20 0 3 0 4590605 471945216 108232 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=460884 memory=432928 CPUtime=0 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 4590607 471945216 108232 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 460884 KiB
Current children cumulated memory: 432928 KiB
################
# More data... #
################
[pid=30336] ppid=30333 vsize=657492 memory=583108 CPUtime=3393.84 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 1070019 0 0 0 339264 120 0 0 20 0 3 0 4590531 673271808 145777 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 164373 145777 2998 3035 0 149245 0
[pid=30336/tid=30366] ppid=30333 vsize=657492 memory=11392 CPUtime=3392.77 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 1028837 0 0 0 339181 96 0 0 20 0 3 0 4590605 673271808 145777 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=657492 memory=583108 CPUtime=0.05 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 201 0 0 0 1 4 0 0 20 0 3 0 4590607 673271808 145777 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 583108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/248 32232
/proc/meminfo: memFree=125294952/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=657492 memory=583112 CPUtime=3453.68 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 1088804 0 0 0 345245 123 0 0 20 0 3 0 4590531 673271808 145778 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 164373 145778 2998 3035 0 149245 0
[pid=30336/tid=30366] ppid=30333 vsize=657492 memory=11392 CPUtime=3452.6 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 1047595 0 0 0 345162 98 0 0 20 0 3 0 4590605 673271808 145778 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=657492 memory=11392 CPUtime=0.05 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4590607 673271808 145778 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3453.68 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 583112 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/248 32243
/proc/meminfo: memFree=125266692/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=657492 memory=584172 CPUtime=3513.53 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 1119580 0 0 0 351228 125 0 0 20 0 3 0 4590531 673271808 146043 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 164373 146043 2998 3035 0 149245 0
[pid=30336/tid=30366] ppid=30333 vsize=657492 memory=583112 CPUtime=3512.45 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 1078342 0 0 0 351144 101 0 0 20 0 3 0 4590605 673271808 146043 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=657492 memory=583112 CPUtime=0.05 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 207 0 0 0 1 4 0 0 20 0 3 0 4590607 673271808 146043 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3513.53 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 584172 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/249 32423
/proc/meminfo: memFree=125263612/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=657492 memory=584172 CPUtime=3573.38 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 1140410 0 0 0 357211 127 0 0 20 0 3 0 4590531 673271808 146043 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 164373 146043 2998 3035 0 149245 0
[pid=30336/tid=30366] ppid=30333 vsize=657492 memory=584172 CPUtime=3572.3 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 1099154 0 0 0 357128 102 0 0 20 0 3 0 4590605 673271808 146043 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=657492 memory=11392 CPUtime=0.05 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 211 0 0 0 1 4 0 0 20 0 3 0 4590607 673271808 146043 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 584172 KiB
[startup+3598.42 s]
# the end of solver process 30336 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.17 s, system=1.30641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.10 4.13 5/249 32424
/proc/meminfo: memFree=125263520/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=657492 memory=584172 CPUtime=3575.09 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 1140447 0 0 0 357382 127 0 0 20 0 3 0 4590531 673271808 146043 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 164373 146043 2998 3035 0 149245 0
[pid=30336/tid=30366] ppid=30333 vsize=657492 memory=-7020104135748969343 CPUtime=3574.01 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 1099191 0 0 0 357299 102 0 0 20 0 3 0 4590605 673271808 146043 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=657492 memory=4210468299899301532 CPUtime=0.05 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 211 0 0 0 1 4 0 0 20 0 3 0 4590607 673271808 146043 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3575.09 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 584172 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.11 4.13 5/249 32424
/proc/meminfo: memFree=125263092/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=657492 memory=584552 CPUtime=3581.47 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 1141011 0 0 0 358020 127 0 0 20 0 3 0 4590531 673271808 146138 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 164373 146138 2998 3035 0 149245 0
[pid=30336/tid=30366] ppid=30333 vsize=657492 memory=11392 CPUtime=3580.38 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 1099755 0 0 0 357936 102 0 0 20 0 3 0 4590605 673271808 146138 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=657492 memory=584552 CPUtime=0.05 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 211 0 0 0 1 4 0 0 20 0 3 0 4590607 673271808 146138 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3581.47 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 584552 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.11 4.13 5/249 32426
/proc/meminfo: memFree=125262748/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=657492 memory=584552 CPUtime=3584.66 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 1141086 0 0 0 358339 127 0 0 20 0 3 0 4590531 673271808 146138 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 164373 146138 2998 3035 0 149245 0
[pid=30336/tid=30366] ppid=30333 vsize=657492 memory=584552 CPUtime=3583.57 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 1099830 0 0 0 358255 102 0 0 20 0 3 0 4590605 673271808 146138 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=657492 memory=584552 CPUtime=0.05 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 211 0 0 0 1 4 0 0 20 0 3 0 4590607 673271808 146138 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3584.66 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 584552 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.13 5/249 32426
/proc/meminfo: memFree=125261384/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=657492 memory=585528 CPUtime=3587.85 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 1141160 0 0 0 358658 127 0 0 20 0 3 0 4590531 673271808 146382 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 164373 146382 2998 3035 0 149245 0
[pid=30336/tid=30366] ppid=30333 vsize=657492 memory=584172 CPUtime=3586.76 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 1099904 0 0 0 358574 102 0 0 20 0 3 0 4590605 673271808 146382 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=657492 memory=164 CPUtime=0.05 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 211 0 0 0 1 4 0 0 20 0 3 0 4590607 673271808 146382 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3587.85 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 585528 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.11 4.13 5/249 32426
/proc/meminfo: memFree=125261668/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=657492 memory=585528 CPUtime=3588.65 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 1141163 0 0 0 358738 127 0 0 20 0 3 0 4590531 673271808 146382 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 164373 146382 2998 3035 0 149245 0
[pid=30336/tid=30366] ppid=30333 vsize=657492 memory=5548 CPUtime=3587.56 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 1099907 0 0 0 358654 102 0 0 20 0 3 0 4590605 673271808 146382 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=657492 memory=1876 CPUtime=0.05 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 211 0 0 0 1 4 0 0 20 0 3 0 4590607 673271808 146382 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3588.65 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 585528 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.11 4.13 5/249 32426
/proc/meminfo: memFree=125261668/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=657492 memory=585528 CPUtime=3589.06 cores=5,7
/proc/30336/stat : 30336 (fscip) S 30333 30336 28221 0 -1 1077936128 1141398 0 0 0 358779 127 0 0 20 0 3 0 4590531 673271808 146382 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 164373 146382 2998 3035 0 149245 0
[pid=30336/tid=30366] ppid=30333 vsize=657492 memory=-7020104135748969343 CPUtime=3587.97 cores=5,7
/proc/30336/task/30366/stat : 30366 (fscip) R 30333 30336 28221 0 -1 4194368 1100146 0 0 0 358695 102 0 0 20 0 3 0 4590605 673271808 146382 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
[pid=30336/tid=30367] ppid=30333 vsize=657492 memory=4210468299899301532 CPUtime=0.05 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 211 0 0 0 1 4 0 0 20 0 3 0 4590607 673271808 146382 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3589.06 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 585528 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.11 4.13 5/249 32426
/proc/meminfo: memFree=125261668/131655788 swapFree=131071996/131071996
[pid=30336] ppid=30333 vsize=601372 memory=529092 CPUtime=3589.44 cores=5,7
/proc/30336/stat : 30336 (fscip) R 30333 30336 28221 0 -1 4194304 1150239 0 0 0 358816 128 0 0 20 0 2 0 4590531 615804928 132273 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
/proc/30336/statm: 150343 132273 2998 3035 0 135215 0
[pid=30336/tid=30367] ppid=30333 vsize=601372 memory=12880 CPUtime=0.05 cores=5,7
/proc/30336/task/30367/stat : 30367 (fscip) S 30333 30336 28221 0 -1 1077936192 211 0 0 0 1 4 0 0 20 0 2 0 4590607 615804928 132273 134679101440 4194304 16623229 140727795917712 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29343744 140727795926038 140727795926154 140727795926154 140727795933168 0
Current children cumulated CPU time: 3589.44 s
Current children cumulated vsize: 601372 KiB
Current children cumulated memory: 529092 KiB
Child status: 0
Real time (s): 3598.42
CPU time (s): 3589.48
CPU user time (s): 3588.17
CPU system time (s): 1.30641
CPU usage (%): 99.7514
Max. virtual memory (cumulated for all children) (KiB): 657492
Max. memory (cumulated for all children) (KiB): 585528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.17
system time used= 1.30641
maximum resident set size= 585528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1150406
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= 10262
involuntary context switches= 1273
# summary of solver processes directly reported to runsolver:
# pid: 30336
# total CPU time (s): 3589.48
# total CPU user time (s): 3588.17
# total CPU system time (s): 1.30641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1963 second user time and 35.9888 second system time
The end
Begin job on nodeC004 at 2024-07-31 01:29:54
IDJOB=4464790
IDBENCH=148610
IDSOLVER=3092
FILE ID=nodeC004/4464790-1722382194
RUNJOBID= nodeC004-1722378594-28234
SLURM_JOB_ID= 8249834
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_3.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-4464790-1722382194/watcher-4464790-1722382194 -o /tmp/evaluation-result-4464790-1722382194/solver-4464790-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28234 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464790-1722382194.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 473f4f01ea80639962d90e3c1fd9a037
RANDOM SEED=1453536771
nodeC004.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 : 0xb00001f
cpu MHz : 1197.267
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 3670.797
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.233
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1197.403
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3663.775
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1197.616
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.419
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1197.232
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128371812 kB
MemAvailable: 129313604 kB
Buffers: 91696 kB
Cached: 1685352 kB
SwapCached: 0 kB
Active: 250104 kB
Inactive: 2601748 kB
Active(anon): 1416 kB
Inactive(anon): 1094720 kB
Active(file): 248688 kB
Inactive(file): 1507028 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57164 kB
Writeback: 0 kB
AnonPages: 1073836 kB
Mapped: 122908 kB
Shmem: 21320 kB
KReclaimable: 52552 kB
Slab: 128516 kB
SReclaimable: 52552 kB
SUnreclaim: 75964 kB
KernelStack: 4012 kB
PageTables: 11360 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 937556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 872448 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: 172872 kB
DirectMap2M: 9168896 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723652 MiB
End job on nodeC004 at 2024-07-31 02:29:53