0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.20/0.25 c Default LC presolving (default).
0.20/0.25 c ** Before presolving: virtualMemUsedAtLc = 195143782, getVmSize() = 175665152, SCIPgetMemUsed() = 87587420, SCIPgetMemTotal() = 150627212, SCIPgetMemExternEstim() = 44516570
0.20/0.25 c ** set memory limit for presolving in LC to 8.79603e+12 for SCIP **
1.48/1.59 c ** Estimated virtualMemUsedAtSolver = 267450444, getVmSize() = 381648896, SCIPgetMemUsed() = 219194592, SCIPgetMemTotal() = 356659096, SCIPgetMemExternEstim() = 44516570
1.48/1.59 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.48/1.59 c Original Problem :
1.48/1.59 c Problem name : instance-4464011-1722378597
1.48/1.59 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1.48/1.59 c Constraints : 17459
1.48/1.59 c Objective sense : minimize
1.48/1.59 c Presolved Problem :
1.48/1.59 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1.48/1.59 c Constraints : 10391
1.48/1.59 c Constraints : Number
1.48/1.59 c knapsack : 323
1.48/1.59 c setppc : 1500
1.48/1.59 c linear : 8568
1.48/1.59 c ** Instance transfer method used: 0
1.58/1.63 c ** ParaScipInstance copy does not increase the number of variables. **
1.58/1.67 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.58/1.67 c Nodes Active
1.58/1.67 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
14.66/14.89 c 15 2 1 1 - 17.0000 -
31.28/31.65 c 32 17 16 1 - 17.0000 -
36.33/36.77 c 37 23 22 1 - 17.0000 -
42.07/42.54 c 43 52 47 1 - 17.0000 -
47.81/48.36 c 48 77 66 1 - 17.0000 -
53.36/53.91 c 54 93 82 1 - 17.0000 -
59.59/60.22 c 60 119 102 1 - 17.0000 -
66.61/67.38 c 67 153 134 1 - 17.0000 -
73.15/73.97 c 74 170 150 1 - 17.0000 -
78.77/79.63 c 80 206 184 1 - 17.0000 -
84.03/84.98 c 85 270 235 1 - 17.0000 -
89.36/90.36 c 90 311 266 1 - 17.0000 -
95.00/96.02 c 96 356 297 1 - 18.0000 -
100.74/101.84 c 102 437 325 1 - 18.0000 -
106.17/107.35 c 107 505 373 1 - 18.0000 -
111.21/112.47 c 112 637 395 1 - 18.0000 -
117.05/118.34 c 118 700 393 1 - 18.0000 -
123.48/124.84 c 125 747 440 1 - 18.0000 -
129.11/130.54 c 131 805 488 1 - 18.0000 -
134.66/136.14 c 136 867 534 1 - 18.0000 -
140.10/141.61 c 142 951 569 1 - 18.0000 -
145.14/146.75 c 147 1014 624 1 - 18.0000 -
153.95/155.62 c 156 1029 1 1 - 18.0000 -
159.07/160.81 c 161 1065 37 1 - 18.0000 -
165.01/166.86 c 167 1094 64 1 - 18.0000 -
170.64/172.54 c 173 1131 101 1 - 18.0000 -
176.47/178.49 c 178 1162 128 1 - 18.0000 -
182.60/184.69 c 185 1189 155 1 - 18.0000 -
188.24/190.31 c 190 1216 182 1 - 18.0000 -
193.27/195.48 c 195 1238 204 1 - 18.0000 -
199.00/201.24 c 201 1278 238 1 - 18.0000 -
205.23/207.55 c 208 1306 264 1 - 18.0000 -
211.07/213.50 c 214 1340 294 1 - 18.0000 -
216.66/219.07 c 219 1372 320 1 - 18.0000 -
222.34/224.78 c 225 1389 335 1 - 18.0000 -
228.24/230.67 c 231 1432 362 1 - 18.0000 -
233.92/236.37 c 236 1492 419 1 - 18.0000 -
239.81/242.23 c 242 1566 455 1 - 18.0000 -
245.70/248.13 c 248 1607 489 1 - 18.0000 -
250.88/253.39 c 253 1635 517 1 - 18.0000 -
256.07/258.57 c 259 1684 549 1 - 18.0000 -
261.25/263.78 c 264 1704 566 1 - 18.0000 -
266.93/269.49 c 269 1763 614 1 - 18.0000 -
272.92/275.42 c 275 1831 649 1 - 18.0000 -
279.51/282.02 c 282 1877 687 1 - 18.0000 -
285.29/287.81 c 288 1954 721 1 - 18.0000 -
290.28/292.83 c 293 1983 750 1 - 18.0000 -
295.96/298.60 c 299 2019 784 1 - 18.0000 -
307.84/310.41 c 310 2043 794 1 - 18.0000 -
313.22/315.87 c 316 2100 815 1 - 19.0000 -
319.10/321.79 c 322 2157 842 1 - 19.0000 -
324.50/327.14 c 327 2201 861 1 - 19.0000 -
330.07/332.73 c 333 2268 895 1 - 23.0000 -
335.66/338.33 c 338 2346 939 1 - 23.0000 -
340.95/343.60 c 344 2441 997 1 - 23.0000 -
346.04/348.72 c 349 2607 1030 1 - 23.0000 -
351.73/354.45 c 354 2702 1050 1 - 23.0000 -
357.00/359.74 c 360 2801 1088 1 - 23.0000 -
362.69/365.42 c 365 2941 1087 1 - 24.0000 -
368.18/370.90 c 371 3056 1085 1 - 24.0000 -
374.36/377.19 c 377 3113 1128 1 - 24.0000 -
379.95/382.75 c 383 3182 1163 1 - 24.0000 -
385.94/388.79 c 389 3254 1165 1 - 25.0000 -
391.12/393.98 c 394 3360 1184 1 - 25.0000 -
398.10/400.90 c 401 3449 1180 1 - 25.0000 -
403.49/406.38 c 406 3539 1204 1 - 25.0000 -
408.68/411.53 c 412 3629 1218 1 - 25.0000 -
413.76/416.68 c 417 3693 1230 1 - 25.0000 -
419.25/422.11 c 422 3746 1232 1 - 25.0000 -
425.64/428.51 c 429 3821 1245 1 - 25.0000 -
430.73/433.63 c 434 3873 1267 1 - 25.0000 -
436.02/438.97 c 439 3939 1290 1 - 25.0000 -
441.80/444.73 c 445 4011 1317 1 - 25.0000 -
447.38/450.32 c 450 4090 1329 1 - 25.0000 -
452.37/455.36 c 455 4168 1324 1 - 25.0000 -
457.96/460.99 c 461 4276 1322 1 - 26.0000 -
463.15/466.13 c 466 4349 1341 1 - 26.0000 -
468.63/471.61 c 472 4401 1350 1 - 26.0000 -
477.21/480.23 c 480 4415 1360 1 - 26.0000 -
482.60/485.69 c 486 4503 1384 1 - 26.0000 -
488.49/491.54 c 492 4584 1427 1 - 26.0000 -
493.57/496.69 c 497 4669 1450 1 - 26.0000 -
499.26/502.31 c 502 4750 1484 1 - 26.0000 -
504.85/507.96 c 508 4819 1509 1 - 26.0000 -
510.23/513.31 c 513 4879 1528 1 - 26.0000 -
516.12/519.26 c 519 4943 1546 1 - 27.0000 -
526.90/530.01 c 530 5009 1577 1 - 27.0000 -
532.78/535.95 c 536 5106 1592 1 - 27.0000 -
537.98/541.10 c 541 5174 1595 1 - 27.0000 -
543.65/546.87 c 547 5276 1612 1 - 27.0000 -
548.95/552.16 c 552 5354 1616 1 - 27.0000 -
554.43/557.63 c 558 5460 1615 1 - 27.0000 -
559.82/563.03 c 563 5564 1617 1 - 27.0000 -
565.40/568.61 c 569 5650 1648 1 - 27.0000 -
570.69/573.90 c 574 5728 1669 1 - 27.0000 -
575.68/578.99 c 579 5816 1690 1 - 27.0000 -
581.67/584.96 c 585 5903 1697 1 - 27.0000 -
587.65/590.99 c 591 5993 1719 1 - 27.0000 -
593.14/596.48 c 596 6128 1713 1 - 27.0000 -
598.43/601.77 c 602 6186 1737 1 - 27.0000 -
603.61/606.93 c 607 6289 1748 1 - 28.0000 -
609.70/613.00 c 613 6383 1763 1 - 28.0000 -
615.08/618.48 c 618 6429 1799 1 - 28.0000 -
620.27/623.68 c 624 6475 1820 1 - 28.0000 -
625.47/628.88 c 629 6535 1849 1 - 28.0000 -
630.96/634.38 c 634 6587 1880 1 - 28.0000 -
636.34/639.71 c 640 6660 1914 1 - 28.0000 -
641.53/644.92 c 645 6733 1941 1 - 28.0000 -
647.92/651.30 c 651 6760 1953 1 - 28.0000 -
654.00/657.43 c 657 6830 1997 1 - 28.0000 -
659.49/662.90 c 663 6930 2015 1 - 28.0000 -
664.88/668.30 c 668 7006 2051 1 - 28.0000 -
670.47/673.91 c 674 7066 2087 1 - 28.0000 -
675.46/678.93 c 679 7115 2119 1 - 28.0000 -
681.34/684.87 c 685 7175 2162 1 - 28.0000 -
686.93/690.46 c 690 7247 2203 1 - 28.0000 -
692.82/696.39 c 696 7324 2217 1 - 28.0000 -
698.10/701.69 c 702 7413 2261 1 - 28.0000 -
703.89/707.49 c 707 7464 2296 1 - 28.0000 -
709.29/712.86 c 713 7529 2325 1 - 28.0000 -
715.17/718.79 c 719 7592 2380 1 - 28.0000 -
720.86/724.40 c 724 7644 2418 1 - 28.0000 -
726.34/729.97 c 730 7688 2427 1 - 28.0000 -
732.33/735.93 c 736 7723 2453 1 - 28.0000 -
737.92/741.56 c 742 7766 2478 1 - 28.0000 -
743.31/746.96 c 747 7787 2497 1 - 28.0000 -
748.59/752.22 c 752 7813 2522 1 - 28.0000 -
754.08/757.76 c 758 7876 2545 1 - 28.0000 -
759.78/763.45 c 763 7918 2575 1 - 28.0000 -
770.65/774.34 c 774 7943 2588 1 - 28.0000 -
776.84/780.57 c 781 8010 2623 1 - 28.0000 -
782.62/786.37 c 786 8076 2642 1 - 28.0000 -
788.31/792.08 c 792 8157 2669 1 - 28.0000 -
793.50/797.22 c 797 8200 2696 1 - 28.0000 -
798.78/802.55 c 803 8269 2701 1 - 28.0000 -
804.67/808.49 c 808 8334 2708 1 - 28.0000 -
809.76/813.52 c 814 8392 2731 1 - 28.0000 -
814.85/818.64 c 819 8456 2776 1 - 28.0000 -
820.24/824.05 c 824 8522 2800 1 - 28.5000 -
825.82/829.68 c 830 8594 2823 1 - 29.0000 -
831.51/835.30 c 835 8716 2838 1 - 29.0000 -
836.90/840.73 c 841 8782 2857 1 - 29.0000 -
842.39/846.20 c 846 8849 2889 1 - 29.0000 -
847.38/851.25 c 851 8932 2909 1 - 29.0000 -
853.37/857.21 c 857 9032 2922 1 - 29.0000 -
858.46/862.38 c 862 9095 2946 1 - 29.0000 -
863.45/867.39 c 867 9144 2974 1 - 29.0000 -
869.14/873.05 c 873 9232 3013 1 - 29.0000 -
875.92/879.84 c 880 9293 3011 1 - 29.0000 -
881.11/885.04 c 885 9365 3031 1 - 29.0000 -
886.50/890.46 c 890 9479 3049 1 - 29.0000 -
891.69/895.64 c 896 9577 3057 1 - 29.0000 -
897.47/901.42 c 901 9659 3080 1 - 29.0000 -
902.76/906.78 c 907 9755 3066 1 - 29.0000 -
908.05/912.05 c 912 9849 3082 1 - 29.0000 -
914.15/918.10 c 918 9909 3119 1 - 30.0000 -
920.13/924.15 c 924 9988 3143 1 - 30.0000 -
925.41/929.42 c 929 10085 3138 1 - 30.0000 -
931.40/935.49 c 935 10211 3157 1 - 30.0000 -
937.48/941.55 c 942 10309 3171 1 - 30.0000 -
942.98/947.06 c 947 10443 3185 1 - 30.0000 -
948.46/952.56 c 953 10583 3184 1 - 30.0000 -
953.85/957.99 c 958 10673 3205 1 - 30.0000 -
959.44/963.57 c 964 10761 3229 1 - 30.0000 -
965.03/969.12 c 969 10872 3242 1 - 30.0000 -
970.31/974.43 c 974 10941 3260 1 - 30.0000 -
975.70/979.82 c 980 10996 3281 1 - 30.0000 -
981.10/985.27 c 985 11048 3282 1 - 30.0000 -
987.78/991.97 c 992 11123 3293 1 - 30.0000 -
993.27/997.47 c 997 11206 3295 1 - 30.0000 -
998.56/1002.73 c 1003 11294 3298 1 - 30.0000 -
1004.44/1008.64 c 1009 11398 3305 1 - 30.0000 -
1010.03/1014.29 c 1014 11490 3323 1 - 30.0000 -
1015.62/1019.87 c 1020 11586 3326 1 - 30.0000 -
1021.21/1025.40 c 1025 11671 3347 1 - 30.0000 -
1026.50/1030.77 c 1031 11737 3372 1 - 30.0000 -
1032.28/1036.52 c 1037 11851 3382 1 - 30.0000 -
1037.47/1041.73 c 1042 11984 3374 1 - 30.0000 -
1042.66/1046.96 c 1047 12107 3359 1 - 30.0000 -
1047.94/1052.24 c 1052 12220 3358 1 - 30.0000 -
1053.53/1057.82 c 1058 12315 3388 1 - 30.0000 -
1058.92/1063.24 c 1063 12402 3379 1 - 30.0000 -
1064.91/1069.29 c 1069 12471 3370 1 - 30.0000 -
1070.50/1074.87 c 1075 12561 3381 1 - 30.0000 -
1076.58/1080.90 c 1081 12625 3396 1 - 30.0000 -
1081.67/1086.10 c 1086 12677 3404 1 - 30.0000 -
1087.25/1091.69 c 1092 12749 3420 1 - 30.0000 -
1092.83/1097.20 c 1097 12843 3435 1 - 30.0000 -
1097.81/1102.22 c 1102 12914 3445 1 - 30.0000 -
1103.40/1107.85 c 1108 12984 3453 1 - 30.0000 -
1108.59/1113.04 c 1113 13086 3451 1 - 30.0000 -
1114.27/1118.73 c 1119 13215 3464 1 - 30.0000 -
1119.56/1124.07 c 1124 13323 3480 1 - 30.0000 -
1124.94/1129.40 c 1129 13436 3493 1 - 30.0000 -
1130.53/1135.02 c 1135 13587 3489 1 - 30.0000 -
1141.49/1146.09 c 1146 13643 3485 1 - 30.0000 -
1147.37/1151.97 c 1152 13752 3497 1 - 30.0000 -
1153.25/1157.89 c 1158 13856 3514 1 - 30.0000 -
1158.74/1163.39 c 1163 13971 3513 1 - 30.0000 -
1164.32/1168.95 c 1169 14075 3523 1 - 30.0000 -
1170.30/1174.94 c 1175 14194 3525 1 - 30.0000 -
1175.89/1180.58 c 1181 14309 3532 1 - 30.3333 -
1180.98/1185.67 c 1186 14401 3539 1 - 31.0000 -
1186.37/1191.01 c 1191 14498 3537 1 - 31.0000 -
1191.46/1196.16 c 1196 14579 3545 1 - 31.0000 -
1196.61/1201.35 c 1201 14687 3543 1 - 31.0000 -
1201.86/1206.65 c 1207 14790 3562 1 - 31.0000 -
1207.80/1212.64 c 1213 14895 3597 1 - 31.0000 -
1213.07/1217.95 c 1218 15008 3618 1 - 31.0000 -
1219.05/1223.95 c 1224 15088 3633 1 - 31.0000 -
1224.63/1229.56 c 1230 15203 3634 1 - 31.0000 -
1230.32/1235.25 c 1235 15262 3674 1 - 31.0000 -
1236.51/1241.43 c 1241 15385 3665 1 - 31.0000 -
1241.99/1246.99 c 1247 15498 3678 1 - 31.0000 -
1248.08/1253.06 c 1253 15616 3676 1 - 31.0000 -
1253.47/1258.41 c 1258 15714 3691 1 - 31.0000 -
1259.06/1264.10 c 1264 15794 3709 1 - 31.0000 -
1264.54/1269.58 c 1270 15927 3709 1 - 31.0000 -
1270.03/1275.06 c 1275 16023 3713 1 - 31.0000 -
1275.51/1280.51 c 1281 16131 3702 1 - 31.0000 -
1280.79/1285.88 c 1286 16223 3728 1 - 31.0000 -
1285.88/1290.99 c 1291 16273 3760 1 - 31.0000 -
1291.96/1297.09 c 1297 16323 3798 1 - 31.0000 -
1297.44/1302.51 c 1303 16375 3799 1 - 31.0000 -
1303.33/1308.42 c 1308 16413 3833 1 - 31.0000 -
1309.41/1314.52 c 1315 16442 3860 1 - 31.0000 -
1314.60/1319.78 c 1320 16492 3883 1 - 31.0000 -
1320.28/1325.44 c 1325 16575 3905 1 - 31.0000 -
1325.66/1330.88 c 1331 16679 3909 1 - 31.0000 -
1331.05/1336.28 c 1336 16767 3919 1 - 31.0000 -
1337.23/1342.49 c 1342 16878 3918 1 - 31.0000 -
1342.52/1347.79 c 1348 16913 3941 1 - 31.0000 -
1348.11/1353.32 c 1353 16954 3966 1 - 31.0000 -
1353.80/1359.00 c 1359 17029 3990 1 - 31.0000 -
1359.58/1364.80 c 1365 17112 4012 1 - 31.0000 -
1364.77/1370.00 c 1370 17169 4030 1 - 31.0000 -
1369.95/1375.29 c 1375 17244 4040 1 - 31.0000 -
1375.84/1381.12 c 1381 17287 4057 1 - 31.0000 -
1381.13/1386.41 c 1386 17385 4090 1 - 31.0000 -
1387.32/1392.65 c 1393 17394 4093 1 - 31.0000 -
1393.50/1398.81 c 1399 17495 4118 1 - 31.0000 -
1400.89/1406.24 c 1406 17570 4133 1 - 31.3333 -
1406.37/1411.72 c 1412 17647 4131 1 - 32.0000 -
1411.35/1416.73 c 1417 17724 4142 1 - 32.0000 -
1421.42/1426.88 c 1427 17761 4150 1 - 32.0000 -
1426.91/1432.37 c 1432 17843 4164 1 - 32.0000 -
1432.00/1437.47 c 1437 17960 4166 1 - 32.0000 -
1437.69/1443.15 c 1443 18083 4180 1 - 32.0000 -
1442.87/1448.37 c 1448 18177 4175 1 - 32.0000 -
1448.15/1453.65 c 1454 18318 4149 1 - 32.0000 -
1454.13/1459.63 c 1460 18401 4168 1 - 32.0000 -
1460.31/1465.87 c 1466 18473 4174 1 - 32.0000 -
1465.90/1471.48 c 1471 18582 4172 1 - 32.0000 -
1470.99/1476.57 c 1477 18639 4188 1 - 32.0000 -
1476.98/1482.54 c 1483 18711 4210 1 - 32.0000 -
1482.57/1488.14 c 1488 18794 4240 1 - 32.0000 -
1488.56/1494.16 c 1494 18844 4270 1 - 32.0000 -
1494.34/1499.92 c 1500 18935 4296 1 - 32.0000 -
1500.63/1506.24 c 1506 18993 4313 1 - 32.0000 -
1506.02/1511.63 c 1512 19063 4335 1 - 32.0000 -
1511.60/1517.20 c 1517 19153 4340 1 - 32.0000 -
1517.39/1523.00 c 1523 19229 4363 1 - 32.0000 -
1523.17/1528.86 c 1529 19299 4394 1 - 32.0000 -
1528.36/1534.09 c 1534 19337 4415 1 - 32.0000 -
1533.45/1539.10 c 1539 19393 4428 1 - 32.0000 -
1539.44/1545.12 c 1545 19469 4434 1 - 32.0000 -
1544.83/1550.54 c 1551 19548 4459 1 - 32.0000 -
1550.01/1555.74 c 1556 19646 4485 1 - 32.0000 -
1556.00/1561.72 c 1562 19740 4501 1 - 32.0000 -
1561.78/1567.56 c 1568 19820 4519 1 - 32.0000 -
1567.07/1572.89 c 1573 19894 4551 1 - 32.0000 -
1572.56/1578.31 c 1578 19986 4560 1 - 32.0000 -
1578.26/1584.10 c 1584 20054 4576 1 - 32.0000 -
1584.14/1589.91 c 1590 20117 4601 1 - 32.0000 -
1589.42/1595.24 c 1595 20205 4620 1 - 32.0000 -
1595.21/1601.05 c 1601 20290 4632 1 - 32.0000 -
1600.59/1606.45 c 1606 20404 4657 1 - 32.0000 -
1605.78/1611.64 c 1612 20453 4674 1 - 32.0000 -
1611.07/1616.92 c 1617 20543 4679 1 - 32.0000 -
1616.96/1622.88 c 1623 20643 4695 1 - 32.0000 -
1627.84/1633.77 c 1634 20690 4707 1 - 32.0000 -
1633.62/1639.55 c 1640 20743 4725 1 - 32.0000 -
1639.31/1645.23 c 1645 20826 4742 1 - 32.0000 -
1644.69/1650.66 c 1651 20879 4762 1 - 32.0000 -
1650.09/1656.02 c 1656 20988 4767 1 - 32.0000 -
1655.47/1661.46 c 1661 21090 4777 1 - 32.0000 -
1660.86/1666.88 c 1667 21185 4785 1 - 32.0000 -
1666.45/1672.44 c 1672 21251 4797 1 - 32.0000 -
1671.74/1677.74 c 1678 21342 4814 1 - 32.0000 -
1677.03/1683.09 c 1683 21422 4824 1 - 32.0000 -
1682.81/1688.81 c 1689 21505 4824 1 - 32.0000 -
1688.20/1694.24 c 1694 21601 4838 1 - 32.0000 -
1693.58/1699.67 c 1700 21710 4837 1 - 32.0000 -
1698.77/1704.84 c 1705 21808 4837 1 - 32.0000 -
1705.16/1711.22 c 1711 21866 4851 1 - 32.0000 -
1710.84/1716.99 c 1717 21949 4844 1 - 32.0000 -
1716.04/1722.12 c 1722 22014 4851 1 - 32.0000 -
1721.23/1727.37 c 1727 22105 4860 1 - 32.0000 -
1727.21/1733.31 c 1733 22227 4865 1 - 32.0000 -
1732.80/1738.99 c 1739 22279 4893 1 - 32.0000 -
1738.48/1744.62 c 1745 22359 4914 1 - 32.0000 -
1743.88/1750.09 c 1750 22440 4922 1 - 32.0000 -
1749.36/1755.56 c 1756 22551 4920 1 - 32.0000 -
1757.84/1764.00 c 1764 22591 4917 1 - 32.0000 -
1763.42/1769.69 c 1770 22671 4941 1 - 32.0000 -
1769.11/1775.30 c 1775 22773 4952 1 - 32.0000 -
1774.49/1780.77 c 1781 22879 4950 1 - 32.0000 -
1779.89/1786.17 c 1786 22964 4959 1 - 32.0000 -
1784.88/1791.19 c 1791 23021 4983 1 - 32.0000 -
1790.26/1796.57 c 1797 23120 4987 1 - 32.0000 -
1795.94/1802.24 c 1802 23193 5011 1 - 32.0000 -
1801.23/1807.52 c 1808 23302 5021 1 - 32.0000 -
1806.62/1812.96 c 1813 23428 5002 1 - 32.0000 -
1811.71/1818.03 c 1818 23493 5024 1 - 32.0000 -
1817.10/1823.41 c 1823 23546 5037 1 - 32.0000 -
1823.98/1830.37 c 1830 23612 5054 1 - 32.0000 -
1829.67/1836.08 c 1836 23703 5076 1 - 32.0000 -
1835.65/1842.05 c 1842 23766 5085 1 - 32.0000 -
1842.04/1848.41 c 1848 23859 5101 1 - 32.0000 -
1847.43/1853.87 c 1854 23939 5095 1 - 32.0000 -
1852.92/1859.38 c 1859 24003 5105 1 - 32.0000 -
1858.81/1865.27 c 1865 24120 5109 1 - 32.0000 -
1864.19/1870.65 c 1871 24190 5129 1 - 32.0000 -
1869.58/1876.10 c 1876 24269 5143 1 - 32.0000 -
1875.46/1881.94 c 1882 24296 5148 1 - 32.0000 -
1881.05/1887.59 c 1888 24434 5145 1 - 32.0000 -
1886.83/1893.33 c 1893 24562 5140 1 - 32.0000 -
1892.12/1898.64 c 1899 24709 5126 1 - 32.0000 -
1897.31/1903.87 c 1904 24816 5127 1 - 32.0000 -
1902.31/1908.89 c 1909 24936 5119 1 - 32.0000 -
1907.60/1914.16 c 1914 25039 5109 1 - 32.0000 -
1912.88/1919.44 c 1919 25132 5127 1 - 32.0000 -
1918.37/1924.97 c 1925 25229 5136 1 - 32.0000 -
1924.15/1930.70 c 1931 25342 5147 1 - 32.0000 -
1929.24/1935.81 c 1936 25419 5146 1 - 32.0000 -
1934.23/1940.87 c 1941 25559 5141 1 - 32.0000 -
1940.11/1946.78 c 1947 25637 5140 1 - 32.0000 -
1945.50/1952.14 c 1952 25685 5143 1 - 32.0000 -
1951.09/1957.74 c 1958 25778 5155 1 - 32.5000 -
1956.17/1962.87 c 1963 25868 5170 1 - 33.0000 -
1961.47/1968.16 c 1968 25977 5180 1 - 33.0000 -
1966.85/1973.58 c 1974 26073 5198 1 - 33.0000 -
1972.34/1979.00 c 1979 26179 5209 1 - 33.0000 -
1978.12/1984.88 c 1985 26255 5238 1 - 33.0000 -
1983.61/1990.39 c 1990 26350 5249 1 - 33.0000 -
1989.10/1995.85 c 1996 26428 5260 1 - 33.0000 -
1994.59/2001.36 c 2001 26447 5270 1 - 33.0000 -
2000.29/2007.01 c 2007 26495 5280 1 - 33.0000 -
2005.77/2012.50 c 2012 26576 5298 1 - 33.0000 -
2011.16/2017.94 c 2018 26681 5306 1 - 33.0000 -
2016.64/2023.42 c 2023 26773 5318 1 - 33.0000 -
2022.13/2028.93 c 2029 26880 5317 1 - 33.0000 -
2027.32/2034.16 c 2034 26967 5331 1 - 33.0000 -
2033.40/2040.22 c 2040 27091 5341 1 - 33.0000 -
2039.09/2045.94 c 2046 27224 5327 1 - 33.0000 -
2045.08/2051.91 c 2052 27309 5341 1 - 33.0000 -
2050.56/2057.48 c 2057 27439 5361 1 - 33.0000 -
2056.25/2063.18 c 2063 27573 5369 1 - 33.0000 -
2061.53/2068.44 c 2068 27674 5365 1 - 34.0000 -
2067.52/2074.45 c 2074 27781 5368 1 - 34.0000 -
2072.81/2079.71 c 2080 27860 5378 1 - 34.0000 -
2078.40/2085.30 c 2085 27931 5402 1 - 34.0000 -
2083.39/2090.35 c 2090 27993 5395 1 - 34.0000 -
2088.58/2095.50 c 2096 28111 5406 1 - 34.0000 -
2093.97/2100.94 c 2101 28223 5420 1 - 34.0000 -
2099.95/2106.91 c 2107 28333 5392 1 - 34.0000 -
2105.24/2112.26 c 2112 28360 5394 1 - 34.0000 -
2110.63/2117.62 c 2118 28467 5375 1 - 34.0000 -
2115.81/2122.85 c 2123 28560 5382 1 - 34.0000 -
2121.00/2128.00 c 2128 28589 5408 1 - 34.0000 -
2126.59/2133.63 c 2134 28678 5434 1 - 34.0000 -
2131.77/2138.82 c 2139 28802 5434 1 - 34.0000 -
2136.97/2144.04 c 2144 28952 5432 1 - 34.0000 -
2142.06/2149.19 c 2149 29044 5441 1 - 34.0000 -
2147.75/2154.83 c 2155 29107 5462 1 - 34.0000 -
2152.94/2160.08 c 2160 29233 5468 1 - 34.0000 -
2158.32/2165.43 c 2165 29341 5487 1 - 34.0000 -
2163.51/2170.69 c 2171 29422 5497 1 - 34.0000 -
2168.80/2175.93 c 2176 29493 5519 1 - 34.0000 -
2173.89/2181.09 c 2181 29581 5528 1 - 34.0000 -
2179.37/2186.58 c 2187 29681 5534 1 - 34.0000 -
2184.66/2191.80 c 2192 29789 5542 1 - 34.0000 -
2190.14/2197.34 c 2197 29884 5547 1 - 34.0000 -
2195.33/2202.56 c 2203 29988 5543 1 - 34.0000 -
2200.72/2207.96 c 2208 30132 5534 1 - 34.0000 -
2213.59/2220.88 c 2221 30204 5556 1 - 34.0000 -
2219.17/2226.43 c 2226 30338 5538 1 - 34.0000 -
2224.36/2231.60 c 2232 30466 5518 1 - 34.0000 -
2229.46/2236.78 c 2237 30586 5510 1 - 34.0000 -
2234.85/2242.14 c 2242 30675 5538 1 - 34.0000 -
2240.13/2247.43 c 2247 30800 5536 1 - 34.0000 -
2245.32/2252.68 c 2253 30889 5547 1 - 34.0000 -
2250.61/2257.90 c 2258 31023 5541 1 - 34.0000 -
2255.59/2262.96 c 2263 31144 5550 1 - 34.0000 -
2260.88/2268.20 c 2268 31305 5521 1 - 34.0000 -
2266.27/2273.68 c 2274 31434 5511 1 - 34.0000 -
2271.36/2278.75 c 2279 31531 5506 1 - 34.0000 -
2277.54/2284.91 c 2285 31609 5525 1 - 34.0000 -
2282.83/2290.26 c 2290 31699 5550 1 - 34.0000 -
2288.32/2295.72 c 2296 31813 5543 1 - 34.0000 -
2293.62/2301.04 c 2301 31888 5547 1 - 34.0000 -
2298.90/2306.30 c 2306 32014 5570 1 - 34.0000 -
2304.59/2312.03 c 2312 32123 5569 1 - 34.0000 -
2310.07/2317.59 c 2318 32217 5572 1 - 34.0000 -
2315.56/2323.05 c 2323 32344 5583 1 - 34.0000 -
2321.35/2328.84 c 2329 32453 5585 1 - 34.0000 -
2326.43/2333.90 c 2334 32534 5591 1 - 34.0000 -
2331.63/2339.12 c 2339 32660 5597 1 - 34.0000 -
2337.21/2344.70 c 2345 32772 5613 1 - 34.0000 -
2342.50/2350.00 c 2350 32854 5639 1 - 34.0000 -
2347.78/2355.30 c 2355 32960 5653 1 - 34.0000 -
2357.06/2364.65 c 2365 33048 5655 1 - 34.0000 -
2362.55/2370.10 c 2370 33146 5654 1 - 34.0000 -
2368.04/2375.68 c 2376 33234 5671 1 - 34.0000 -
2373.82/2381.45 c 2381 33286 5689 1 - 34.0000 -
2379.21/2386.81 c 2387 33386 5698 1 - 34.0000 -
2384.60/2392.21 c 2392 33494 5705 1 - 34.0000 -
2390.09/2397.71 c 2398 33573 5716 1 - 34.0000 -
2395.57/2403.22 c 2403 33627 5729 1 - 34.0000 -
2400.96/2408.64 c 2409 33731 5732 1 - 34.0000 -
2406.25/2413.94 c 2414 33820 5735 1 - 34.0000 -
2411.84/2419.52 c 2420 33902 5754 1 - 34.0000 -
2417.12/2424.85 c 2425 34004 5781 1 - 34.0000 -
2422.81/2430.52 c 2431 34088 5825 1 - 34.0000 -
2427.90/2435.69 c 2436 34203 5846 1 - 34.0000 -
2433.09/2440.87 c 2441 34333 5863 1 - 34.0000 -
2438.28/2446.06 c 2446 34438 5875 1 - 34.0000 -
2443.46/2451.26 c 2451 34543 5888 1 - 34.0000 -
2448.85/2456.69 c 2457 34646 5891 1 - 34.0000 -
2454.14/2461.92 c 2462 34727 5891 1 - 34.0000 -
2459.33/2467.19 c 2467 34821 5904 1 - 34.0000 -
2464.41/2472.30 c 2472 34920 5926 1 - 34.0000 -
2469.60/2477.47 c 2477 35064 5927 1 - 34.0000 -
2474.89/2482.77 c 2483 35212 5922 1 - 34.0000 -
2480.18/2488.02 c 2488 35332 5935 1 - 34.0000 -
2491.95/2499.86 c 2500 35464 5944 1 - 34.0000 -
2497.73/2505.67 c 2506 35603 5965 1 - 34.0000 -
2502.92/2510.80 c 2511 35755 5965 1 - 34.0000 -
2508.32/2516.25 c 2516 35869 5967 1 - 34.0000 -
2513.90/2521.80 c 2522 35993 5974 1 - 34.0000 -
2519.09/2527.09 c 2527 36158 5937 1 - 34.0000 -
2524.38/2532.33 c 2532 36286 5954 1 - 34.0000 -
2529.86/2537.83 c 2538 36414 5964 1 - 34.0000 -
2535.05/2543.06 c 2543 36551 5976 1 - 34.0000 -
2540.73/2548.78 c 2549 36728 5952 1 - 34.0000 -
2546.22/2554.28 c 2554 36889 5945 1 - 34.0000 -
2551.81/2559.81 c 2560 36980 5959 1 - 34.0000 -
2557.10/2565.11 c 2565 37124 5955 1 - 34.0000 -
2562.48/2570.53 c 2571 37234 5965 1 - 34.0000 -
2567.67/2575.76 c 2576 37352 5972 1 - 34.0000 -
2572.97/2581.06 c 2581 37490 5968 1 - 34.0000 -
2578.15/2586.22 c 2586 37587 5980 1 - 34.0000 -
2583.74/2591.82 c 2592 37724 5964 1 - 34.0000 -
2588.83/2596.99 c 2597 37852 5973 1 - 34.0000 -
2594.12/2602.23 c 2602 37949 5963 1 - 34.0000 -
2600.40/2608.52 c 2609 38068 5984 1 - 34.0000 -
2605.69/2613.84 c 2614 38182 5999 1 - 34.0000 -
2611.38/2619.54 c 2620 38368 5973 1 - 34.0000 -
2616.87/2625.07 c 2625 38506 5979 1 - 34.0000 -
2622.15/2630.38 c 2630 38605 5981 1 - 34.0000 -
2627.33/2635.52 c 2636 38747 5959 1 - 34.0000 -
2632.93/2641.15 c 2641 38899 5947 1 - 34.0000 -
2638.31/2646.59 c 2647 39034 5945 1 - 34.0000 -
2644.40/2652.64 c 2653 39096 5973 1 - 34.0000 -
2649.59/2657.83 c 2658 39232 5948 1 - 34.0000 -
2654.68/2662.99 c 2663 39363 5942 1 - 34.0000 -
2659.87/2668.16 c 2668 39453 5941 1 - 34.0000 -
2665.45/2673.80 c 2674 39603 5932 1 - 34.0000 -
2670.74/2679.01 c 2679 39712 5942 1 - 34.0000 -
2675.83/2684.13 c 2684 39872 5941 1 - 34.0000 -
2681.01/2689.35 c 2689 40003 5946 1 - 34.0000 -
2686.40/2694.72 c 2695 40126 5948 1 - 34.0000 -
2692.09/2700.49 c 2700 40210 5980 1 - 34.0000 -
2697.58/2705.96 c 2706 40364 5959 1 - 34.0000 -
2703.06/2711.46 c 2711 40488 5980 1 - 34.0000 -
2708.55/2716.96 c 2717 40542 5994 1 - 34.0000 -
2714.04/2722.49 c 2722 40674 5990 1 - 34.0000 -
2719.32/2727.71 c 2728 40798 5984 1 - 34.0000 -
2724.91/2733.34 c 2733 40925 5971 1 - 34.0000 -
2730.30/2738.76 c 2739 41049 5960 1 - 34.0000 -
2736.49/2744.91 c 2745 41193 5976 1 - 34.0000 -
2741.88/2750.34 c 2750 41343 5986 1 - 34.0000 -
2751.06/2759.57 c 2760 41406 5991 1 - 34.0000 -
2756.74/2765.22 c 2765 41463 6021 1 - 34.0000 -
2762.03/2770.52 c 2771 41585 6045 1 - 34.0000 -
2767.31/2775.89 c 2776 41719 6045 1 - 34.0000 -
2773.20/2781.71 c 2782 41854 6049 1 - 34.0000 -
2778.19/2786.73 c 2787 41964 6058 1 - 34.0000 -
2783.67/2792.29 c 2792 42069 6076 1 - 34.0000 -
2789.57/2798.19 c 2798 42172 6090 1 - 34.0000 -
2794.75/2803.39 c 2803 42269 6111 1 - 34.0000 -
2800.04/2808.64 c 2809 42373 6121 1 - 34.0000 -
2805.22/2813.87 c 2814 42513 6146 1 - 34.0000 -
2810.42/2819.06 c 2819 42642 6159 1 - 34.0000 -
2816.00/2824.66 c 2825 42698 6193 1 - 34.0000 -
2822.09/2830.76 c 2831 42789 6216 1 - 34.0000 -
2827.68/2836.34 c 2836 42885 6227 1 - 34.0000 -
2833.06/2841.75 c 2842 42968 6239 1 - 34.0000 -
2838.46/2847.16 c 2847 43060 6249 1 - 34.0000 -
2844.04/2852.79 c 2853 43161 6265 1 - 34.0000 -
2849.22/2857.98 c 2858 43267 6280 1 - 34.0000 -
2854.81/2863.55 c 2864 43383 6295 1 - 34.0000 -
2860.70/2869.47 c 2869 43473 6319 1 - 34.0000 -
2865.89/2874.69 c 2875 43546 6336 1 - 34.0000 -
2870.98/2879.79 c 2880 43686 6324 1 - 34.0000 -
2876.86/2885.65 c 2886 43809 6341 1 - 34.0000 -
2882.05/2890.87 c 2891 43938 6349 1 - 34.0000 -
2887.43/2896.26 c 2896 44053 6353 1 - 34.0000 -
2892.82/2901.65 c 2902 44119 6379 1 - 34.0000 -
2898.71/2907.59 c 2908 44223 6393 1 - 34.0000 -
2904.20/2913.10 c 2913 44362 6392 1 - 34.0000 -
2909.98/2918.85 c 2919 44443 6419 1 - 34.0000 -
2915.58/2924.41 c 2924 44547 6436 1 - 34.0000 -
2921.36/2930.26 c 2930 44667 6441 1 - 34.0000 -
2926.45/2935.37 c 2935 44799 6453 1 - 34.0000 -
2931.64/2940.55 c 2941 44916 6453 1 - 34.0000 -
2937.13/2946.02 c 2946 45092 6435 1 - 34.0000 -
2942.71/2951.64 c 2952 45181 6435 1 - 34.0000 -
2948.00/2956.91 c 2957 45299 6414 1 - 34.0000 -
2952.99/2961.98 c 2962 45395 6433 1 - 34.0000 -
2959.08/2968.10 c 2968 45553 6429 1 - 34.0000 -
2964.36/2973.38 c 2973 45689 6432 1 - 34.0000 -
2970.25/2979.23 c 2979 45862 6405 1 - 35.0000 -
2975.73/2984.76 c 2985 46002 6407 1 - 35.0000 -
2980.82/2989.88 c 2990 46137 6403 1 - 35.0000 -
2985.91/2994.99 c 2995 46306 6368 1 - 35.0000 -
2991.40/3000.44 c 3000 46393 6398 1 - 35.0000 -
2996.79/3005.80 c 3006 46513 6427 1 - 35.0000 -
3002.27/3011.33 c 3011 46583 6460 1 - 35.0000 -
3007.46/3016.50 c 3016 46664 6479 1 - 35.0000 -
3012.65/3021.72 c 3022 46783 6476 1 - 35.0000 -
3018.53/3027.60 c 3028 46868 6460 1 - 35.0000 -
3023.92/3033.08 c 3033 47004 6452 1 - 35.0000 -
3029.11/3038.23 c 3038 47118 6451 1 - 35.0000 -
3034.70/3043.80 c 3044 47210 6440 1 - 35.0000 -
3039.79/3048.96 c 3049 47328 6447 1 - 35.0000 -
3045.78/3054.91 c 3055 47467 6422 1 - 35.0000 -
3051.16/3060.30 c 3060 47587 6411 1 - 35.0000 -
3056.65/3065.88 c 3066 47680 6429 1 - 35.0000 -
3062.14/3071.33 c 3071 47822 6434 1 - 35.0000 -
3067.23/3076.48 c 3076 47909 6436 1 - 35.0000 -
3072.61/3081.85 c 3082 48021 6443 1 - 35.0000 -
3078.50/3087.71 c 3088 48144 6450 1 - 35.0000 -
3084.98/3094.27 c 3094 48213 6454 1 - 35.0000 -
3090.17/3099.49 c 3099 48383 6427 1 - 35.0000 -
3096.16/3105.41 c 3105 48492 6427 1 - 35.0000 -
3101.24/3110.57 c 3111 48633 6426 1 - 35.0000 -
3106.34/3115.69 c 3116 48778 6426 1 - 35.0000 -
3111.92/3121.25 c 3121 48878 6443 1 - 35.0000 -
3117.61/3126.92 c 3127 48996 6453 1 - 35.0000 -
3122.81/3132.17 c 3132 49063 6464 1 - 35.0000 -
3127.99/3137.35 c 3137 49122 6484 1 - 35.0000 -
3133.87/3143.27 c 3143 49231 6474 1 - 35.0000 -
3139.16/3148.55 c 3149 49341 6473 1 - 35.0000 -
3144.35/3153.73 c 3154 49428 6489 1 - 35.0000 -
3149.93/3159.37 c 3159 49541 6502 1 - 35.0000 -
3155.42/3164.84 c 3165 49689 6468 1 - 35.0000 -
3161.40/3170.82 c 3171 49779 6479 1 - 35.0000 -
3167.30/3176.74 c 3177 49883 6495 1 - 35.0000 -
3173.18/3182.66 c 3183 49959 6521 1 - 35.0000 -
3178.47/3187.94 c 3188 50058 6525 1 - 35.0000 -
3183.55/3193.10 c 3193 50192 6505 1 - 35.0000 -
3189.04/3198.59 c 3199 50315 6513 1 - 35.0000 -
3194.82/3204.35 c 3204 50394 6528 1 - 35.0000 -
3200.11/3209.69 c 3210 50463 6538 1 - 35.0000 -
3205.60/3215.18 c 3215 50597 6572 1 - 35.0000 -
3210.78/3220.36 c 3220 50734 6559 1 - 35.0000 -
3216.08/3225.68 c 3226 50871 6538 1 - 35.0000 -
3230.45/3240.04 c 3240 50876 6535 1 - 35.0000 -
3235.73/3245.33 c 3245 50986 6550 1 - 35.0000 -
3241.12/3250.73 c 3251 51106 6556 1 - 35.0000 -
3246.60/3256.20 c 3256 51204 6546 1 - 35.0000 -
3251.69/3261.32 c 3261 51327 6546 1 - 35.0000 -
3257.68/3267.32 c 3267 51442 6538 1 - 35.0000 -
3263.16/3272.83 c 3273 51551 6538 1 - 35.0000 -
3268.75/3278.43 c 3278 51659 6542 1 - 35.0000 -
3274.44/3284.10 c 3284 51781 6556 1 - 35.0000 -
3279.82/3289.54 c 3290 51920 6563 1 - 35.0000 -
3285.21/3294.91 c 3295 52090 6568 1 - 35.0000 -
3290.60/3300.31 c 3300 52278 6549 1 - 35.0000 -
3295.79/3305.58 c 3306 52426 6541 1 - 35.0000 -
3301.08/3310.82 c 3311 52562 6515 1 - 35.0000 -
3306.17/3315.92 c 3316 52728 6495 1 - 35.0000 -
3311.55/3321.33 c 3321 52872 6485 1 - 35.0000 -
3316.64/3326.42 c 3326 53045 6448 1 - 35.0000 -
3322.02/3331.85 c 3332 53183 6429 1 - 35.0000 -
3327.22/3337.05 c 3337 53340 6425 1 - 35.0000 -
3333.10/3342.91 c 3343 53458 6407 1 - 35.0000 -
3340.29/3350.14 c 3350 53493 6399 1 - 35.0000 -
3345.67/3355.54 c 3356 53664 6385 1 - 35.0000 -
3351.05/3360.92 c 3361 53826 6393 1 - 35.0000 -
3356.45/3366.36 c 3366 53948 6393 1 - 35.0000 -
3361.64/3371.56 c 3372 54085 6400 1 - 35.0000 -
3367.62/3377.58 c 3378 54223 6407 1 - 35.0000 -
3372.91/3382.88 c 3383 54373 6389 1 - 35.0000 -
3378.30/3388.24 c 3388 54498 6372 1 - 35.0000 -
3384.09/3394.06 c 3394 54664 6353 1 - 35.0000 -
3390.07/3400.01 c 3400 54834 6362 1 - 35.0000 -
3395.46/3405.49 c 3405 54947 6358 1 - 35.0000 -
3401.15/3411.18 c 3411 55064 6345 1 - 35.0000 -
3406.44/3416.43 c 3416 55248 6342 1 - 35.0000 -
3411.62/3421.64 c 3422 55394 6341 1 - 35.0000 -
3416.91/3426.90 c 3427 55542 6324 1 - 35.0000 -
3422.49/3432.50 c 3432 55707 6303 1 - 35.5000 -
3428.09/3438.16 c 3438 55898 6276 1 - 36.0000 -
3433.97/3444.03 c 3444 56036 6294 1 - 36.0000 -
3439.75/3449.86 c 3450 56137 6310 1 - 36.0000 -
3445.14/3455.22 c 3455 56272 6298 1 - 36.0000 -
3450.83/3460.91 c 3461 56393 6289 1 - 36.0000 -
3456.42/3466.54 c 3467 56519 6290 1 - 36.0000 -
3461.92/3472.08 c 3472 56632 6302 1 - 36.0000 -
3467.70/3477.81 c 3478 56756 6312 1 - 36.0000 -
3472.99/3483.12 c 3483 56887 6325 1 - 36.0000 -
3478.67/3488.82 c 3489 56996 6315 1 - 36.0000 -
3483.87/3494.09 c 3494 57103 6316 1 - 36.0000 -
3489.35/3499.54 c 3500 57229 6327 1 - 36.0000 -
3494.54/3504.78 c 3505 57373 6315 1 - 36.0000 -
3499.83/3510.09 c 3510 57471 6322 1 - 36.0000 -
3506.31/3516.59 c 3517 57564 6368 1 - 36.0000 -
3512.40/3522.67 c 3523 57688 6387 1 - 36.0000 -
3518.38/3528.62 c 3529 57754 6401 1 - 36.0000 -
3524.37/3534.60 c 3535 57831 6418 1 - 36.0000 -
3529.76/3540.03 c 3540 57900 6445 1 - 36.0000 -
3535.15/3545.42 c 3545 57939 6454 1 - 36.0000 -
3540.73/3551.00 c 3551 58047 6476 1 - 36.0000 -
3546.01/3556.38 c 3556 58168 6500 1 - 36.0000 -
3552.00/3562.37 c 3562 58258 6520 1 - 36.0000 -
3557.29/3567.69 c 3568 58379 6524 1 - 36.0000 -
3562.58/3572.94 c 3573 58463 6539 1 - 36.0000 -
3567.77/3578.14 c 3578 58575 6551 1 - 36.0000 -
3573.45/3583.80 c 3584 58718 6556 1 - 36.0000 -
3578.64/3589.00 c 3589 58797 6567 1 - 36.0000 -
3583.83/3594.27 c 3594 58938 6566 1 - 36.0000 -
3587.73/3598.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.73/3598.18 c Total Time : 3598.1700
3587.73/3598.18 c solving : 3598.1700
3587.73/3598.18 c presolving : 1.3314 (included in solving)
3587.73/3598.18 c B&B Tree :
3587.73/3598.18 c nodes (total) : 1
3587.73/3598.18 c Solution :
3587.73/3598.18 c Solutions found : 0
3587.73/3598.18 c Primal Bound : -
3587.73/3598.18 c Dual Bound : +3.60000000000000e+01
3587.73/3598.18 c Gap : -
3587.82/3598.23 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (56221 MiB free)
memory of node 1: 64473 MiB (62747 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464011-1722378597/watcher-4464011-1722378597 -o /tmp/evaluation-result-4464011-1722378597/solver-4464011-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30072 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464011-1722378597.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30115, runsolver pid=30110
[startup+0.10013 s]*
/proc/loadavg: 0.13 0.10 0.09 6/261 30136
/proc/meminfo: memFree=121704568/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=44732 memory=33304 CPUtime=0.09 cores=1,3
/proc/30115/stat : 30115 (fscip) R 30110 30115 30060 0 -1 4194304 6217 0 0 0 9 0 0 0 20 0 1 0 4464315 45805568 8326 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 11183 8326 2347 3035 0 7579 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 33304 KiB
[startup+0.206221 s]*
/proc/loadavg: 0.13 0.10 0.09 6/261 30136
/proc/meminfo: memFree=121552464/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=123888 memory=110876 CPUtime=0.2 cores=1,3
/proc/30115/stat : 30115 (fscip) R 30110 30115 30060 0 -1 4194304 26572 0 0 0 17 3 0 0 20 0 1 0 4464315 126861312 27719 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 30972 27719 2555 3035 0 27368 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 123888 KiB
Current children cumulated memory: 110876 KiB
[startup+0.306221 s]*
/proc/loadavg: 0.13 0.10 0.09 6/257 30136
/proc/meminfo: memFree=121480816/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=172756 memory=157744 CPUtime=0.3 cores=1,3
/proc/30115/stat : 30115 (fscip) R 30110 30115 30060 0 -1 4194304 40578 0 0 0 25 5 0 0 20 0 1 0 4464315 176902144 39436 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 43189 39436 2630 3035 0 39585 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 172756 KiB
Current children cumulated memory: 157744 KiB
[startup+0.700159 s]
/proc/loadavg: 0.13 0.10 0.09 5/254 30144
/proc/meminfo: memFree=121293948/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=255980 memory=240012 CPUtime=0.69 cores=1,3
/proc/30115/stat : 30115 (fscip) R 30110 30115 30060 0 -1 4194304 51127 0 0 0 60 9 0 0 20 0 1 0 4464315 262123520 60003 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 63995 60003 2694 3035 0 60391 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 255980 KiB
Current children cumulated memory: 240012 KiB
[startup+1.50016 s]
/proc/loadavg: 0.44 0.16 0.11 4/255 30171
/proc/meminfo: memFree=120958036/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=331640 memory=315756 CPUtime=1.48 cores=1,3
/proc/30115/stat : 30115 (fscip) R 30110 30115 30060 0 -1 4194304 77783 0 0 0 136 12 0 0 20 0 1 0 4464315 339599360 78939 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 82910 78939 2790 3035 0 79306 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 331640 KiB
Current children cumulated memory: 315756 KiB
[startup+3.10615 s]
/proc/loadavg: 0.44 0.16 0.11 6/265 30188
/proc/meminfo: memFree=120147876/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=610436 memory=504216 CPUtime=3.07 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 118278 0 0 0 289 18 0 0 20 0 3 0 4464315 625086464 126054 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 152609 126054 2806 3035 0 139423 0
[pid=30115/tid=30185] ppid=30110 vsize=610436 memory=0 CPUtime=1.44 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 30861 0 0 0 140 4 0 0 20 0 3 0 4464474 625086464 126054 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=610436 memory=504216 CPUtime=0 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4464483 625086464 126054 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 610436 KiB
Current children cumulated memory: 504216 KiB
[startup+6.30115 s]
/proc/loadavg: 0.89 0.26 0.14 6/265 30244
/proc/meminfo: memFree=120030572/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=675972 memory=582284 CPUtime=6.23 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 152517 0 0 0 601 22 0 0 20 0 3 0 4464315 692195328 145571 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 168993 145571 2934 3035 0 163232 0
[pid=30115/tid=30185] ppid=30110 vsize=675972 memory=12852 CPUtime=4.6 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 65098 0 0 0 452 8 0 0 20 0 3 0 4464474 692195328 145571 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=675972 memory=0 CPUtime=0 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4464483 692195328 145571 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 675972 KiB
Current children cumulated memory: 582284 KiB
[startup+12.7012 s]
/proc/loadavg: 1.22 0.34 0.17 6/265 30246
/proc/meminfo: memFree=119918628/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=807044 memory=692800 CPUtime=12.57 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 211780 0 0 0 1230 27 0 0 20 0 3 0 4464315 826413056 173200 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 201761 173200 2950 3035 0 192151 0
[pid=30115/tid=30185] ppid=30110 vsize=807044 memory=0 CPUtime=10.94 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 124354 0 0 0 1081 13 0 0 20 0 3 0 4464474 826413056 173200 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=807044 memory=4540 CPUtime=0 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4464483 826413056 173200 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 807044 KiB
Current children cumulated memory: 692800 KiB
[startup+25.5011 s]
/proc/loadavg: 1.65 0.46 0.21 6/264 30247
/proc/meminfo: memFree=119914752/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=807044 memory=693232 CPUtime=25.24 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 236697 0 0 0 2495 29 0 0 20 0 3 0 4464315 826413056 173308 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 201761 173308 2998 3035 0 192151 0
[pid=30115/tid=30185] ppid=30110 vsize=807044 memory=693232 CPUtime=23.61 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 149220 0 0 0 2346 15 0 0 20 0 3 0 4464474 826413056 173308 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=807044 memory=693232 CPUtime=0 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4464483 826413056 173308 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 807044 KiB
Current children cumulated memory: 693232 KiB
[startup+51.1061 s]
/proc/loadavg: 2.63 0.82 0.34 6/264 30252
/proc/meminfo: memFree=119882664/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=807044 memory=694272 CPUtime=50.59 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 305018 0 0 0 5025 34 0 0 20 0 3 0 4464315 826413056 173568 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 201761 173568 2998 3035 0 192151 0
[pid=30115/tid=30185] ppid=30110 vsize=807044 memory=694260 CPUtime=48.95 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 217439 0 0 0 4875 20 0 0 20 0 3 0 4464474 826413056 173568 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=807044 memory=694260 CPUtime=0 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4464483 826413056 173568 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 50.59 s
Current children cumulated vsize: 807044 KiB
Current children cumulated memory: 694272 KiB
[startup+102.301 s]
/proc/loadavg: 3.41 1.31 0.53 6/264 30263
/proc/meminfo: memFree=119750812/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=872580 memory=736800 CPUtime=101.23 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 420391 0 0 0 10078 45 0 0 20 0 3 0 4464315 893521920 184200 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 218145 184200 2998 3035 0 212137 0
[pid=30115/tid=30185] ppid=30110 vsize=872580 memory=11592 CPUtime=99.59 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 332706 0 0 0 9929 30 0 0 20 0 3 0 4464474 893521920 184200 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=872580 memory=11592 CPUtime=0 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 4464483 893521920 184200 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 101.23 s
Current children cumulated vsize: 872580 KiB
Current children cumulated memory: 736800 KiB
[startup+162.301 s]
/proc/loadavg: 3.96 1.85 0.77 6/266 30275
/proc/meminfo: memFree=119072488/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=872580 memory=754992 CPUtime=160.56 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 513061 0 0 0 16002 54 0 0 20 0 3 0 4464315 893521920 188748 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 218145 188748 2998 3035 0 212137 0
[pid=30115/tid=30185] ppid=30110 vsize=872580 memory=736808 CPUtime=158.92 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 425305 0 0 0 15853 39 0 0 20 0 3 0 4464474 893521920 188748 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=872580 memory=754992 CPUtime=0 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 4464483 893521920 188748 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 160.56 s
Current children cumulated vsize: 872580 KiB
Current children cumulated memory: 754992 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.26 0.98 5/265 30381
/proc/meminfo: memFree=120312584/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=872580 memory=756764 CPUtime=219.95 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 558288 0 0 0 21938 57 0 0 20 0 3 0 4464315 893521920 189191 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 218145 189191 2998 3035 0 212137 0
[pid=30115/tid=30185] ppid=30110 vsize=872580 memory=755076 CPUtime=218.31 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 470468 0 0 0 21788 43 0 0 20 0 3 0 4464474 893521920 189191 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=872580 memory=756104 CPUtime=0 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 4464483 893521920 189191 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 219.95 s
Current children cumulated vsize: 872580 KiB
Current children cumulated memory: 756764 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.59 1.18 5/266 30393
/proc/meminfo: memFree=120257540/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=872580 memory=756880 CPUtime=279.8 cores=1,3
################
# More data... #
################
[pid=30115] ppid=30110 vsize=1134724 memory=1101516 CPUtime=3392.36 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 1117101 0 0 0 339084 152 0 0 20 0 3 0 4464315 1161957376 275379 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 283681 275379 3014 3035 0 278236 0
[pid=30115/tid=30185] ppid=30110 vsize=1134724 memory=1087040 CPUtime=3390.52 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 1028136 0 0 0 338923 129 0 0 20 0 3 0 4464474 1161957376 275379 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=1134724 memory=1101516 CPUtime=0.03 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 209 0 0 0 1 2 0 0 20 0 3 0 4464483 1161957376 275379 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 1134724 KiB
Current children cumulated memory: 1101516 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.04 5/266 31973
/proc/meminfo: memFree=117712452/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=1134724 memory=1101516 CPUtime=3452.22 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 1122436 0 0 0 345069 153 0 0 20 0 3 0 4464315 1161957376 275379 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 283681 275379 3014 3035 0 278236 0
[pid=30115/tid=30185] ppid=30110 vsize=1134724 memory=1087040 CPUtime=3450.38 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 1033454 0 0 0 344908 130 0 0 20 0 3 0 4464474 1161957376 275379 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=1134724 memory=1101516 CPUtime=0.03 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 211 0 0 0 1 2 0 0 20 0 3 0 4464483 1161957376 275379 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 1134724 KiB
Current children cumulated memory: 1101516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/268 32153
/proc/meminfo: memFree=117658864/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=1200260 memory=1111960 CPUtime=3512.1 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 1129644 0 0 0 351055 155 0 0 20 0 3 0 4464315 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 300065 277990 3014 3035 0 280891 0
[pid=30115/tid=30185] ppid=30110 vsize=1200260 memory=16032 CPUtime=3510.24 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 1040640 0 0 0 350893 131 0 0 20 0 3 0 4464474 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=1200260 memory=-7596564888052393599 CPUtime=0.03 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 215 0 0 0 1 2 0 0 20 0 3 0 4464483 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3512.1 s
Current children cumulated vsize: 1200260 KiB
Current children cumulated memory: 1111960 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.04 5/268 32163
/proc/meminfo: memFree=117617392/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=1200260 memory=1111960 CPUtime=3571.95 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 1137355 0 0 0 357040 155 0 0 20 0 3 0 4464315 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 300065 277990 3014 3035 0 280891 0
[pid=30115/tid=30185] ppid=30110 vsize=1200260 memory=1111960 CPUtime=3570.1 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 1048319 0 0 0 356878 132 0 0 20 0 3 0 4464474 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=1200260 memory=1111960 CPUtime=0.03 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 217 0 0 0 1 2 0 0 20 0 3 0 4464483 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3571.95 s
Current children cumulated vsize: 1200260 KiB
Current children cumulated memory: 1111960 KiB
[startup+3598.24 s]
# the end of solver process 30115 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.3 s, system=1.57045 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.05 4.09 4.04 5/268 32163
/proc/meminfo: memFree=117613868/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=1200260 memory=1111960 CPUtime=3573.66 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 1137370 0 0 0 357211 155 0 0 20 0 3 0 4464315 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 300065 277990 3014 3035 0 280891 0
[pid=30115/tid=30185] ppid=30110 vsize=1200260 memory=2728 CPUtime=3571.8 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 1048334 0 0 0 357048 132 0 0 20 0 3 0 4464474 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=1200260 memory=16032 CPUtime=0.03 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 217 0 0 0 1 2 0 0 20 0 3 0 4464483 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3573.66 s
Current children cumulated vsize: 1200260 KiB
Current children cumulated memory: 1111960 KiB
[startup+3590.4 s]
/proc/loadavg: 4.04 4.09 4.04 5/268 32165
/proc/meminfo: memFree=117610000/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=1200260 memory=1111960 CPUtime=3580.03 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 1137932 0 0 0 357848 155 0 0 20 0 3 0 4464315 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 300065 277990 3014 3035 0 280891 0
[pid=30115/tid=30185] ppid=30110 vsize=1200260 memory=1111960 CPUtime=3578.18 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 1048896 0 0 0 357686 132 0 0 20 0 3 0 4464474 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=1200260 memory=4788 CPUtime=0.03 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 217 0 0 0 1 2 0 0 20 0 3 0 4464483 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3580.03 s
Current children cumulated vsize: 1200260 KiB
Current children cumulated memory: 1111960 KiB
[startup+3593.6 s]
/proc/loadavg: 4.04 4.09 4.04 5/268 32165
/proc/meminfo: memFree=117610024/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=1200260 memory=1111960 CPUtime=3583.23 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 1138191 0 0 0 358168 155 0 0 20 0 3 0 4464315 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 300065 277990 3014 3035 0 280891 0
[pid=30115/tid=30185] ppid=30110 vsize=1200260 memory=11592 CPUtime=3581.37 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 1049155 0 0 0 358005 132 0 0 20 0 3 0 4464474 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=1200260 memory=1111960 CPUtime=0.03 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 217 0 0 0 1 2 0 0 20 0 3 0 4464483 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3583.23 s
Current children cumulated vsize: 1200260 KiB
Current children cumulated memory: 1111960 KiB
[startup+3596.8 s]
/proc/loadavg: 4.04 4.09 4.04 5/268 32165
/proc/meminfo: memFree=117609656/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=1200260 memory=1111960 CPUtime=3586.42 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 1138233 0 0 0 358487 155 0 0 20 0 3 0 4464315 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 300065 277990 3014 3035 0 280891 0
[pid=30115/tid=30185] ppid=30110 vsize=1200260 memory=1111960 CPUtime=3584.57 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 1049197 0 0 0 358325 132 0 0 20 0 3 0 4464474 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=1200260 memory=1111960 CPUtime=0.03 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 217 0 0 0 1 2 0 0 20 0 3 0 4464483 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3586.42 s
Current children cumulated vsize: 1200260 KiB
Current children cumulated memory: 1111960 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.10 4.05 5/268 32166
/proc/meminfo: memFree=117609484/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=1200260 memory=1111960 CPUtime=3587.22 cores=1,3
/proc/30115/stat : 30115 (fscip) S 30110 30115 30060 0 -1 1077936128 1138239 0 0 0 358567 155 0 0 20 0 3 0 4464315 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 300065 277990 3014 3035 0 280891 0
[pid=30115/tid=30185] ppid=30110 vsize=1200260 memory=11592 CPUtime=3585.36 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 1049203 0 0 0 358404 132 0 0 20 0 3 0 4464474 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=1200260 memory=16032 CPUtime=0.03 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 217 0 0 0 1 2 0 0 20 0 3 0 4464483 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3587.22 s
Current children cumulated vsize: 1200260 KiB
Current children cumulated memory: 1111960 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.10 4.05 5/268 32166
/proc/meminfo: memFree=117606672/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=1200260 memory=1111960 CPUtime=3587.62 cores=1,3
/proc/30115/stat : 30115 (fscip) R 30110 30115 30060 0 -1 1077936128 1138243 0 0 0 358607 155 0 0 20 0 3 0 4464315 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 300065 277990 3014 3035 0 280891 0
[pid=30115/tid=30185] ppid=30110 vsize=1200260 memory=-7380392105938609785 CPUtime=3585.77 cores=1,3
/proc/30115/task/30185/stat : 30185 (fscip) R 30110 30115 30060 0 -1 4194368 1049207 0 0 0 358445 132 0 0 20 0 3 0 4464474 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
[pid=30115/tid=30186] ppid=30110 vsize=1200260 memory=4425796657082953375 CPUtime=0.03 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 217 0 0 0 1 2 0 0 20 0 3 0 4464483 1229066240 277990 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3587.62 s
Current children cumulated vsize: 1200260 KiB
Current children cumulated memory: 1111960 KiB
[startup+3598.2 s]
/proc/loadavg: 4.12 4.10 4.05 5/268 32166
/proc/meminfo: memFree=117606672/131524600 swapFree=131071996/131071996
[pid=30115] ppid=30110 vsize=1134724 memory=1100712 CPUtime=3587.82 cores=1,3
/proc/30115/stat : 30115 (fscip) R 30110 30115 30060 0 -1 4194304 1142460 0 0 0 358626 156 0 0 20 0 2 0 4464315 1161957376 275178 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
/proc/30115/statm: 283681 275178 3014 3035 0 278236 0
[pid=30115/tid=30186] ppid=30110 vsize=1134724 memory=2704 CPUtime=0.03 cores=1,3
/proc/30115/task/30186/stat : 30186 (fscip) S 30110 30115 30060 0 -1 1077936192 217 0 0 0 1 2 0 0 20 0 2 0 4464483 1161957376 275178 134679101440 4194304 16623229 140721291700992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48766976 140721291703318 140721291703434 140721291703434 140721291710448 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 1134724 KiB
Current children cumulated memory: 1100712 KiB
Child status: 0
Real time (s): 3598.24
CPU time (s): 3587.87
CPU user time (s): 3586.3
CPU system time (s): 1.57045
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 1265796
Max. memory (cumulated for all children) (KiB): 1171140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.3
system time used= 1.57045
maximum resident set size= 1171384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1143843
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= 9941
involuntary context switches= 4858
# summary of solver processes directly reported to runsolver:
# pid: 30115
# total CPU time (s): 3587.87
# total CPU user time (s): 3586.3
# total CPU system time (s): 1.57045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30706 second user time and 18.4661 second system time
The end
Begin job on nodeC035 at 2024-07-31 00:29:57
IDJOB=4464011
IDBENCH=147625
IDSOLVER=3092
FILE ID=nodeC035/4464011-1722378597
RUNJOBID= nodeC035-1722378597-30072
SLURM_JOB_ID= 8249858
Free space on /tmp= 890068 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.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-4464011-1722378597/watcher-4464011-1722378597 -o /tmp/evaluation-result-4464011-1722378597/solver-4464011-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30072 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464011-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a
RANDOM SEED=576650998
nodeC035.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 : 3371.915
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 : 7000.79
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 : 3679.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
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 : 3562.130
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 : 7000.79
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 : 3337.054
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
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 : 3500.561
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 : 7000.79
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 : 3631.033
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
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 : 3624.982
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 : 7000.79
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 : 3565.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121827892 kB
MemAvailable: 129793560 kB
Buffers: 82560 kB
Cached: 8678996 kB
SwapCached: 0 kB
Active: 251264 kB
Inactive: 8885492 kB
Active(anon): 1448 kB
Inactive(anon): 395112 kB
Active(file): 249816 kB
Inactive(file): 8490380 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 96404 kB
Writeback: 0 kB
AnonPages: 371028 kB
Mapped: 88360 kB
Shmem: 21336 kB
KReclaimable: 130592 kB
Slab: 219672 kB
SReclaimable: 130592 kB
SUnreclaim: 89080 kB
KernelStack: 3872 kB
PageTables: 9232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 681468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9920 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 254676 kB
DirectMap2M: 7907328 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC035 at 2024-07-31 01:29:56