0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 46870528, getVmSize() = 46870528, SCIPgetMemUsed() = 21648692, SCIPgetMemTotal() = 24244348, SCIPgetMemExternEstim() = 13170617
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.06 c ** Estimated virtualMemUsedAtSolver = 34125141, getVmSize() = 55504896, SCIPgetMemUsed() = 21526401, SCIPgetMemTotal() = 31744633, SCIPgetMemExternEstim() = 13170617
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4459819-1721939468
0.00/0.06 c Variables : 6828 (500 binary, 0 integer, 6328 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 7328
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 500
0.00/0.06 c Constraints : Number
0.00/0.06 c logicor : 500
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.07 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.07 c * 0 0 1 1 500.0000 - -
0.00/0.09 c * 0 0 1 1 58.0000 - -
9.86/9.98 c 10 2 1 1 58.0000 37.0210 56.67%
15.65/15.78 c 16 3 2 1 58.0000 37.0210 56.67%
21.73/21.89 c 22 5 4 1 58.0000 37.0210 56.67%
28.81/28.99 c 29 8 7 1 58.0000 37.0210 56.67%
34.30/34.49 c 34 18 17 1 58.0000 37.0210 56.67%
41.48/41.61 c 42 48 47 1 58.0000 37.0210 56.67%
46.46/46.66 c 47 66 65 1 58.0000 37.0210 56.67%
52.75/52.95 c 53 88 87 1 58.0000 37.0210 56.67%
58.13/58.37 c 58 107 106 1 58.0000 37.0210 56.67%
64.41/64.62 c 65 114 113 1 58.0000 37.0210 56.67%
70.49/70.70 c 71 121 120 1 58.0000 37.0210 56.67%
76.78/77.07 c 77 131 130 1 58.0000 37.0210 56.67%
83.56/83.85 c 84 139 138 1 58.0000 37.0210 56.67%
88.95/89.23 c 89 147 146 1 58.0000 37.0432 56.57%
94.43/94.79 c 95 161 160 1 58.0000 37.1181 56.26%
100.21/100.53 c 101 179 178 1 58.0000 37.1359 56.18%
112.28/112.65 c 113 201 202 1 58.0000 37.2981 55.50%
112.87/113.25 c * 113 201 202 1 54.0000 37.2981 44.78%
117.46/117.89 c 118 207 206 1 54.0000 37.2981 44.78%
123.84/124.21 c 124 223 222 1 54.0000 37.3890 44.43%
129.53/129.99 c 130 251 250 1 54.0000 37.5604 43.77%
134.71/135.15 c 135 269 268 1 54.0000 37.5896 43.66%
139.99/140.45 c 140 286 285 1 54.0000 37.6163 43.55%
146.37/146.85 c 147 306 305 1 54.0000 37.6163 43.55%
152.06/152.57 c 153 323 322 1 54.0000 37.6561 43.40%
158.05/158.55 c 159 340 339 1 54.0000 37.6607 43.39%
163.33/163.84 c 164 351 350 1 54.0000 37.6607 43.39%
168.82/169.33 c 169 363 362 1 54.0000 37.6607 43.39%
174.90/175.40 c 175 378 377 1 54.0000 37.6607 43.39%
179.99/180.55 c 181 393 392 1 54.0000 37.6851 43.29%
186.17/186.71 c 187 415 414 1 54.0000 37.7585 43.01%
193.46/194.03 c 194 435 434 1 54.0000 37.7585 43.01%
198.56/199.16 c 199 462 461 1 54.0000 37.8215 42.78%
204.54/205.15 c 205 477 476 1 54.0000 37.8386 42.71%
212.11/212.72 c 213 492 491 1 54.0000 37.8386 42.71%
217.89/218.53 c 219 505 504 1 54.0000 37.8387 42.71%
223.18/223.83 c 224 517 516 1 54.0000 37.8387 42.71%
228.37/229.01 c 229 528 527 1 54.0000 37.8387 42.71%
233.46/234.14 c 234 542 541 1 54.0000 37.8387 42.71%
238.54/239.23 c 239 556 555 1 54.0000 37.8387 42.71%
243.63/244.34 c 244 571 570 1 54.0000 37.8621 42.62%
249.32/250.03 c 250 586 585 1 54.0000 37.8848 42.54%
255.99/256.72 c 257 618 617 1 54.0000 37.8848 42.54%
261.48/262.24 c 262 638 637 1 54.0000 37.8848 42.54%
266.67/267.46 c 267 651 650 1 54.0000 37.8848 42.54%
271.95/272.77 c 273 667 666 1 54.0000 37.8909 42.51%
278.74/279.58 c 280 685 684 1 54.0000 37.9117 42.44%
285.22/286.06 c 286 707 706 1 54.0000 37.9347 42.35%
290.60/291.42 c 291 721 720 1 54.0000 37.9351 42.35%
296.79/297.62 c 298 747 746 1 54.0000 37.9857 42.16%
302.88/303.70 c 304 765 764 1 54.0000 37.9857 42.16%
309.46/310.34 c 310 784 783 1 54.0000 38.0171 42.04%
315.15/316.00 c 316 804 803 1 54.0000 38.0171 42.04%
321.13/322.04 c 322 830 829 1 54.0000 38.0289 42.00%
326.32/327.28 c 327 852 851 1 54.0000 38.0491 41.92%
331.80/332.78 c 333 869 868 1 54.0000 38.0491 41.92%
337.49/338.45 c 338 890 889 1 54.0000 38.0595 41.88%
342.78/343.71 c 344 912 911 1 54.0000 38.0736 41.83%
349.17/350.15 c 350 934 933 1 54.0000 38.0736 41.83%
354.45/355.44 c 355 959 958 1 54.0000 38.0944 41.75%
360.14/361.15 c 361 979 978 1 54.0000 38.0984 41.74%
366.82/367.86 c 368 1003 1002 1 54.0000 38.0984 41.74%
372.41/373.46 c 373 1024 1023 1 54.0000 38.1278 41.63%
377.70/378.71 c 379 1050 0 1 54.0000 38.1294 41.62%
385.59/386.62 c 387 1051 1 1 54.0000 38.1294 41.62%
391.08/392.18 c 392 1057 7 1 54.0000 38.1294 41.62%
396.57/397.69 c 398 1065 15 1 54.0000 38.1294 41.62%
403.05/404.14 c 404 1070 20 1 54.0000 38.1294 41.62%
409.23/410.36 c 410 1078 28 1 54.0000 38.1294 41.62%
414.42/415.53 c 416 1084 34 1 54.0000 38.1294 41.62%
419.81/420.90 c 421 1092 42 1 54.0000 38.1294 41.62%
424.90/426.05 c 426 1114 64 1 54.0000 38.1294 41.62%
430.08/431.28 c 431 1129 79 1 54.0000 38.1294 41.62%
436.27/437.43 c 437 1145 95 1 54.0000 38.1294 41.62%
441.86/443.08 c 443 1167 117 1 54.0000 38.1294 41.62%
447.74/448.98 c 449 1195 145 1 54.0000 38.1294 41.62%
453.03/454.27 c 454 1209 159 1 54.0000 38.1294 41.62%
459.71/460.95 c 461 1228 178 1 54.0000 38.1294 41.62%
465.40/466.66 c 467 1249 199 1 54.0000 38.1294 41.62%
471.19/472.47 c 472 1262 212 1 54.0000 38.1294 41.62%
476.96/478.27 c 478 1285 235 1 54.0000 38.1294 41.62%
483.14/484.47 c 484 1307 257 1 54.0000 38.1294 41.62%
488.92/490.25 c 490 1322 272 1 54.0000 38.1294 41.62%
495.11/496.40 c 496 1348 298 1 54.0000 38.1294 41.62%
500.19/501.50 c 502 1366 316 1 54.0000 38.1294 41.62%
506.68/508.05 c 508 1391 341 1 54.0000 38.1294 41.62%
511.96/513.39 c 513 1404 354 1 54.0000 38.1294 41.62%
517.65/519.09 c 519 1420 370 1 54.0000 38.1294 41.62%
523.23/524.66 c 525 1434 384 1 54.0000 38.1294 41.62%
531.90/533.38 c 533 1451 401 1 54.0000 38.1294 41.62%
537.48/538.91 c 539 1466 416 1 54.0000 38.1294 41.62%
542.77/544.28 c 544 1474 424 1 54.0000 38.1294 41.62%
548.95/550.40 c 550 1496 446 1 54.0000 38.1340 41.61%
554.83/556.31 c 556 1511 461 1 54.0000 38.1346 41.60%
560.92/562.48 c 562 1530 480 1 54.0000 38.1843 41.42%
566.50/568.04 c 568 1550 500 1 54.0000 38.2027 41.35%
572.59/574.15 c 574 1582 532 1 54.0000 38.2074 41.33%
578.36/579.95 c 580 1600 550 1 54.0000 38.2408 41.21%
584.45/586.01 c 586 1632 582 1 54.0000 38.3136 40.94%
590.43/592.05 c 592 1654 604 1 54.0000 38.3397 40.85%
596.81/598.47 c 598 1673 623 1 54.0000 38.3554 40.79%
602.89/604.56 c 605 1701 651 1 54.0000 38.3902 40.66%
608.27/609.92 c 610 1722 672 1 54.0000 38.3902 40.66%
614.05/615.71 c 616 1739 689 1 54.0000 38.3902 40.66%
619.54/621.28 c 621 1771 721 1 54.0000 38.4176 40.56%
625.52/627.22 c 627 1809 759 1 54.0000 38.4753 40.35%
631.41/633.15 c 633 1840 790 1 54.0000 38.4827 40.32%
637.29/639.00 c 639 1863 813 1 54.0000 38.4950 40.28%
643.56/645.31 c 645 1881 831 1 54.0000 38.4965 40.27%
649.15/650.96 c 651 1906 856 1 54.0000 38.5075 40.23%
655.13/656.99 c 657 1935 885 1 54.0000 38.5079 40.23%
660.51/662.31 c 662 1954 904 1 54.0000 38.5101 40.22%
666.79/668.65 c 669 1982 932 1 54.0000 38.5101 40.22%
672.48/674.30 c 674 2001 951 1 54.0000 38.5126 40.21%
678.06/679.96 c 680 2035 985 1 54.0000 38.5126 40.21%
683.15/685.01 c 685 2065 1015 1 54.0000 38.5126 40.21%
689.14/691.01 c 691 2091 1041 1 54.0000 38.5306 40.15%
694.91/696.84 c 697 2130 1080 1 54.0000 38.5306 40.15%
700.80/702.72 c 703 2163 1113 1 54.0000 38.5352 40.13%
706.48/708.48 c 708 2189 1139 1 54.0000 38.5352 40.13%
712.26/714.26 c 714 2217 1167 1 54.0000 38.5514 40.07%
717.84/719.88 c 720 2241 1191 1 54.0000 38.5514 40.07%
723.63/725.69 c 726 2271 1221 1 54.0000 38.5514 40.07%
729.21/731.24 c 731 2299 1249 1 54.0000 38.5514 40.07%
734.49/736.54 c 737 2331 1281 1 54.0000 38.5522 40.07%
739.58/741.67 c 742 2350 1300 1 54.0000 38.5522 40.07%
744.86/746.91 c 747 2377 1327 1 54.0000 38.5522 40.07%
749.94/752.05 c 752 2413 1363 1 54.0000 38.5522 40.07%
755.73/757.88 c 758 2438 1388 1 54.0000 38.5522 40.07%
761.02/763.19 c 763 2476 1426 1 54.0000 38.5592 40.04%
767.80/769.91 c 770 2502 1452 1 54.0000 38.5647 40.02%
773.49/775.66 c 776 2527 1477 1 54.0000 38.5843 39.95%
779.08/781.28 c 781 2562 1512 1 54.0000 38.5843 39.95%
785.06/787.24 c 787 2599 1549 1 54.0000 38.5843 39.95%
790.25/792.45 c 792 2612 1562 1 54.0000 38.5843 39.95%
795.34/797.55 c 798 2632 1582 1 54.0000 38.5942 39.92%
801.13/803.31 c 803 2659 1609 1 54.0000 38.5942 39.92%
806.91/809.18 c 809 2673 1623 1 54.0000 38.5942 39.92%
812.20/814.40 c 814 2701 1651 1 54.0000 38.5976 39.91%
817.79/820.00 c 820 2739 1689 1 54.0000 38.6059 39.88%
823.57/825.86 c 826 2763 1713 1 54.0000 38.6109 39.86%
828.86/831.12 c 831 2785 1735 1 54.0000 38.6109 39.86%
833.94/836.25 c 836 2809 1759 1 54.0000 38.6109 39.86%
839.13/841.49 c 842 2833 1783 1 54.0000 38.6128 39.85%
844.62/846.96 c 847 2858 1808 1 54.0000 38.6128 39.85%
850.61/852.95 c 853 2885 1835 1 54.0000 38.6165 39.84%
856.00/858.32 c 858 2912 1862 1 54.0000 38.6165 39.84%
861.48/863.80 c 864 2935 1885 1 54.0000 38.6165 39.84%
867.37/869.74 c 870 2960 1910 1 54.0000 38.6184 39.83%
873.95/876.34 c 876 2995 1945 1 54.0000 38.6203 39.82%
879.14/881.50 c 882 3012 1962 1 54.0000 38.6294 39.79%
884.73/887.13 c 887 3049 1999 1 54.0000 38.6363 39.77%
889.72/892.17 c 892 3080 2030 1 54.0000 38.6363 39.77%
895.20/897.69 c 898 3106 2056 1 54.0000 38.6397 39.75%
900.89/903.34 c 903 3130 2080 1 54.0000 38.6397 39.75%
906.18/908.65 c 909 3150 2100 1 54.0000 38.6425 39.74%
911.77/914.25 c 914 3184 2134 1 54.0000 38.6425 39.74%
917.05/919.53 c 920 3208 2158 1 54.0000 38.6505 39.71%
922.74/925.25 c 925 3228 2178 1 54.0000 38.6661 39.66%
929.33/931.80 c 932 3260 2210 1 54.0000 38.6661 39.66%
934.41/936.91 c 937 3277 2227 1 54.0000 38.6681 39.65%
940.20/942.71 c 943 3290 2240 1 54.0000 38.6681 39.65%
945.39/947.94 c 948 3312 2262 1 54.0000 38.6712 39.64%
950.58/953.19 c 953 3336 2286 1 54.0000 38.6712 39.64%
955.96/958.50 c 959 3358 2308 1 54.0000 38.6712 39.64%
961.05/963.65 c 964 3391 2341 1 54.0000 38.6712 39.64%
966.34/968.95 c 969 3410 2360 1 54.0000 38.6712 39.64%
971.43/974.04 c 974 3451 2401 1 54.0000 38.6835 39.59%
977.31/979.99 c 980 3480 2430 1 54.0000 38.6872 39.58%
982.70/985.33 c 985 3509 2459 1 54.0000 38.6875 39.58%
988.78/991.43 c 991 3549 2499 1 54.0000 38.6875 39.58%
993.98/996.64 c 997 3579 2529 1 54.0000 38.6875 39.58%
999.16/1001.87 c 1002 3624 2574 1 54.0000 38.6921 39.56%
1004.75/1007.40 c 1007 3642 2592 1 54.0000 38.6921 39.56%
1010.14/1012.87 c 1013 3690 2640 1 54.0000 38.6925 39.56%
1015.93/1018.66 c 1019 3728 2678 1 54.0000 38.6925 39.56%
1021.32/1024.03 c 1024 3758 2708 1 54.0000 38.7137 39.49%
1026.49/1029.25 c 1029 3786 2736 1 54.0000 38.7221 39.46%
1032.58/1035.38 c 1035 3845 2795 1 54.0000 38.7264 39.44%
1037.86/1040.60 c 1041 3865 2815 1 54.0000 38.7350 39.41%
1042.94/1045.77 c 1046 3893 2843 1 54.0000 38.7448 39.37%
1048.34/1051.19 c 1051 3926 2876 1 54.0000 38.7448 39.37%
1054.41/1057.27 c 1057 3953 2903 1 54.0000 38.7448 39.37%
1061.09/1063.90 c 1064 3958 2908 1 54.0000 38.7448 39.37%
1067.57/1070.43 c 1070 3985 2935 1 54.0000 38.7451 39.37%
1073.36/1076.20 c 1076 4020 2970 1 54.0000 38.7451 39.37%
1078.64/1081.50 c 1082 4040 2990 1 54.0000 38.7451 39.37%
1084.02/1086.98 c 1087 4068 3018 1 54.0000 38.7451 39.37%
1089.51/1092.49 c 1092 4089 3039 1 54.0000 38.7451 39.37%
1094.99/1097.95 c 1098 4132 3082 1 54.0000 38.7451 39.37%
1101.87/1104.80 c 1105 4165 3115 1 54.0000 38.7451 39.37%
1107.56/1110.57 c 1111 4210 3160 1 54.0000 38.7451 39.37%
1112.94/1115.98 c 1116 4240 3190 1 54.0000 38.7451 39.37%
1118.62/1121.63 c 1122 4281 3231 1 54.0000 38.7465 39.37%
1124.40/1127.44 c 1127 4317 3267 1 54.0000 38.7465 39.37%
1130.68/1133.73 c 1134 4339 3289 1 54.0000 38.7465 39.37%
1136.57/1139.68 c 1140 4371 3321 1 54.0000 38.7479 39.36%
1142.65/1145.72 c 1146 4401 3351 1 54.0000 38.7536 39.34%
1147.63/1150.76 c 1151 4427 3377 1 54.0000 38.7536 39.34%
1153.02/1156.13 c 1156 4454 3404 1 54.0000 38.7536 39.34%
1159.00/1162.16 c 1162 4503 3453 1 54.0000 38.7536 39.34%
1164.38/1167.52 c 1168 4551 3501 1 54.0000 38.7615 39.31%
1170.66/1173.88 c 1174 4582 3532 1 54.0000 38.7615 39.31%
1175.85/1179.08 c 1179 4609 3559 1 54.0000 38.7654 39.30%
1181.43/1184.62 c 1185 4649 3599 1 54.0000 38.7664 39.30%
1187.01/1190.26 c 1190 4683 3633 1 54.0000 38.7664 39.30%
1197.49/1200.78 c 1201 4725 3675 1 54.0000 38.7664 39.30%
1203.07/1206.33 c 1206 4744 3694 1 54.0000 38.7708 39.28%
1209.76/1213.03 c 1213 4779 3729 1 54.0000 38.7708 39.28%
1215.24/1218.57 c 1219 4804 3754 1 54.0000 38.7708 39.28%
1221.73/1225.05 c 1225 4835 3785 1 54.0000 38.7718 39.28%
1227.22/1230.60 c 1231 4872 3822 1 54.0000 38.7718 39.28%
1232.71/1236.09 c 1236 4921 3871 1 54.0000 38.7779 39.25%
1238.09/1241.44 c 1241 4964 3914 1 54.0000 38.7779 39.25%
1244.18/1247.59 c 1248 4983 3933 1 54.0000 38.7841 39.23%
1249.46/1252.81 c 1253 5012 3962 1 54.0000 38.7841 39.23%
1254.66/1258.02 c 1258 5031 3981 1 54.0000 38.7841 39.23%
1260.65/1264.07 c 1264 5086 4036 1 54.0000 38.7984 39.18%
1266.23/1269.69 c 1270 5125 4075 1 54.0000 38.8030 39.16%
1271.32/1274.73 c 1275 5174 4124 1 54.0000 38.8091 39.14%
1277.11/1280.58 c 1281 5201 4151 1 54.0000 38.8091 39.14%
1282.30/1285.74 c 1286 5221 4171 1 54.0000 38.8125 39.13%
1287.59/1291.05 c 1291 5269 4219 1 54.0000 38.8125 39.13%
1292.77/1296.29 c 1296 5313 4263 1 54.0000 38.8125 39.13%
1298.46/1301.95 c 1302 5349 4299 1 54.0000 38.8177 39.11%
1305.24/1308.74 c 1309 5396 4346 1 54.0000 38.8189 39.11%
1310.63/1314.13 c 1314 5425 4375 1 54.0000 38.8200 39.10%
1316.52/1320.10 c 1320 5459 4409 1 54.0000 38.8230 39.09%
1321.80/1325.30 c 1325 5490 4440 1 54.0000 38.8230 39.09%
1327.79/1331.31 c 1331 5518 4468 1 54.0000 38.8439 39.02%
1332.88/1336.41 c 1336 5543 4493 1 54.0000 38.8471 39.01%
1338.17/1341.78 c 1342 5599 4549 1 54.0000 38.8471 39.01%
1343.35/1346.96 c 1347 5637 4587 1 54.0000 38.8491 39.00%
1348.84/1352.42 c 1352 5680 4630 1 54.0000 38.8491 39.00%
1354.23/1357.82 c 1358 5701 4651 1 54.0000 38.8506 38.99%
1360.21/1363.88 c 1364 5723 4673 1 54.0000 38.8506 38.99%
1366.30/1369.93 c 1370 5748 4698 1 54.0000 38.8506 38.99%
1371.29/1374.99 c 1375 5801 4751 1 54.0000 38.8521 38.99%
1376.48/1380.15 c 1380 5841 4791 1 54.0000 38.8526 38.99%
1382.46/1386.13 c 1386 5897 4847 1 54.0000 38.8531 38.99%
1387.65/1391.34 c 1391 5922 4872 1 54.0000 38.8531 38.99%
1392.73/1396.41 c 1396 5950 4902 1 54.0000 38.8531 38.99%
1398.42/1402.15 c 1402 5969 4919 1 54.0000 38.8531 38.99%
1404.71/1408.44 c 1408 6006 4956 1 54.0000 38.8563 38.97%
1410.00/1413.79 c 1414 6035 4985 1 54.0000 38.8563 38.97%
1415.89/1419.66 c 1420 6074 5024 1 54.0000 38.8563 38.97%
1421.67/1425.47 c 1425 6119 5069 1 54.0000 38.8563 38.97%
1426.96/1430.77 c 1431 6149 5099 1 54.0000 38.8563 38.97%
1432.25/1436.01 c 1436 6201 5151 1 54.0000 38.8610 38.96%
1438.24/1442.04 c 1442 6232 5182 1 54.0000 38.8610 38.96%
1443.23/1447.07 c 1447 6274 5224 1 54.0000 38.8616 38.95%
1449.41/1453.28 c 1453 6315 5265 1 54.0000 38.8670 38.94%
1455.40/1459.24 c 1459 6368 5318 1 54.0000 38.8670 38.94%
1461.08/1464.91 c 1465 6420 5370 1 54.0000 38.8670 38.94%
1466.18/1470.07 c 1470 6460 5410 1 54.0000 38.8675 38.93%
1471.76/1475.69 c 1476 6511 5461 1 54.0000 38.8685 38.93%
1477.74/1481.66 c 1482 6558 5508 1 54.0000 38.8751 38.91%
1482.83/1486.71 c 1487 6591 5541 1 54.0000 38.8796 38.89%
1488.52/1492.46 c 1492 6636 5586 1 54.0000 38.8800 38.89%
1494.40/1498.34 c 1498 6689 5639 1 54.0000 38.8824 38.88%
1499.79/1503.76 c 1504 6735 5685 1 54.0000 38.8838 38.88%
1505.28/1509.26 c 1509 6782 5732 1 54.0000 38.8841 38.87%
1511.07/1515.07 c 1515 6815 5765 1 54.0000 38.8885 38.86%
1516.55/1520.58 c 1521 6854 5804 1 54.0000 38.8886 38.86%
1523.14/1527.14 c 1527 6904 5854 1 54.0000 38.8887 38.86%
1529.02/1533.08 c 1533 6955 5905 1 54.0000 38.8990 38.82%
1534.61/1538.69 c 1539 6992 5942 1 54.0000 38.9039 38.80%
1540.01/1544.00 c 1544 7032 5982 1 54.0000 38.9066 38.79%
1545.69/1549.74 c 1550 7084 6034 1 54.0000 38.9074 38.79%
1550.78/1554.89 c 1555 7119 6069 1 54.0000 38.9176 38.75%
1556.46/1560.56 c 1561 7174 6124 1 54.0000 38.9199 38.75%
1561.96/1566.05 c 1566 7211 6161 1 54.0000 38.9213 38.74%
1567.24/1571.33 c 1571 7261 6211 1 54.0000 38.9250 38.73%
1573.32/1577.43 c 1577 7295 6245 1 54.0000 38.9260 38.72%
1579.11/1583.25 c 1583 7339 6289 1 54.0000 38.9285 38.72%
1585.00/1589.18 c 1589 7400 6350 1 54.0000 38.9290 38.71%
1590.98/1595.11 c 1595 7437 6387 1 54.0000 38.9324 38.70%
1597.06/1601.25 c 1601 7488 6438 1 54.0000 38.9335 38.70%
1603.05/1607.28 c 1607 7537 6487 1 54.0000 38.9340 38.70%
1608.44/1612.68 c 1613 7589 6539 1 54.0000 38.9340 38.70%
1613.83/1618.02 c 1618 7630 6580 1 54.0000 38.9340 38.70%
1619.61/1623.89 c 1624 7665 6615 1 54.0000 38.9369 38.69%
1625.50/1629.73 c 1630 7710 6660 1 54.0000 38.9372 38.68%
1630.48/1634.77 c 1635 7741 6691 1 54.0000 38.9381 38.68%
1636.57/1640.84 c 1641 7770 6720 1 54.0000 38.9381 38.68%
1642.36/1646.60 c 1647 7826 6776 1 54.0000 38.9393 38.68%
1648.04/1652.35 c 1652 7878 6828 1 54.0000 38.9448 38.66%
1653.74/1658.01 c 1658 7921 6871 1 54.0000 38.9457 38.65%
1658.92/1663.26 c 1663 7973 6923 1 54.0000 38.9483 38.65%
1664.81/1669.11 c 1669 8033 6983 1 54.0000 38.9483 38.65%
1670.39/1674.74 c 1675 8088 7038 1 54.0000 38.9544 38.62%
1675.47/1679.86 c 1680 8111 7061 1 54.0000 38.9548 38.62%
1681.06/1685.49 c 1686 8159 7109 1 54.0000 38.9548 38.62%
1687.54/1691.98 c 1692 8198 7148 1 54.0000 38.9548 38.62%
1693.02/1697.47 c 1697 8220 7170 1 54.0000 38.9548 38.62%
1699.00/1703.45 c 1703 8271 7221 1 54.0000 38.9696 38.57%
1704.99/1709.42 c 1709 8311 7261 1 54.0000 38.9703 38.57%
1710.07/1714.53 c 1715 8346 7296 1 54.0000 38.9738 38.55%
1715.85/1720.35 c 1720 8373 7323 1 54.0000 38.9738 38.55%
1721.24/1725.76 c 1726 8416 7366 1 54.0000 38.9738 38.55%
1726.32/1730.88 c 1731 8471 7421 1 54.0000 38.9794 38.53%
1731.41/1735.90 c 1736 8506 7456 1 54.0000 38.9801 38.53%
1737.29/1741.87 c 1742 8546 7496 1 54.0000 38.9801 38.53%
1742.37/1746.95 c 1747 8587 7537 1 54.0000 38.9801 38.53%
1747.76/1752.31 c 1752 8620 7570 1 54.0000 38.9822 38.52%
1753.45/1758.04 c 1758 8660 7610 1 54.0000 38.9822 38.52%
1759.43/1764.01 c 1764 8689 7639 1 54.0000 38.9822 38.52%
1765.51/1770.11 c 1770 8727 7677 1 54.0000 38.9830 38.52%
1771.09/1775.76 c 1776 8776 7726 1 54.0000 38.9838 38.52%
1776.17/1780.81 c 1781 8808 7758 1 54.0000 38.9838 38.52%
1781.76/1786.45 c 1786 8851 7801 1 54.0000 38.9839 38.52%
1787.64/1792.33 c 1792 8909 7859 1 54.0000 38.9853 38.51%
1792.72/1797.45 c 1797 8930 7880 1 54.0000 38.9873 38.51%
1798.71/1803.49 c 1803 8956 7906 1 54.0000 38.9873 38.51%
1804.79/1809.53 c 1810 9018 7968 1 54.0000 38.9890 38.50%
1809.97/1814.75 c 1815 9068 8018 1 54.0000 38.9890 38.50%
1815.95/1820.71 c 1821 9109 8059 1 54.0000 38.9954 38.48%
1821.74/1826.55 c 1827 9173 8123 1 54.0000 39.0006 38.46%
1827.33/1832.10 c 1832 9213 8163 1 54.0000 39.0006 38.46%
1832.61/1837.45 c 1837 9269 8219 1 54.0000 39.0008 38.46%
1838.09/1842.96 c 1843 9310 8260 1 54.0000 39.0008 38.46%
1844.27/1849.19 c 1849 9363 8313 1 54.0000 39.0008 38.46%
1850.26/1855.15 c 1855 9397 8347 1 54.0000 39.0018 38.46%
1855.64/1860.50 c 1861 9447 8397 1 54.0000 39.0029 38.45%
1860.73/1865.65 c 1866 9511 8461 1 54.0000 39.0055 38.44%
1866.12/1871.07 c 1871 9531 8481 1 54.0000 39.0055 38.44%
1871.80/1876.78 c 1877 9573 8523 1 54.0000 39.0055 38.44%
1877.10/1882.09 c 1882 9611 8561 1 54.0000 39.0088 38.43%
1882.68/1887.65 c 1888 9639 8589 1 54.0000 39.0088 38.43%
1888.46/1893.48 c 1893 9669 8619 1 54.0000 39.0090 38.43%
1893.85/1898.83 c 1899 9696 8646 1 54.0000 39.0092 38.43%
1900.23/1905.23 c 1905 9728 8678 1 54.0000 39.0092 38.43%
1906.12/1911.13 c 1911 9771 8721 1 54.0000 39.0188 38.39%
1911.61/1916.62 c 1917 9825 8775 1 54.0000 39.0208 38.39%
1917.59/1922.66 c 1923 9860 8810 1 54.0000 39.0217 38.38%
1923.19/1928.21 c 1928 9917 8867 1 54.0000 39.0217 38.38%
1928.28/1933.31 c 1933 9971 8921 1 54.0000 39.0223 38.38%
1935.26/1940.33 c 1940 10023 8973 1 54.0000 39.0223 38.38%
1940.25/1945.35 c 1945 10051 9001 1 54.0000 39.0223 38.38%
1946.63/1951.78 c 1952 10097 9047 1 54.0000 39.0237 38.38%
1952.02/1957.15 c 1957 10143 9093 1 54.0000 39.0237 38.38%
1957.81/1962.90 c 1963 10179 9129 1 54.0000 39.0237 38.38%
1962.79/1967.96 c 1968 10227 9177 1 54.0000 39.0303 38.35%
1968.68/1973.84 c 1974 10274 9224 1 54.0000 39.0303 38.35%
1974.67/1979.80 c 1980 10318 9268 1 54.0000 39.0320 38.35%
1980.45/1985.62 c 1986 10368 9318 1 54.0000 39.0325 38.35%
1986.44/1991.66 c 1992 10410 9360 1 54.0000 39.0362 38.33%
1991.83/1997.00 c 1997 10461 9411 1 54.0000 39.0396 38.32%
1997.01/2002.23 c 2002 10486 9436 1 54.0000 39.0398 38.32%
2002.60/2007.80 c 2008 10526 9476 1 54.0000 39.0398 38.32%
2008.48/2013.71 c 2014 10576 9526 1 54.0000 39.0398 38.32%
2014.67/2019.91 c 2020 10621 9571 1 54.0000 39.0427 38.31%
2020.45/2025.72 c 2026 10665 9615 1 54.0000 39.0428 38.31%
2025.54/2030.86 c 2031 10714 9664 1 54.0000 39.0432 38.31%
2031.03/2036.37 c 2036 10749 9699 1 54.0000 39.0432 38.31%
2036.33/2041.68 c 2042 10793 9743 1 54.0000 39.0446 38.30%
2041.91/2047.21 c 2047 10836 9786 1 54.0000 39.0459 38.30%
2046.90/2052.24 c 2052 10861 9811 1 54.0000 39.0498 38.29%
2052.09/2057.49 c 2057 10889 9839 1 54.0000 39.0515 38.28%
2057.37/2062.76 c 2063 10910 9860 1 54.0000 39.0515 38.28%
2063.36/2068.77 c 2069 10954 9904 1 54.0000 39.0538 38.27%
2068.75/2074.12 c 2074 11012 9962 1 54.0000 39.0538 38.27%
2073.83/2079.29 c 2079 11045 9995 1 54.0000 39.0538 38.27%
2079.82/2085.23 c 2085 11098 10048 1 54.0000 39.0550 38.27%
2085.61/2091.08 c 2091 11146 10096 1 54.0000 39.0592 38.25%
2091.09/2096.53 c 2097 11194 10144 1 54.0000 39.0592 38.25%
2096.49/2101.99 c 2102 11251 10201 1 54.0000 39.0595 38.25%
2101.98/2107.41 c 2107 11281 10231 1 54.0000 39.0617 38.24%
2107.86/2113.36 c 2113 11342 10292 1 54.0000 39.0618 38.24%
2113.35/2118.81 c 2119 11390 10340 1 54.0000 39.0652 38.23%
2118.84/2124.33 c 2124 11441 10391 1 54.0000 39.0663 38.23%
2124.02/2129.59 c 2130 11468 10418 1 54.0000 39.0674 38.22%
2130.01/2135.56 c 2136 11516 10466 1 54.0000 39.0674 38.22%
2138.39/2143.98 c 2144 11569 10519 1 54.0000 39.0692 38.22%
2144.27/2149.85 c 2150 11606 10556 1 54.0000 39.0699 38.21%
2150.16/2155.71 c 2156 11651 10601 1 54.0000 39.0741 38.20%
2155.95/2161.56 c 2162 11725 10675 1 54.0000 39.0775 38.19%
2161.63/2167.27 c 2167 11767 10717 1 54.0000 39.0775 38.19%
2166.82/2172.43 c 2172 11802 10752 1 54.0000 39.0775 38.19%
2172.91/2178.56 c 2179 11835 10785 1 54.0000 39.0781 38.18%
2177.99/2183.60 c 2184 11899 10849 1 54.0000 39.0790 38.18%
2183.98/2189.60 c 2190 11961 10911 1 54.0000 39.0821 38.17%
2189.16/2194.81 c 2195 12011 10961 1 54.0000 39.0838 38.16%
2194.75/2200.46 c 2200 12063 11013 1 54.0000 39.0841 38.16%
2199.94/2205.65 c 2206 12101 11051 1 54.0000 39.0878 38.15%
2206.72/2212.48 c 2212 12157 11107 1 54.0000 39.0888 38.15%
2212.11/2217.87 c 2218 12221 11171 1 54.0000 39.0894 38.14%
2217.30/2223.01 c 2223 12286 11236 1 54.0000 39.0915 38.14%
2222.39/2228.15 c 2228 12329 11279 1 54.0000 39.0944 38.13%
2228.38/2234.16 c 2234 12374 11324 1 54.0000 39.0978 38.12%
2233.66/2239.45 c 2239 12420 11370 1 54.0000 39.0987 38.11%
2239.64/2245.44 c 2245 12478 11428 1 54.0000 39.0988 38.11%
2244.73/2250.50 c 2251 12527 11477 1 54.0000 39.0989 38.11%
2249.82/2255.69 c 2256 12558 11508 1 54.0000 39.0989 38.11%
2255.31/2261.17 c 2261 12619 11569 1 54.0000 39.0997 38.11%
2260.69/2266.59 c 2267 12656 11606 1 54.0000 39.1001 38.11%
2265.98/2271.87 c 2272 12711 11661 1 54.0000 39.1001 38.11%
2271.87/2277.72 c 2278 12741 11691 1 54.0000 39.1017 38.10%
2277.16/2283.09 c 2283 12787 11737 1 54.0000 39.1017 38.10%
2283.04/2288.94 c 2289 12842 11792 1 54.0000 39.1030 38.10%
2289.13/2295.00 c 2295 12877 11827 1 54.0000 39.1034 38.10%
2295.62/2301.50 c 2302 12936 11886 1 54.0000 39.1045 38.09%
2301.01/2306.99 c 2307 12999 11949 1 54.0000 39.1047 38.09%
2306.10/2312.01 c 2312 13043 11993 1 54.0000 39.1090 38.08%
2311.98/2317.90 c 2318 13089 12039 1 54.0000 39.1095 38.07%
2317.47/2323.44 c 2323 13150 12100 1 54.0000 39.1098 38.07%
2323.16/2329.15 c 2329 13195 12145 1 54.0000 39.1098 38.07%
2328.94/2334.94 c 2335 13257 12207 1 54.0000 39.1098 38.07%
2334.63/2340.68 c 2341 13321 12271 1 54.0000 39.1100 38.07%
2340.61/2346.60 c 2347 13387 12337 1 54.0000 39.1111 38.07%
2346.10/2352.12 c 2352 13420 12370 1 54.0000 39.1111 38.07%
2351.88/2357.98 c 2358 13456 12406 1 54.0000 39.1125 38.06%
2356.87/2362.99 c 2363 13497 12447 1 54.0000 39.1142 38.06%
2362.66/2368.77 c 2369 13531 12481 1 54.0000 39.1155 38.05%
2367.75/2373.86 c 2374 13571 12521 1 54.0000 39.1163 38.05%
2373.04/2379.17 c 2379 13603 12553 1 54.0000 39.1163 38.05%
2378.52/2384.67 c 2385 13666 12616 1 54.0000 39.1165 38.05%
2383.61/2389.72 c 2390 13711 12661 1 54.0000 39.1180 38.04%
2389.29/2395.41 c 2395 13761 12711 1 54.0000 39.1191 38.04%
2395.08/2401.23 c 2401 13815 12765 1 54.0000 39.1198 38.04%
2400.87/2407.04 c 2407 13855 12805 1 54.0000 39.1217 38.03%
2406.56/2412.71 c 2413 13905 12855 1 54.0000 39.1222 38.03%
2411.75/2417.91 c 2418 13944 12894 1 54.0000 39.1234 38.02%
2416.94/2423.14 c 2423 13996 12946 1 54.0000 39.1234 38.02%
2422.12/2428.39 c 2428 14056 13006 1 54.0000 39.1256 38.02%
2428.31/2434.54 c 2435 14110 13060 1 54.0000 39.1280 38.01%
2433.80/2440.09 c 2440 14147 13097 1 54.0000 39.1285 38.01%
2439.18/2445.42 c 2445 14198 13148 1 54.0000 39.1287 38.01%
2445.07/2451.37 c 2451 14253 13203 1 54.0000 39.1291 38.00%
2450.95/2457.21 c 2457 14313 13263 1 54.0000 39.1295 38.00%
2457.24/2463.58 c 2464 14366 13316 1 54.0000 39.1296 38.00%
2462.42/2468.78 c 2469 14409 13359 1 54.0000 39.1320 37.99%
2467.82/2474.19 c 2474 14452 13402 1 54.0000 39.1351 37.98%
2473.10/2479.49 c 2479 14507 13457 1 54.0000 39.1351 37.98%
2478.89/2485.29 c 2485 14562 13512 1 54.0000 39.1351 37.98%
2484.78/2491.15 c 2491 14628 13578 1 54.0000 39.1353 37.98%
2490.06/2496.45 c 2496 14672 13622 1 54.0000 39.1363 37.98%
2495.75/2502.20 c 2502 14739 13689 1 54.0000 39.1388 37.97%
2501.64/2508.10 c 2508 14786 13736 1 54.0000 39.1391 37.97%
2508.02/2514.49 c 2514 14841 13791 1 54.0000 39.1391 37.97%
2513.50/2519.91 c 2520 14892 13842 1 54.0000 39.1401 37.97%
2519.29/2525.75 c 2526 14951 13901 1 54.0000 39.1402 37.97%
2524.99/2531.46 c 2531 15001 13951 1 54.0000 39.1425 37.96%
2530.27/2536.71 c 2537 15060 14010 1 54.0000 39.1425 37.96%
2535.46/2541.96 c 2542 15096 14046 1 54.0000 39.1441 37.95%
2540.85/2547.35 c 2547 15151 14101 1 54.0000 39.1452 37.95%
2545.94/2552.45 c 2552 15181 14131 1 54.0000 39.1460 37.95%
2551.33/2557.80 c 2558 15246 14196 1 54.0000 39.1486 37.94%
2557.21/2563.75 c 2564 15293 14243 1 54.0000 39.1487 37.94%
2562.30/2568.89 c 2569 15350 14300 1 54.0000 39.1497 37.93%
2567.69/2574.28 c 2574 15381 14331 1 54.0000 39.1508 37.93%
2573.07/2579.65 c 2580 15435 14385 1 54.0000 39.1508 37.93%
2578.76/2585.36 c 2585 15481 14431 1 54.0000 39.1519 37.92%
2584.05/2590.60 c 2591 15547 14497 1 54.0000 39.1519 37.92%
2589.14/2595.74 c 2596 15577 14527 1 54.0000 39.1519 37.92%
2594.72/2601.37 c 2601 15631 14581 1 54.0000 39.1521 37.92%
2599.71/2606.38 c 2606 15667 14617 1 54.0000 39.1533 37.92%
2605.50/2612.19 c 2612 15722 14672 1 54.0000 39.1543 37.92%
2611.08/2617.75 c 2618 15779 14729 1 54.0000 39.1556 37.91%
2616.27/2622.96 c 2623 15822 14772 1 54.0000 39.1556 37.91%
2621.26/2627.98 c 2628 15859 14809 1 54.0000 39.1556 37.91%
2626.54/2633.26 c 2633 15912 14862 1 54.0000 39.1556 37.91%
2631.53/2638.27 c 2638 15962 14912 1 54.0000 39.1563 37.91%
2637.42/2644.12 c 2644 16010 14960 1 54.0000 39.1567 37.91%
2642.91/2649.61 c 2650 16059 15009 1 54.0000 39.1570 37.91%
2648.50/2655.26 c 2655 16122 15072 1 54.0000 39.1570 37.91%
2657.58/2664.34 c 2664 16171 15121 1 54.0000 39.1570 37.91%
2663.37/2670.16 c 2670 16213 15163 1 54.0000 39.1570 37.91%
2668.65/2675.43 c 2675 16247 15197 1 54.0000 39.1570 37.91%
2673.94/2680.78 c 2681 16312 15262 1 54.0000 39.1572 37.91%
2679.13/2685.91 c 2686 16361 15311 1 54.0000 39.1600 37.90%
2684.81/2691.60 c 2692 16411 15361 1 54.0000 39.1600 37.90%
2689.90/2696.77 c 2697 16450 15400 1 54.0000 39.1600 37.90%
2695.78/2702.65 c 2703 16528 15478 1 54.0000 39.1614 37.89%
2701.77/2708.67 c 2709 16598 15548 1 54.0000 39.1615 37.89%
2706.96/2713.87 c 2714 16637 15587 1 54.0000 39.1615 37.89%
2712.84/2719.76 c 2720 16690 15640 1 54.0000 39.1615 37.89%
2718.43/2725.33 c 2725 16747 15697 1 54.0000 39.1627 37.89%
2723.92/2730.84 c 2731 16796 15746 1 54.0000 39.1629 37.89%
2729.40/2736.36 c 2736 16868 15818 1 54.0000 39.1632 37.88%
2734.99/2741.92 c 2742 16925 15875 1 54.0000 39.1632 37.88%
2740.08/2747.01 c 2747 16964 15914 1 54.0000 39.1632 37.88%
2746.66/2753.67 c 2754 17025 15975 1 54.0000 39.1632 37.88%
2752.25/2759.27 c 2759 17047 15997 1 54.0000 39.1655 37.88%
2758.14/2765.11 c 2765 17109 16059 1 54.0000 39.1659 37.88%
2763.62/2770.68 c 2771 17162 16112 1 54.0000 39.1666 37.87%
2769.31/2776.38 c 2776 17234 16184 1 54.0000 39.1682 37.87%
2774.40/2781.42 c 2781 17285 16235 1 54.0000 39.1682 37.87%
2779.59/2786.69 c 2787 17335 16285 1 54.0000 39.1703 37.86%
2785.38/2792.40 c 2792 17392 16342 1 54.0000 39.1703 37.86%
2791.17/2798.26 c 2798 17470 16420 1 54.0000 39.1715 37.86%
2797.15/2804.20 c 2804 17514 16464 1 54.0000 39.1724 37.85%
2803.03/2810.15 c 2810 17589 16539 1 54.0000 39.1734 37.85%
2808.81/2815.93 c 2816 17642 16592 1 54.0000 39.1734 37.85%
2814.59/2821.71 c 2822 17710 16660 1 54.0000 39.1734 37.85%
2819.88/2827.01 c 2827 17768 16718 1 54.0000 39.1734 37.85%
2825.16/2832.31 c 2832 17826 16776 1 54.0000 39.1738 37.85%
2830.45/2837.63 c 2838 17895 16845 1 54.0000 39.1738 37.85%
2836.23/2843.42 c 2843 17961 16911 1 54.0000 39.1762 37.84%
2842.91/2850.13 c 2850 18012 16962 1 54.0000 39.1768 37.84%
2848.19/2855.44 c 2855 18064 17014 1 54.0000 39.1768 37.84%
2854.38/2861.60 c 2862 18107 17057 1 54.0000 39.1774 37.83%
2859.56/2866.88 c 2867 18149 17099 1 54.0000 39.1781 37.83%
2864.75/2872.08 c 2872 18187 17137 1 54.0000 39.1790 37.83%
2871.62/2878.93 c 2879 18240 17190 1 54.0000 39.1799 37.83%
2877.01/2884.33 c 2884 18300 17250 1 54.0000 39.1810 37.82%
2882.80/2890.18 c 2890 18346 17296 1 54.0000 39.1826 37.82%
2888.47/2895.88 c 2896 18382 17332 1 54.0000 39.1835 37.81%
2893.96/2901.32 c 2901 18450 17400 1 54.0000 39.1835 37.81%
2899.54/2906.93 c 2907 18496 17446 1 54.0000 39.1838 37.81%
2905.42/2912.84 c 2913 18567 17517 1 54.0000 39.1838 37.81%
2910.61/2918.03 c 2918 18610 17560 1 54.0000 39.1841 37.81%
2916.60/2924.04 c 2924 18664 17614 1 54.0000 39.1851 37.81%
2921.77/2929.29 c 2929 18716 17666 1 54.0000 39.1851 37.81%
2927.36/2934.87 c 2935 18776 17726 1 54.0000 39.1851 37.81%
2932.94/2940.40 c 2940 18848 17798 1 54.0000 39.1851 37.81%
2938.92/2946.46 c 2946 18912 17862 1 54.0000 39.1865 37.80%
2944.71/2952.20 c 2952 18952 17902 1 54.0000 39.1867 37.80%
2949.79/2957.34 c 2957 18985 17935 1 54.0000 39.1869 37.80%
2955.69/2963.25 c 2963 19042 17992 1 54.0000 39.1869 37.80%
2961.48/2969.04 c 2969 19102 18052 1 54.0000 39.1869 37.80%
2967.26/2974.89 c 2975 19168 18118 1 54.0000 39.1872 37.80%
2972.75/2980.32 c 2980 19217 18167 1 54.0000 39.1875 37.80%
2978.23/2985.85 c 2986 19264 18214 1 54.0000 39.1895 37.79%
2983.92/2991.50 c 2992 19313 18263 1 54.0000 39.1895 37.79%
2989.91/2997.50 c 2998 19371 18321 1 54.0000 39.1895 37.79%
2996.19/3003.80 c 3004 19429 18379 1 54.0000 39.1895 37.79%
3001.18/3008.87 c 3009 19495 18445 1 54.0000 39.1897 37.79%
3006.96/3014.63 c 3015 19556 18506 1 54.0000 39.1904 37.79%
3012.36/3020.06 c 3020 19599 18549 1 54.0000 39.1907 37.79%
3017.85/3025.55 c 3026 19665 18615 1 54.0000 39.1907 37.79%
3023.63/3031.35 c 3031 19713 18663 1 54.0000 39.1955 37.77%
3028.82/3036.56 c 3037 19765 18715 1 54.0000 39.1955 37.77%
3034.21/3041.94 c 3042 19812 18762 1 54.0000 39.1969 37.77%
3039.89/3047.66 c 3048 19864 18814 1 54.0000 39.1973 37.76%
3046.38/3054.18 c 3054 19926 18876 1 54.0000 39.1973 37.76%
3052.27/3060.07 c 3060 19995 18945 1 54.0000 39.1984 37.76%
3057.55/3065.37 c 3065 20067 19017 1 54.0000 39.1991 37.76%
3062.84/3070.60 c 3071 20121 19071 1 54.0000 39.1991 37.76%
3069.23/3077.01 c 3077 20187 19137 1 54.0000 39.1992 37.76%
3075.32/3083.16 c 3083 20240 19190 1 54.0000 39.2000 37.76%
3081.20/3089.09 c 3089 20305 19255 1 54.0000 39.2008 37.75%
3086.29/3094.19 c 3094 20357 19307 1 54.0000 39.2018 37.75%
3091.57/3099.43 c 3099 20424 19374 1 54.0000 39.2018 37.75%
3097.16/3105.08 c 3105 20467 19417 1 54.0000 39.2030 37.74%
3102.65/3110.55 c 3111 20528 19478 1 54.0000 39.2034 37.74%
3108.33/3116.26 c 3116 20610 19560 1 54.0000 39.2039 37.74%
3114.02/3121.92 c 3122 20653 19603 1 54.0000 39.2046 37.74%
3119.70/3127.63 c 3128 20724 19674 1 54.0000 39.2062 37.73%
3124.89/3132.87 c 3133 20792 19742 1 54.0000 39.2062 37.73%
3130.58/3138.54 c 3139 20842 19792 1 54.0000 39.2063 37.73%
3135.97/3143.92 c 3144 20907 19857 1 54.0000 39.2063 37.73%
3141.85/3149.85 c 3150 20961 19911 1 54.0000 39.2073 37.73%
3147.94/3155.92 c 3156 21015 19965 1 54.0000 39.2076 37.73%
3153.72/3161.75 c 3162 21082 20032 1 54.0000 39.2081 37.73%
3159.31/3167.31 c 3167 21151 20101 1 54.0000 39.2090 37.72%
3164.50/3172.51 c 3173 21181 20131 1 54.0000 39.2095 37.72%
3169.69/3177.78 c 3178 21231 20181 1 54.0000 39.2105 37.72%
3175.27/3183.35 c 3183 21303 20253 1 54.0000 39.2105 37.72%
3180.67/3188.77 c 3189 21356 20306 1 54.0000 39.2116 37.71%
3186.36/3194.45 c 3194 21414 20364 1 54.0000 39.2126 37.71%
3191.95/3200.00 c 3200 21482 20432 1 54.0000 39.2142 37.71%
3197.23/3205.31 c 3205 21536 20486 1 54.0000 39.2143 37.70%
3203.61/3211.77 c 3212 21587 20537 1 54.0000 39.2143 37.70%
3208.91/3217.02 c 3217 21641 20591 1 54.0000 39.2143 37.70%
3214.19/3222.39 c 3222 21690 20640 1 54.0000 39.2146 37.70%
3219.28/3227.41 c 3227 21727 20677 1 54.0000 39.2152 37.70%
3224.36/3232.55 c 3233 21796 20746 1 54.0000 39.2152 37.70%
3230.45/3238.60 c 3239 21859 20809 1 54.0000 39.2165 37.70%
3236.14/3244.34 c 3244 21918 20868 1 54.0000 39.2165 37.70%
3242.12/3250.31 c 3250 21987 20937 1 54.0000 39.2166 37.70%
3247.91/3256.12 c 3256 22055 21005 1 54.0000 39.2166 37.70%
3253.69/3261.90 c 3262 22107 21057 1 54.0000 39.2166 37.70%
3258.78/3267.05 c 3267 22160 21110 1 54.0000 39.2166 37.70%
3263.77/3272.08 c 3272 22218 21168 1 54.0000 39.2188 37.69%
3268.86/3277.16 c 3277 22268 21218 1 54.0000 39.2188 37.69%
3274.64/3282.93 c 3283 22341 21291 1 54.0000 39.2188 37.69%
3280.03/3288.34 c 3288 22388 21338 1 54.0000 39.2188 37.69%
3285.41/3293.75 c 3294 22452 21402 1 54.0000 39.2188 37.69%
3291.50/3299.83 c 3300 22508 21458 1 54.0000 39.2194 37.69%
3296.69/3305.05 c 3305 22582 21532 1 54.0000 39.2194 37.69%
3302.27/3310.63 c 3311 22629 21579 1 54.0000 39.2205 37.68%
3307.77/3316.12 c 3316 22682 21632 1 54.0000 39.2205 37.68%
3313.65/3322.06 c 3322 22739 21689 1 54.0000 39.2216 37.68%
3318.94/3327.33 c 3327 22802 21752 1 54.0000 39.2216 37.68%
3324.23/3332.65 c 3333 22867 21817 1 54.0000 39.2230 37.67%
3330.32/3338.74 c 3339 22930 21880 1 54.0000 39.2230 37.67%
3335.71/3344.16 c 3344 22988 21938 1 54.0000 39.2245 37.67%
3341.59/3350.00 c 3350 23041 21991 1 54.0000 39.2249 37.67%
3346.87/3355.38 c 3355 23108 22058 1 54.0000 39.2249 37.67%
3352.46/3360.93 c 3361 23155 22105 1 54.0000 39.2249 37.67%
3358.14/3366.67 c 3367 23232 22182 1 54.0000 39.2249 37.67%
3363.63/3372.14 c 3372 23295 22245 1 54.0000 39.2249 37.67%
3369.52/3378.07 c 3378 23352 22302 1 54.0000 39.2253 37.67%
3374.71/3383.22 c 3383 23401 22351 1 54.0000 39.2257 37.66%
3380.09/3388.61 c 3389 23433 22383 1 54.0000 39.2257 37.66%
3386.18/3394.70 c 3395 23502 22452 1 54.0000 39.2260 37.66%
3391.47/3400.02 c 3400 23543 22493 1 54.0000 39.2280 37.66%
3396.65/3405.24 c 3405 23602 22552 1 54.0000 39.2280 37.66%
3403.33/3411.90 c 3412 23666 22616 1 54.0000 39.2288 37.65%
3408.82/3417.49 c 3418 23711 22661 1 54.0000 39.2303 37.65%
3415.71/3424.30 c 3424 23776 22726 1 54.0000 39.2310 37.65%
3422.09/3430.72 c 3431 23824 22774 1 54.0000 39.2314 37.64%
3427.69/3436.34 c 3436 23885 22835 1 54.0000 39.2325 37.64%
3432.97/3441.66 c 3442 23946 22896 1 54.0000 39.2348 37.63%
3438.76/3447.47 c 3447 24018 22968 1 54.0000 39.2366 37.63%
3444.75/3453.40 c 3453 24087 23037 1 54.0000 39.2368 37.63%
3450.53/3459.27 c 3459 24156 23106 1 54.0000 39.2368 37.63%
3456.92/3465.67 c 3466 24215 23165 1 54.0000 39.2368 37.63%
3462.31/3471.04 c 3471 24266 23216 1 54.0000 39.2370 37.63%
3467.99/3476.72 c 3477 24321 23271 1 54.0000 39.2377 37.62%
3473.97/3482.72 c 3483 24393 23343 1 54.0000 39.2379 37.62%
3479.37/3488.18 c 3488 24435 23385 1 54.0000 39.2379 37.62%
3485.15/3493.91 c 3494 24476 23426 1 54.0000 39.2399 37.62%
3491.03/3499.89 c 3500 24532 23482 1 54.0000 39.2408 37.61%
3496.62/3505.41 c 3505 24596 23546 1 54.0000 39.2408 37.61%
3502.21/3511.03 c 3511 24657 23607 1 54.0000 39.2408 37.61%
3508.20/3517.04 c 3517 24734 23684 1 54.0000 39.2408 37.61%
3513.38/3522.21 c 3522 24781 23731 1 54.0000 39.2428 37.61%
3519.27/3528.11 c 3528 24858 23808 1 54.0000 39.2435 37.60%
3524.26/3533.12 c 3533 24907 23857 1 54.0000 39.2435 37.60%
3529.44/3538.37 c 3538 24973 23923 1 54.0000 39.2435 37.60%
3534.53/3543.48 c 3543 25046 23996 1 54.0000 39.2435 37.60%
3541.22/3550.14 c 3550 25107 24057 1 54.0000 39.2435 37.60%
3547.11/3556.02 c 3556 25179 24129 1 54.0000 39.2435 37.60%
3552.49/3561.42 c 3561 25232 24182 1 54.0000 39.2440 37.60%
3557.78/3566.75 c 3567 25295 24245 1 54.0000 39.2445 37.60%
3563.67/3572.67 c 3573 25354 24304 1 54.0000 39.2461 37.59%
3568.75/3577.70 c 3578 25401 24351 1 54.0000 39.2475 37.59%
3573.84/3582.85 c 3583 25458 24408 1 54.0000 39.2475 37.59%
3579.53/3588.55 c 3589 25526 24476 1 54.0000 39.2481 37.59%
3584.92/3593.91 c 3594 25563 24513 1 54.0000 39.2481 37.59%
3590.80/3599.88 c 3600 25623 24573 1 54.0000 39.2483 37.59%
3591.11/3600.15 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.11/3600.15 c Total Time : 3600.16
3591.11/3600.15 c solving : 3600.16
3591.11/3600.15 c presolving : 0.03 (included in solving)
3591.11/3600.15 c B&B Tree :
3591.11/3600.15 c nodes (total) : 1
3591.11/3600.15 c Solution :
3591.11/3600.15 c Solutions found : 3
3591.11/3600.15 c Primal Bound : +5.40000000000000e+01
3591.11/3600.15 c Dual Bound : +3.92482656985677e+01
3591.11/3600.15 c Gap : 37.58570 %
3591.11/3600.15 c * Warning: final gap: 3.75857e-01 is greater than SCIPepsilon: 1.00000e-09
3591.11/3600.17 o 54
3591.11/3600.17 s SATISFIABLE
3591.11/3600.17 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
3591.11/3600.17 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
3591.11/3600.17 v -x458 -x457 -x456 -x455 x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437
3591.11/3600.17 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
3591.11/3600.17 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396
3591.11/3600.17 v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
3591.11/3600.17 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
3591.11/3600.17 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
3591.11/3600.17 v -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312
3591.11/3600.17 v -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291
3591.11/3600.17 v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270
3591.11/3600.17 v -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
3591.11/3600.17 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 x230 -x229 -x228 -x227
3591.11/3600.17 v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
3591.11/3600.17 v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186
3591.11/3600.17 v -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
3591.11/3600.17 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
3591.11/3600.17 v -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122
3591.11/3600.17 v -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 x103 -x102 x101 -x100
3591.11/3600.17 v -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 x91 -x90 -x89 -x88 -x87 x86 x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74
3591.11/3600.17 v x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 x63 -x62 -x61 x60 x59 -x58 -x57 -x56 -x55 x54 x53 x52 -x51 -x50 -x49 -x48
3591.11/3600.17 v -x47 x46 x45 -x44 x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 -x34 x33 x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21
3591.11/3600.17 v 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: 63968 MiB (50069 MiB free)
memory of node 1: 64473 MiB (56457 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459819-1721939468/watcher-4459819-1721939468 -o /tmp/evaluation-result-4459819-1721939468/solver-4459819-1721939468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310658 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459819-1721939468.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=310965, runsolver pid=310962
[startup+0.100082 s]*
/proc/loadavg: 0.49 0.17 0.22 4/263 310982
/proc/meminfo: memFree=109041852/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=139136 memory=52880 CPUtime=0.09 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 10719 0 0 0 8 1 0 0 20 0 3 0 30476264 142475264 13220 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 34784 13220 2878 3032 0 16804 0
[pid=310965/tid=310981] ppid=310962 vsize=139136 memory=4026531971 CPUtime=0.02 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 2084 0 0 0 2 0 0 0 20 0 3 0 30476270 142475264 13220 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=139136 memory=649556 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476271 142475264 13220 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 139136 KiB
Current children cumulated memory: 52880 KiB
[startup+0.205542 s]*
/proc/loadavg: 0.49 0.17 0.22 5/260 311003
/proc/meminfo: memFree=109069480/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=139136 memory=53408 CPUtime=0.2 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 10818 0 0 0 19 1 0 0 20 0 3 0 30476264 142475264 13352 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 34784 13352 2878 3032 0 16911 0
[pid=310965/tid=310981] ppid=310962 vsize=139136 memory=7947006584537350263 CPUtime=0.13 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 2183 0 0 0 13 0 0 0 20 0 3 0 30476270 142475264 13352 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=139136 memory=650289 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476271 142475264 13352 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 139136 KiB
Current children cumulated memory: 53408 KiB
[startup+0.305116 s]*
/proc/loadavg: 0.49 0.17 0.22 5/266 311014
/proc/meminfo: memFree=109039948/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=139592 memory=53672 CPUtime=0.3 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 10902 0 0 0 29 1 0 0 20 0 3 0 30476264 142942208 13418 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 34898 13418 2878 3032 0 17025 0
[pid=310965/tid=310981] ppid=310962 vsize=139592 memory=7311146985107750967 CPUtime=0.23 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 2267 0 0 0 23 0 0 0 20 0 3 0 30476270 142942208 13418 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=139592 memory=650283 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476271 142942208 13418 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 139592 KiB
Current children cumulated memory: 53672 KiB
[startup+0.700259 s]
/proc/loadavg: 0.49 0.17 0.22 5/266 311014
/proc/meminfo: memFree=108911156/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=140644 memory=54408 CPUtime=0.69 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 11177 0 0 0 68 1 0 0 20 0 3 0 30476264 144019456 13602 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 35161 13602 2878 3032 0 17288 0
[pid=310965/tid=310981] ppid=310962 vsize=140644 memory=0 CPUtime=0.62 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 2542 0 0 0 62 0 0 0 20 0 3 0 30476270 144019456 13602 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=140644 memory=652161 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476271 144019456 13602 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 140644 KiB
Current children cumulated memory: 54408 KiB
[startup+1.50024 s]
/proc/loadavg: 0.49 0.17 0.22 5/268 311016
/proc/meminfo: memFree=108872436/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=149768 memory=95760 CPUtime=1.49 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 24195 0 0 0 146 3 0 0 20 0 3 0 30476264 153362432 23940 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 37442 23940 2910 3032 0 27650 0
[pid=310965/tid=310981] ppid=310962 vsize=149768 memory=0 CPUtime=1.41 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 15560 0 0 0 140 1 0 0 20 0 3 0 30476270 153362432 23940 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=149768 memory=0 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476271 153362432 23940 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 149768 KiB
Current children cumulated memory: 95760 KiB
[startup+3.10552 s]
/proc/loadavg: 0.49 0.17 0.22 5/268 311018
/proc/meminfo: memFree=108749972/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=215440 memory=165564 CPUtime=3.09 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 41702 0 0 0 303 6 0 0 20 0 3 0 30476264 220610560 41391 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 53860 41391 2910 3032 0 45375 0
[pid=310965/tid=310981] ppid=310962 vsize=215440 memory=0 CPUtime=3.01 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 33065 0 0 0 297 4 0 0 20 0 3 0 30476270 220610560 41391 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=215440 memory=0 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 30476271 220610560 41391 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 215440 KiB
Current children cumulated memory: 165564 KiB
[startup+6.30022 s]
/proc/loadavg: 0.77 0.24 0.24 5/268 311114
/proc/meminfo: memFree=108644228/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=215440 memory=166272 CPUtime=6.27 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 44115 0 0 0 621 6 0 0 20 0 3 0 30476264 220610560 41568 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 53860 41568 2910 3032 0 45673 0
[pid=310965/tid=310981] ppid=310962 vsize=215440 memory=3984 CPUtime=6.2 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 35472 0 0 0 615 5 0 0 20 0 3 0 30476270 220610560 41568 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=215440 memory=11540 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 30476271 220610560 41568 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 215440 KiB
Current children cumulated memory: 166272 KiB
[startup+12.7002 s]
/proc/loadavg: 1.03 0.30 0.26 5/268 311114
/proc/meminfo: memFree=108460768/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=216208 memory=166316 CPUtime=12.66 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 48452 0 0 0 1259 7 0 0 20 0 3 0 30476264 221396992 41579 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 54052 41579 2910 3032 0 45865 0
[pid=310965/tid=310981] ppid=310962 vsize=216208 memory=11540 CPUtime=12.58 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 39766 0 0 0 1253 5 0 0 20 0 3 0 30476270 221396992 41579 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=216208 memory=0 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 30476271 221396992 41579 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 216208 KiB
Current children cumulated memory: 166316 KiB
[startup+25.5002 s]
/proc/loadavg: 1.75 0.50 0.32 5/268 311117
/proc/meminfo: memFree=108397640/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=216208 memory=167812 CPUtime=25.42 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 56918 0 0 0 2535 7 0 0 20 0 3 0 30476264 221396992 41953 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 54052 41953 2958 3032 0 46035 0
[pid=310965/tid=310981] ppid=310962 vsize=216208 memory=166296 CPUtime=25.35 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 48145 0 0 0 2529 6 0 0 20 0 3 0 30476270 221396992 41953 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=216208 memory=0 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 30476271 221396992 41953 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 216208 KiB
Current children cumulated memory: 167812 KiB
[startup+51.1055 s]
/proc/loadavg: 3.07 0.91 0.47 5/268 311121
/proc/meminfo: memFree=108258708/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=347280 memory=261196 CPUtime=50.96 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 137342 0 0 0 5083 13 0 0 20 0 3 0 30476264 355614720 65299 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 86820 65299 2958 3032 0 69752 0
[pid=310965/tid=310981] ppid=310962 vsize=347280 memory=167812 CPUtime=50.89 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 128433 0 0 0 5077 12 0 0 20 0 3 0 30476270 355614720 65299 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=347280 memory=11540 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 30476271 355614720 65299 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 347280 KiB
Current children cumulated memory: 261196 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 1.49 0.69 5/268 311130
/proc/meminfo: memFree=108169708/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=346728 memory=290100 CPUtime=102.01 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 198484 0 0 0 10183 18 0 0 20 0 3 0 30476264 355049472 72525 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 86682 72525 2958 3032 0 77155 0
[pid=310965/tid=310981] ppid=310962 vsize=346728 memory=290096 CPUtime=101.94 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 189475 0 0 0 10177 17 0 0 20 0 3 0 30476270 355049472 72525 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=346728 memory=290096 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 30476271 355049472 72525 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 346728 KiB
Current children cumulated memory: 290100 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 1.97 0.91 5/268 311141
/proc/meminfo: memFree=108115524/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=346728 memory=297396 CPUtime=161.84 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 243034 0 0 0 16162 22 0 0 20 0 3 0 30476264 355049472 74349 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 86682 74349 2974 3032 0 79260 0
[pid=310965/tid=310981] ppid=310962 vsize=346728 memory=290648 CPUtime=161.75 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 233877 0 0 0 16155 20 0 0 20 0 3 0 30476270 355049472 74349 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=346728 memory=295444 CPUtime=0 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 30476271 355049472 74349 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 161.84 s
################
# More data... #
################
/proc/310965/statm: 120042 102363 2974 3032 0 104705 0
[pid=310965/tid=310981] ppid=310962 vsize=480168 memory=11540 CPUtime=3453.35 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 542438 0 0 0 345283 52 0 0 20 0 3 0 30476270 491692032 102363 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=480168 memory=409448 CPUtime=0.02 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 183 0 0 0 1 1 0 0 20 0 3 0 30476271 491692032 102363 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 480168 KiB
Current children cumulated memory: 409452 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.16 4.05 5/268 313030
/proc/meminfo: memFree=106991020/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=480168 memory=409472 CPUtime=3513.48 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 554198 0 0 0 351288 60 0 0 20 0 3 0 30476264 491692032 102368 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 120042 102368 2974 3032 0 104705 0
[pid=310965/tid=310981] ppid=310962 vsize=480168 memory=11540 CPUtime=3513.2 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 543836 0 0 0 351268 52 0 0 20 0 3 0 30476270 491692032 102368 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=480168 memory=2304 CPUtime=0.02 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 185 0 0 0 1 1 0 0 20 0 3 0 30476271 491692032 102368 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 480168 KiB
Current children cumulated memory: 409472 KiB
[startup+3582.3 s]
/proc/loadavg: 4.28 4.18 4.06 5/267 313097
/proc/meminfo: memFree=106974940/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=480168 memory=409476 CPUtime=3573.34 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 555925 0 0 0 357273 61 0 0 20 0 3 0 30476264 491692032 102369 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 120042 102369 2974 3032 0 104705 0
[pid=310965/tid=310981] ppid=310962 vsize=480168 memory=409476 CPUtime=3573.07 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 545543 0 0 0 357254 53 0 0 20 0 3 0 30476270 491692032 102369 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=480168 memory=12544 CPUtime=0.02 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 187 0 0 0 1 1 0 0 20 0 3 0 30476271 491692032 102369 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 480168 KiB
Current children cumulated memory: 409476 KiB
[startup+3600.17 s]
# the end of solver process 310965 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.56 s, system=0.620413 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.28 4.18 4.06 5/267 313099
/proc/meminfo: memFree=106974196/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=480168 memory=409476 CPUtime=3575.04 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 555926 0 0 0 357443 61 0 0 20 0 3 0 30476264 491692032 102369 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 120042 102369 2974 3032 0 104705 0
[pid=310965/tid=310981] ppid=310962 vsize=480168 memory=6720664337603771242 CPUtime=3574.77 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 545544 0 0 0 357424 53 0 0 20 0 3 0 30476270 491692032 102369 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=480168 memory=-8982072546711028383 CPUtime=0.02 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 187 0 0 0 1 1 0 0 20 0 3 0 30476271 491692032 102369 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3575.04 s
Current children cumulated vsize: 480168 KiB
Current children cumulated memory: 409476 KiB
[startup+3590.4 s]
/proc/loadavg: 4.23 4.17 4.06 5/265 313100
/proc/meminfo: memFree=106975168/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=480168 memory=409476 CPUtime=3581.42 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 555946 0 0 0 358081 61 0 0 20 0 3 0 30476264 491692032 102369 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 120042 102369 2974 3032 0 104705 0
[pid=310965/tid=310981] ppid=310962 vsize=480168 memory=409476 CPUtime=3581.15 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 545564 0 0 0 358062 53 0 0 20 0 3 0 30476270 491692032 102369 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=480168 memory=409476 CPUtime=0.02 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 187 0 0 0 1 1 0 0 20 0 3 0 30476271 491692032 102369 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3581.42 s
Current children cumulated vsize: 480168 KiB
Current children cumulated memory: 409476 KiB
[startup+3596.8 s]
/proc/loadavg: 4.22 4.17 4.06 4/258 313109
/proc/meminfo: memFree=107704248/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=480168 memory=409484 CPUtime=3587.81 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 555980 0 0 0 358720 61 0 0 20 0 3 0 30476264 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 120042 102371 2974 3032 0 104705 0
[pid=310965/tid=310981] ppid=310962 vsize=480168 memory=11540 CPUtime=3587.53 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 545598 0 0 0 358700 53 0 0 20 0 3 0 30476270 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=480168 memory=74940 CPUtime=0.02 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 187 0 0 0 1 1 0 0 20 0 3 0 30476271 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3587.81 s
Current children cumulated vsize: 480168 KiB
Current children cumulated memory: 409484 KiB
[startup+3598.4 s]
/proc/loadavg: 4.22 4.17 4.06 5/265 313149
/proc/meminfo: memFree=107568712/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=480168 memory=409484 CPUtime=3589.4 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 555980 0 0 0 358879 61 0 0 20 0 3 0 30476264 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 120042 102371 2974 3032 0 104705 0
[pid=310965/tid=310981] ppid=310962 vsize=480168 memory=108 CPUtime=3589.13 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 545598 0 0 0 358860 53 0 0 20 0 3 0 30476270 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=480168 memory=28648 CPUtime=0.02 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 187 0 0 0 1 1 0 0 20 0 3 0 30476271 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3589.4 s
Current children cumulated vsize: 480168 KiB
Current children cumulated memory: 409484 KiB
[startup+3599.2 s]
/proc/loadavg: 4.22 4.17 4.06 5/265 313149
/proc/meminfo: memFree=107559464/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=480168 memory=409484 CPUtime=3590.2 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 555981 0 0 0 358959 61 0 0 20 0 3 0 30476264 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 120042 102371 2974 3032 0 104705 0
[pid=310965/tid=310981] ppid=310962 vsize=480168 memory=11540 CPUtime=3589.93 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 545599 0 0 0 358940 53 0 0 20 0 3 0 30476270 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=480168 memory=74940 CPUtime=0.02 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 187 0 0 0 1 1 0 0 20 0 3 0 30476271 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3590.2 s
Current children cumulated vsize: 480168 KiB
Current children cumulated memory: 409484 KiB
[startup+3599.6 s]
/proc/loadavg: 4.22 4.17 4.06 5/265 313149
/proc/meminfo: memFree=107559464/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=480168 memory=409484 CPUtime=3590.6 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 555981 0 0 0 358999 61 0 0 20 0 3 0 30476264 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 120042 102371 2974 3032 0 104705 0
[pid=310965/tid=310981] ppid=310962 vsize=480168 memory=74940 CPUtime=3590.33 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 545599 0 0 0 358980 53 0 0 20 0 3 0 30476270 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=480168 memory=1988 CPUtime=0.02 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 187 0 0 0 1 1 0 0 20 0 3 0 30476271 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3590.6 s
Current children cumulated vsize: 480168 KiB
Current children cumulated memory: 409484 KiB
[startup+3600 s]*
/proc/loadavg: 4.20 4.16 4.06 4/260 313163
/proc/meminfo: memFree=107703500/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=480168 memory=409484 CPUtime=3591.01 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 555990 0 0 0 359040 61 0 0 20 0 3 0 30476264 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 120042 102371 2974 3032 0 104705 0
[pid=310965/tid=310981] ppid=310962 vsize=480168 memory=-6530988440857509061 CPUtime=3590.73 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 545604 0 0 0 359020 53 0 0 20 0 3 0 30476270 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=480168 memory=40280 CPUtime=0.02 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 187 0 0 0 1 1 0 0 20 0 3 0 30476271 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3591.01 s
Current children cumulated vsize: 480168 KiB
Current children cumulated memory: 409484 KiB
[startup+3600.11 s]
/proc/loadavg: 4.20 4.16 4.06 4/260 313163
/proc/meminfo: memFree=107703500/131524600 swapFree=131071728/131071996
[pid=310965] ppid=310962 vsize=480168 memory=409484 CPUtime=3591.11 cores=5,7
/proc/310965/stat : 310965 (fscip) S 310962 310965 310643 0 -1 1077936128 556688 0 0 0 359050 61 0 0 20 0 3 0 30476264 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
/proc/310965/statm: 120042 102371 2974 3032 0 104705 0
[pid=310965/tid=310981] ppid=310962 vsize=480168 memory=409472 CPUtime=3590.83 cores=5,7
/proc/310965/task/310981/stat : 310981 (fscip) R 310962 310965 310643 0 -1 4194368 546302 0 0 0 359030 53 0 0 20 0 3 0 30476270 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
[pid=310965/tid=310982] ppid=310962 vsize=480168 memory=6720662155894471528 CPUtime=0.02 cores=5,7
/proc/310965/task/310982/stat : 310982 (fscip) S 310962 310965 310643 0 -1 1077936192 187 0 0 0 1 1 0 0 20 0 3 0 30476271 491692032 102371 134679101440 4194304 16613245 140734360214736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36786176 140734360220692 140734360220808 140734360220808 140734360227824 0
Current children cumulated CPU time: 3591.11 s
Current children cumulated vsize: 480168 KiB
Current children cumulated memory: 409484 KiB
Child status: 0
Real time (s): 3600.17
CPU time (s): 3591.18
CPU user time (s): 3590.56
CPU system time (s): 0.620413
CPU usage (%): 99.7503
Max. virtual memory (cumulated for all children) (KiB): 480168
Max. memory (cumulated for all children) (KiB): 409484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.56
system time used= 0.620413
maximum resident set size= 409484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556989
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= 9963
involuntary context switches= 1472
# summary of solver processes directly reported to runsolver:
# pid: 310965
# total CPU time (s): 3591.18
# total CPU user time (s): 3590.56
# total CPU system time (s): 0.620413
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00876 second user time and 16.1157 second system time
The end
Begin job on nodeC029 at 2024-07-25 22:31:08
IDJOB=4459819
IDBENCH=148588
IDSOLVER=3064
FILE ID=nodeC029/4459819-1721939468
RUNJOBID= nodeC029-1721939462-310658
SLURM_JOB_ID= 8247249
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.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-4459819-1721939468/watcher-4459819-1721939468 -o /tmp/evaluation-result-4459819-1721939468/solver-4459819-1721939468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310658 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459819-1721939468.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8deb0b9174477a1f2aeb72dadb0281d2
RANDOM SEED=1762117574
nodeC029.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 : 3670.591
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.50
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 : 3412.380
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.34
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 : 3599.993
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.50
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 : 3549.470
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.604
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.50
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 : 3650.231
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.34
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.016
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.50
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 : 3653.566
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 109083248 kB
MemAvailable: 129454792 kB
Buffers: 330036 kB
Cached: 20744760 kB
SwapCached: 44 kB
Active: 2910048 kB
Inactive: 18654444 kB
Active(anon): 1572 kB
Inactive(anon): 542136 kB
Active(file): 2908476 kB
Inactive(file): 18112308 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 85672 kB
Writeback: 0 kB
AnonPages: 489748 kB
Mapped: 143960 kB
Shmem: 54012 kB
KReclaimable: 381168 kB
Slab: 515896 kB
SReclaimable: 381168 kB
SUnreclaim: 134728 kB
KernelStack: 4192 kB
PageTables: 10556 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 806576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 21472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 350932 kB
DirectMap2M: 44511232 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-25 23:31:09