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.06 c Default LC presolving (default).
0.00/0.06 c ** Before presolving: virtualMemUsedAtLc = 57442304, getVmSize() = 57442304, SCIPgetMemUsed() = 25588437, SCIPgetMemTotal() = 34708477, SCIPgetMemExternEstim() = 18919918
0.00/0.06 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.59/0.61 c ** Estimated virtualMemUsedAtSolver = 96927363, getVmSize() = 151756800, SCIPgetMemUsed() = 82203303, SCIPgetMemTotal() = 126471127, SCIPgetMemExternEstim() = 18919918
0.59/0.61 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.59/0.61 c Original Problem :
0.59/0.61 c Problem name : instance-4434634-1721067691
0.59/0.61 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.61 c Constraints : 16096
0.59/0.61 c Objective sense : minimize
0.59/0.61 c Presolved Problem :
0.59/0.61 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.61 c Constraints : 16096
0.59/0.61 c Constraints : Number
0.59/0.61 c knapsack : 7496
0.59/0.61 c setppc : 2016
0.59/0.61 c logicor : 6584
0.59/0.61 c ** Instance transfer method used: 0
0.59/0.64 c ** ParaScipInstance copy does not increase the number of variables. **
0.59/0.66 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.59/0.66 c Nodes Active
0.59/0.66 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
57.16/57.50 c 58 2 1 1 - 31916.0000 -
62.65/63.07 c 63 3 2 1 - 31916.0000 -
68.83/69.23 c 69 4 3 1 - 31916.0000 -
75.61/76.01 c 76 5 4 1 - 31916.0000 -
84.78/85.29 c 85 6 5 1 - 31916.0000 -
90.58/91.03 c 91 7 6 1 - 31916.0000 -
98.45/98.93 c 99 8 7 1 - 31916.0000 -
105.73/106.28 c 106 12 11 1 - 31916.0000 -
115.01/115.54 c 116 26 25 1 - 31916.0000 -
120.00/120.56 c 121 38 37 1 - 31916.0000 -
127.09/127.69 c 128 44 43 1 - 31916.0000 -
132.67/133.27 c 133 50 49 1 - 31916.0000 -
138.36/138.95 c 139 59 58 1 - 31916.0000 -
144.04/144.61 c 145 70 69 1 - 31916.0000 -
149.23/149.89 c 150 81 80 1 - 31916.0000 -
156.91/157.55 c 158 90 89 1 - 31916.0000 -
163.90/164.53 c 165 96 95 1 - 31916.0000 -
171.18/171.86 c 172 107 106 1 - 31916.0000 -
178.46/179.18 c 179 120 119 1 - 31916.0000 -
186.84/187.53 c 188 132 131 1 - 31916.0000 -
193.82/194.55 c 195 146 145 1 - 31916.0000 -
201.60/202.33 c 202 159 158 1 - 31916.0000 -
209.18/209.94 c 210 171 170 1 - 31916.0000 -
214.17/214.96 c 215 184 183 1 - 31916.0000 -
219.75/220.54 c 221 193 192 1 - 31916.0000 -
227.04/227.82 c 228 204 203 1 - 31916.0000 -
232.92/233.77 c 234 212 211 1 - 31916.0000 -
240.51/241.31 c 241 225 224 1 - 31916.0000 -
246.89/247.71 c 248 229 228 1 - 31916.0000 -
251.87/252.79 c 253 245 244 1 - 31916.0000 -
258.56/259.44 c 259 252 251 1 - 31916.0000 -
263.85/264.75 c 265 256 255 1 - 31916.0000 -
269.63/270.51 c 271 266 265 1 - 31916.0000 -
277.01/277.97 c 278 269 268 1 - 31916.0000 -
283.80/284.75 c 285 285 284 1 - 31916.0000 -
293.38/294.36 c 294 297 296 1 - 31916.0000 -
299.56/300.55 c 301 306 305 1 - 31916.0000 -
309.04/310.00 c 310 321 320 1 - 31916.0000 -
316.62/317.61 c 318 329 328 1 - 31916.0000 -
326.89/327.92 c 328 343 342 1 - 31916.0000 -
335.18/336.26 c 336 357 356 1 - 31916.0000 -
341.36/342.50 c 342 373 372 1 - 31916.0000 -
347.74/348.85 c 349 387 386 1 - 31916.0000 -
352.73/353.86 c 354 388 387 1 - 31916.0000 -
358.51/359.69 c 360 400 399 1 - 31916.0000 -
364.30/365.49 c 365 414 413 1 - 31916.0000 -
371.38/372.55 c 373 421 420 1 - 31916.0000 -
379.47/380.68 c 381 427 426 1 - 31916.0000 -
385.06/386.24 c 386 437 436 1 - 31916.0000 -
393.33/394.56 c 395 452 451 1 - 31916.0000 -
399.12/400.39 c 400 468 467 1 - 31916.0000 -
404.50/405.76 c 406 473 472 1 - 31916.0000 -
413.98/415.23 c 415 484 483 1 - 31916.0000 -
419.06/420.33 c 420 491 490 1 - 31916.0000 -
425.15/426.48 c 426 499 498 1 - 31916.0000 -
431.34/432.68 c 433 502 501 1 - 31916.0000 -
436.42/437.72 c 438 511 510 1 - 31916.0000 -
442.80/444.15 c 444 524 523 1 - 31916.0000 -
453.87/455.22 c 455 533 532 1 - 31916.0000 -
461.56/462.91 c 463 545 544 1 - 31916.0000 -
468.54/469.93 c 470 557 556 1 - 31916.0000 -
477.62/479.05 c 479 566 565 1 - 31916.0000 -
483.20/484.63 c 485 582 581 1 - 31916.0000 -
491.38/492.88 c 493 595 594 1 - 31916.0000 -
498.36/499.82 c 500 611 610 1 - 31916.0000 -
504.74/506.27 c 506 619 618 1 - 31916.0000 -
510.33/511.85 c 512 636 635 1 - 31916.0000 -
520.21/521.74 c 522 648 647 1 - 31916.0000 -
525.50/527.04 c 527 661 660 1 - 31916.0000 -
531.98/533.55 c 534 666 665 1 - 31916.0000 -
538.06/539.65 c 540 686 685 1 - 31916.0000 -
543.45/545.03 c 545 691 690 1 - 31916.0000 -
549.03/550.65 c 551 704 703 1 - 31916.0000 -
554.02/555.69 c 556 718 717 1 - 31916.0000 -
560.90/562.56 c 563 729 728 1 - 31916.0000 -
566.99/568.65 c 569 733 732 1 - 31916.0000 -
574.97/576.61 c 577 744 743 1 - 31916.0000 -
580.36/582.05 c 582 755 754 1 - 31916.0000 -
587.44/589.15 c 589 759 758 1 - 31916.0000 -
596.22/597.94 c 598 763 762 1 - 31916.0000 -
601.41/603.12 c 603 771 770 1 - 31916.0000 -
608.19/609.90 c 610 783 782 1 - 31916.0000 -
613.38/615.16 c 615 796 795 1 - 31916.0000 -
622.05/623.88 c 624 805 804 1 - 31916.0000 -
629.43/631.26 c 631 819 816 1 - 31916.0000 -
634.82/636.68 c 637 825 822 1 - 31916.0000 -
637.42/639.30 c * 639 830 827 1 50791.0000 31916.0000 59.14%
640.01/641.87 c 642 838 835 1 50791.0000 31916.0000 59.14%
646.69/648.53 c 649 847 844 1 50791.0000 31916.0000 59.14%
652.29/654.15 c 654 851 848 1 50791.0000 31916.0000 59.14%
658.47/660.33 c 660 852 849 1 50791.0000 31916.0000 59.14%
664.26/666.17 c 666 861 856 1 50791.0000 31916.0000 59.14%
673.73/675.69 c 676 869 864 1 50791.0000 31916.0000 59.14%
679.72/681.63 c 682 874 869 1 50791.0000 31916.0000 59.14%
684.90/686.84 c 687 883 878 1 50791.0000 31916.0000 59.14%
690.10/692.00 c 692 893 888 1 50791.0000 31916.0000 59.14%
695.38/697.37 c 697 899 894 1 50791.0000 31916.0000 59.14%
701.26/703.27 c 703 909 904 1 50791.0000 31916.0000 59.14%
707.25/709.25 c 709 920 915 1 50791.0000 31916.0000 59.14%
716.63/718.62 c 719 926 921 1 50791.0000 31916.0000 59.14%
718.03/720.03 c * 720 926 921 1 50182.0000 31916.0000 57.23%
722.21/724.25 c 724 936 931 1 50182.0000 31916.0000 57.23%
728.30/730.36 c 730 939 934 1 50182.0000 31916.0000 57.23%
735.38/737.45 c 737 951 946 1 50182.0000 31916.0000 57.23%
740.57/742.68 c 743 962 957 1 50182.0000 31916.0000 57.23%
746.45/748.53 c 749 972 967 1 50182.0000 31916.0000 57.23%
751.94/754.10 c 754 976 971 1 50182.0000 31916.0000 57.23%
757.13/759.25 c 759 983 978 1 50182.0000 31916.0000 57.23%
762.82/764.98 c 765 993 988 1 50182.0000 31916.0000 57.23%
768.51/770.66 c 771 1003 998 1 50182.0000 31916.0000 57.23%
773.90/776.00 c 776 1013 1008 1 50182.0000 31916.0000 57.23%
779.18/781.38 c 781 1018 1013 1 50182.0000 31916.0000 57.23%
786.96/789.16 c 789 1023 1018 1 50182.0000 31916.0000 57.23%
795.94/798.12 c 798 1029 1024 1 50182.0000 31916.0000 57.23%
801.53/803.70 c 804 1034 1029 1 50182.0000 31916.0000 57.23%
806.71/808.96 c 809 1043 1038 1 50182.0000 31916.0000 57.23%
812.60/814.83 c 815 1049 1044 1 50182.0000 31916.0000 57.23%
818.49/820.74 c 821 1059 1054 1 50182.0000 31916.0000 57.23%
826.77/829.07 c 829 1064 1059 1 50182.0000 31916.0000 57.23%
831.95/834.23 c 834 1071 1066 1 50182.0000 31916.0000 57.23%
837.34/839.63 c 840 1077 1072 1 50182.0000 31916.0000 57.23%
842.63/844.91 c 845 1084 1079 1 50182.0000 31916.0000 57.23%
848.82/851.16 c 851 1097 1092 1 50182.0000 31916.0000 57.23%
855.50/857.88 c 858 1104 1099 1 50182.0000 31916.0000 57.23%
860.98/863.35 c 863 1113 1108 1 50182.0000 31916.0000 57.23%
869.56/871.96 c 872 1124 1119 1 50182.0000 31916.0000 57.23%
875.85/878.26 c 878 1130 1125 1 50182.0000 31916.0000 57.23%
882.33/884.75 c 885 1139 1134 1 50182.0000 31916.0000 57.23%
887.81/890.20 c 890 1149 1144 1 50182.0000 31916.0000 57.23%
894.49/896.95 c 897 1157 1152 1 50182.0000 31916.0000 57.23%
899.98/902.45 c 902 1163 1158 1 50182.0000 31916.0000 57.23%
905.76/908.20 c 908 1173 1168 1 50182.0000 31916.0000 57.23%
911.24/913.78 c 914 1182 1177 1 50182.0000 31916.0000 57.23%
917.53/920.08 c 920 1194 1189 1 50182.0000 31916.0000 57.23%
924.21/926.79 c 927 1205 1200 1 50182.0000 31916.0000 57.23%
932.78/935.32 c 935 1218 1213 1 50182.0000 31916.0000 57.23%
940.06/942.60 c 943 1224 1219 1 50182.0000 31916.0000 57.23%
946.14/948.79 c 949 1229 1224 1 50182.0000 31916.0000 57.23%
951.53/954.11 c 954 1236 1231 1 50182.0000 31916.0000 57.23%
959.20/961.81 c 962 1245 1240 1 50182.0000 31916.0000 57.23%
964.98/967.64 c 968 1254 1249 1 50182.0000 31916.0000 57.23%
971.27/973.99 c 974 1263 1258 1 50182.0000 31916.0000 57.23%
977.25/979.98 c 980 1265 1260 1 50182.0000 31916.0000 57.23%
983.13/985.89 c 986 1271 1266 1 50182.0000 31916.0000 57.23%
988.32/991.08 c 991 1274 1269 1 50182.0000 31916.0000 57.23%
994.40/997.13 c 997 1280 1275 1 50182.0000 31916.0000 57.23%
1000.08/1002.89 c 1003 1284 1279 1 50182.0000 31916.0000 57.23%
1006.08/1008.89 c 1009 1285 1280 1 50182.0000 31916.0000 57.23%
1012.37/1015.17 c 1015 1289 1284 1 50182.0000 31916.0000 57.23%
1018.25/1021.08 c 1021 1293 1288 1 50182.0000 31916.0000 57.23%
1026.43/1029.25 c 1029 1300 1295 1 50182.0000 31916.0000 57.23%
1035.21/1038.08 c 1038 1304 1299 1 50182.0000 31916.0000 57.23%
1046.08/1048.90 c 1049 1311 1306 1 50182.0000 31916.0000 57.23%
1053.06/1055.98 c 1056 1320 1315 1 50182.0000 31916.0000 57.23%
1058.65/1061.52 c 1062 1331 1326 1 50182.0000 31916.0000 57.23%
1067.53/1070.40 c 1070 1336 1331 1 50182.0000 31916.0000 57.23%
1074.22/1077.16 c 1077 1344 1339 1 50182.0000 31916.0000 57.23%
1080.40/1083.36 c 1083 1355 1350 1 50182.0000 31916.0000 57.23%
1086.58/1089.51 c 1090 1359 1354 1 50182.0000 31916.0000 57.23%
1092.87/1095.87 c 1096 1363 1358 1 50182.0000 31916.0000 57.23%
1101.95/1104.91 c 1105 1371 1366 1 50182.0000 31916.0000 57.23%
1108.14/1111.14 c 1111 1378 1373 1 50182.0000 31916.0000 57.23%
1117.12/1120.19 c 1120 1384 1379 1 50182.0000 31916.0000 57.23%
1124.00/1127.03 c 1127 1389 1384 1 50182.0000 31916.0000 57.23%
1129.28/1132.32 c 1132 1394 1389 1 50182.0000 31916.0000 57.23%
1134.67/1137.76 c 1138 1401 1396 1 50182.0000 31916.0000 57.23%
1140.16/1143.23 c 1143 1409 1404 1 50182.0000 31916.0000 57.23%
1148.64/1151.71 c 1152 1418 1413 1 50182.0000 31916.0000 57.23%
1154.92/1158.07 c 1158 1422 1417 1 50182.0000 31916.0000 57.23%
1160.30/1163.46 c 1163 1425 1420 1 50182.0000 31916.0000 57.23%
1167.18/1170.34 c 1170 1434 1429 1 50182.0000 31916.0000 57.23%
1173.26/1176.48 c 1176 1439 1434 1 50182.0000 31916.0000 57.23%
1178.35/1181.52 c 1182 1445 1440 1 50182.0000 31916.0000 57.23%
1183.33/1186.56 c 1187 1451 1446 1 50182.0000 31916.0000 57.23%
1188.62/1191.84 c 1192 1458 1453 1 50182.0000 31916.0000 57.23%
1194.20/1197.43 c 1197 1466 1461 1 50182.0000 31916.0000 57.23%
1200.09/1203.36 c 1203 1472 1467 1 50182.0000 31916.0000 57.23%
1206.97/1210.22 c 1210 1476 1471 1 50182.0000 31916.0000 57.23%
1212.66/1215.99 c 1216 1486 1481 1 50182.0000 31916.0000 57.23%
1219.94/1223.21 c 1223 1493 1488 1 50182.0000 31916.0000 57.23%
1225.72/1229.03 c 1229 1502 1497 1 50182.0000 31916.0000 57.23%
1230.71/1234.05 c 1234 1508 1503 1 50182.0000 31916.0000 57.23%
1236.09/1239.47 c 1239 1521 1516 1 50182.0000 31916.0000 57.23%
1241.27/1244.60 c 1245 1528 1523 1 50182.0000 31916.0000 57.23%
1247.45/1250.86 c 1251 1536 1531 1 50182.0000 31916.0000 57.23%
1253.53/1256.97 c 1257 1547 1542 1 50182.0000 31916.0000 57.23%
1260.01/1263.42 c 1263 1556 1551 1 50182.0000 31916.0000 57.23%
1266.40/1269.87 c 1270 1563 1558 1 50182.0000 31916.0000 57.23%
1272.78/1276.28 c 1276 1569 1564 1 50182.0000 31916.0000 57.23%
1278.26/1281.72 c 1282 1580 1575 1 50182.0000 31916.0000 57.23%
1284.94/1288.42 c 1288 1589 1584 1 50182.0000 31916.0000 57.23%
1291.33/1294.83 c 1295 1602 1597 1 50182.0000 31916.0000 57.23%
1299.20/1302.70 c 1303 1614 1609 1 50182.0000 31916.0000 57.23%
1306.78/1310.35 c 1310 1625 1620 1 50182.0000 31916.0000 57.23%
1312.86/1316.42 c 1316 1635 1630 1 50182.0000 31916.0000 57.23%
1320.14/1323.76 c 1324 1641 1636 1 50182.0000 31916.0000 57.23%
1325.53/1329.18 c 1329 1650 1645 1 50182.0000 31916.0000 57.23%
1330.61/1334.21 c 1334 1656 1651 1 50182.0000 31916.0000 57.23%
1336.29/1339.98 c 1340 1668 1663 1 50182.0000 31916.0000 57.23%
1343.97/1347.67 c 1348 1683 1678 1 50182.0000 31916.0000 57.23%
1349.26/1352.98 c 1353 1692 1687 1 50182.0000 31916.0000 57.23%
1355.04/1358.76 c 1359 1698 1693 1 50182.0000 31916.0000 57.23%
1360.82/1364.56 c 1365 1707 1702 1 50182.0000 31916.0000 57.23%
1366.10/1369.86 c 1370 1716 1711 1 50182.0000 31916.0000 57.23%
1371.59/1375.31 c 1375 1727 1722 1 50182.0000 31916.0000 57.23%
1377.57/1381.33 c 1381 1731 1726 1 50182.0000 31916.0000 57.23%
1384.05/1387.80 c 1388 1736 1731 1 50182.0000 31916.0000 57.23%
1390.83/1394.69 c 1395 1746 1741 1 50182.0000 31916.0000 57.23%
1396.12/1399.91 c 1400 1758 1753 1 50182.0000 31916.0000 57.23%
1402.30/1406.14 c 1406 1769 1764 1 50182.0000 31916.0000 57.23%
1407.68/1411.58 c 1412 1782 1777 1 50182.0000 31916.0000 57.23%
1413.18/1417.02 c 1417 1791 1786 1 50182.0000 31916.0000 57.23%
1420.45/1424.32 c 1424 1801 1796 1 50182.0000 31916.0000 57.23%
1426.93/1430.83 c 1431 1812 1807 1 50182.0000 31916.0000 57.23%
1432.12/1436.09 c 1436 1824 1819 1 50182.0000 31916.0000 57.23%
1438.60/1442.55 c 1443 1836 1831 1 50182.0000 31916.0000 57.23%
1446.57/1450.56 c 1451 1847 1842 1 50182.0000 31916.0000 57.23%
1452.76/1456.72 c 1457 1854 1849 1 50182.0000 31916.0000 57.23%
1458.54/1462.55 c 1463 1860 1855 1 50182.0000 31916.0000 57.23%
1464.82/1468.84 c 1469 1872 1865 1 50182.0000 31916.0000 57.23%
1470.90/1474.91 c 1475 1888 1881 1 50182.0000 31916.0000 57.23%
1475.89/1479.92 c 1480 1898 1891 1 50182.0000 31916.0000 57.23%
1482.17/1486.24 c 1486 1906 1899 1 50182.0000 31916.0000 57.23%
1488.75/1492.89 c 1493 1915 1908 1 50182.0000 31916.0000 57.23%
1495.82/1499.96 c 1500 1925 1918 1 50182.0000 31916.0000 57.23%
1501.91/1506.02 c 1506 1933 1926 1 50182.0000 31916.0000 57.23%
1508.39/1512.51 c 1513 1939 1932 1 50182.0000 31916.0000 57.23%
1513.68/1517.87 c 1518 1947 1940 1 50182.0000 31916.0000 57.23%
1520.76/1524.99 c 1525 1957 1950 1 50182.0000 31916.0000 57.23%
1526.86/1531.04 c 1531 1971 1964 1 50182.0000 31916.0000 57.23%
1532.44/1536.62 c 1537 1977 1970 1 50182.0000 31916.0000 57.23%
1538.72/1542.91 c 1543 1983 1976 1 50182.0000 31916.0000 57.23%
1544.01/1548.24 c 1548 1994 1987 1 50182.0000 31916.0000 57.23%
1549.90/1554.16 c 1554 2008 2001 1 50182.0000 31916.0000 57.23%
1555.89/1560.19 c 1560 2017 2010 1 50182.0000 31916.0000 57.23%
1561.87/1566.15 c 1566 2026 2019 1 50182.0000 31916.0000 57.23%
1567.65/1571.93 c 1572 2033 2026 1 50182.0000 31916.0000 57.23%
1574.24/1578.53 c 1579 2044 2037 1 50182.0000 31916.0000 57.23%
1580.52/1584.88 c 1585 2056 2049 1 50182.0000 31916.0000 57.23%
1585.91/1590.27 c 1590 2064 2057 1 50182.0000 31916.0000 57.23%
1591.00/1595.33 c 1595 2069 2062 1 50182.0000 31916.0000 57.23%
1596.49/1600.88 c 1601 2074 2067 1 50182.0000 31916.0000 57.23%
1602.87/1607.20 c 1607 2081 2074 1 50182.0000 31916.0000 57.23%
1608.76/1613.16 c 1613 2084 2077 1 50182.0000 31916.0000 57.23%
1614.35/1618.74 c 1619 2101 2094 1 50182.0000 31916.0000 57.23%
1621.74/1626.18 c 1626 2110 2103 1 50182.0000 31916.0000 57.23%
1627.62/1632.07 c 1632 2122 2115 1 50182.0000 31916.0000 57.23%
1634.80/1639.21 c 1639 2134 2127 1 50182.0000 31916.0000 57.23%
1639.99/1644.43 c 1644 2140 2133 1 50182.0000 31916.0000 57.23%
1644.98/1649.46 c 1649 2149 2142 1 50182.0000 31916.0000 57.23%
1649.96/1654.50 c 1654 2161 2154 1 50182.0000 31916.0000 57.23%
1655.25/1659.72 c 1660 2172 2165 1 50182.0000 31916.0000 57.23%
1662.03/1666.50 c 1666 2185 2178 1 50182.0000 31916.0000 57.23%
1667.52/1672.01 c 1672 2194 2187 1 50182.0000 31916.0000 57.23%
1672.90/1677.49 c 1678 2203 2196 1 50182.0000 31916.0000 57.23%
1679.19/1683.75 c 1684 2215 2208 1 50182.0000 31916.0000 57.23%
1685.18/1689.70 c 1690 2226 2219 1 50182.0000 31916.0000 57.23%
1690.77/1695.36 c 1695 2232 2225 1 50182.0000 31916.0000 57.23%
1696.35/1700.91 c 1701 2242 2235 1 50182.0000 31916.0000 57.23%
1704.44/1709.03 c 1709 2256 2249 1 50182.0000 31916.0000 57.23%
1710.62/1715.23 c 1715 2263 2256 1 50182.0000 31916.0000 57.23%
1716.21/1720.85 c 1721 2270 2263 1 50182.0000 31916.0000 57.23%
1722.79/1727.44 c 1727 2282 2275 1 50182.0000 31916.0000 57.23%
1729.38/1734.06 c 1734 2292 2285 1 50182.0000 31916.0000 57.23%
1734.86/1739.59 c 1740 2306 2299 1 50182.0000 31916.0000 57.23%
1740.25/1744.99 c 1745 2315 2308 1 50182.0000 31916.0000 57.23%
1746.73/1751.47 c 1751 2324 2317 1 50182.0000 31916.0000 57.23%
1753.92/1758.63 c 1759 2332 2325 1 50182.0000 31916.0000 57.23%
1759.70/1764.45 c 1764 2346 2339 1 50182.0000 31916.0000 57.23%
1766.29/1771.05 c 1771 2355 2348 1 50182.0000 31916.0000 57.23%
1771.38/1776.13 c 1776 2363 2356 1 50182.0000 31916.0000 57.23%
1777.56/1782.35 c 1782 2376 2369 1 50182.0000 31916.0000 57.23%
1783.44/1788.29 c 1788 2385 2378 1 50182.0000 31916.0000 57.23%
1790.93/1795.76 c 1796 2391 2384 1 50182.0000 31916.0000 57.23%
1796.51/1801.33 c 1801 2399 2392 1 50182.0000 31916.0000 57.23%
1801.51/1806.38 c 1806 2405 2398 1 50182.0000 31916.0000 57.23%
1808.79/1813.64 c 1814 2415 2408 1 50182.0000 31916.0000 57.23%
1814.68/1819.50 c 1820 2417 2410 1 50182.0000 31916.0000 57.23%
1821.06/1825.92 c 1826 2425 2418 1 50182.0000 31916.0000 57.23%
1828.04/1832.95 c 1833 2434 2427 1 50182.0000 31916.0000 57.23%
1833.63/1838.50 c 1839 2444 2437 1 50182.0000 31916.0000 57.23%
1839.52/1844.41 c 1844 2454 2447 1 50182.0000 31916.0000 57.23%
1847.80/1852.79 c 1853 2467 2460 1 50182.0000 31916.0000 57.23%
1853.19/1858.10 c 1858 2479 2472 1 50182.0000 31916.0000 57.23%
1858.97/1863.95 c 1864 2488 2481 1 50182.0000 31916.0000 57.23%
1865.06/1870.00 c 1870 2499 2492 1 50182.0000 31916.0000 57.23%
1871.33/1876.37 c 1876 2513 2506 1 50182.0000 31916.0000 57.23%
1877.32/1882.39 c 1882 2517 2510 1 50182.0000 31916.0000 57.23%
1884.21/1889.20 c 1889 2525 2518 1 50182.0000 31916.0000 57.23%
1890.10/1895.19 c 1895 2529 2522 1 50182.0000 31916.0000 57.23%
1897.88/1902.94 c 1903 2542 2535 1 50182.0000 31916.0000 57.23%
1903.26/1908.36 c 1908 2550 2543 1 50182.0000 31916.0000 57.23%
1911.74/1916.87 c 1917 2559 2552 1 50182.0000 31916.0000 57.23%
1918.23/1923.34 c 1923 2566 2559 1 50182.0000 31916.0000 57.23%
1925.22/1930.37 c 1930 2569 2562 1 50182.0000 31916.0000 57.23%
1931.10/1936.24 c 1936 2575 2568 1 50182.0000 31916.0000 57.23%
1938.28/1943.47 c 1943 2580 2573 1 50182.0000 31916.0000 57.23%
1945.17/1950.32 c 1950 2586 2579 1 50182.0000 31916.0000 57.23%
1952.45/1957.62 c 1958 2589 2582 1 50182.0000 31916.0000 57.23%
1958.24/1963.48 c 1963 2595 2588 1 50182.0000 31916.0000 57.23%
1964.62/1969.80 c 1970 2598 2591 1 50182.0000 31916.0000 57.23%
1971.81/1977.05 c 1977 2603 2596 1 50182.0000 31916.0000 57.23%
1978.99/1984.25 c 1984 2608 2601 1 50182.0000 31916.0000 57.23%
1986.07/1991.37 c 1991 2616 2609 1 50182.0000 31916.0000 57.23%
1995.05/2000.30 c 2000 2621 2614 1 50182.0000 31916.0000 57.23%
2003.63/2008.92 c 2009 2625 2618 1 50182.0000 31916.0000 57.23%
2009.82/2015.15 c 2015 2630 2623 1 50182.0000 31916.0000 57.23%
2016.20/2021.59 c 2022 2635 2628 1 50182.0000 31916.0000 57.23%
2022.38/2027.75 c 2028 2640 2633 1 50182.0000 31916.0000 57.23%
2029.47/2034.81 c 2035 2644 2637 1 50182.0000 31916.0000 57.23%
2035.55/2040.91 c 2041 2651 2644 1 50182.0000 31916.0000 57.23%
2041.83/2047.27 c 2047 2659 2652 1 50182.0000 31916.0000 57.23%
2047.52/2052.96 c 2053 2670 2663 1 50182.0000 31916.0000 57.23%
2052.71/2058.11 c 2058 2673 2666 1 50182.0000 31916.0000 57.23%
2061.99/2067.49 c 2068 2683 2676 1 50182.0000 31916.0000 57.23%
2067.67/2073.18 c 2073 2690 2683 1 50182.0000 31916.0000 57.23%
2073.45/2078.92 c 2079 2702 2695 1 50182.0000 31916.0000 57.23%
2078.65/2084.13 c 2084 2708 2701 1 50182.0000 31916.0000 57.23%
2084.43/2089.95 c 2090 2722 2715 1 50182.0000 31916.0000 57.23%
2090.11/2095.69 c 2096 2738 2731 1 50182.0000 31916.0000 57.23%
2095.70/2101.23 c 2101 2754 2747 1 50182.0000 31916.0000 57.23%
2104.48/2110.07 c 2110 2762 2755 1 50182.0000 31916.0000 57.23%
2110.17/2115.73 c 2116 2775 2768 1 50182.0000 31916.0000 57.23%
2116.56/2122.19 c 2122 2783 2776 1 50182.0000 31916.0000 57.23%
2122.05/2127.67 c 2128 2793 2786 1 50182.0000 31916.0000 57.23%
2127.33/2132.96 c 2133 2802 2795 1 50182.0000 31916.0000 57.23%
2133.62/2139.23 c 2139 2812 2805 1 50182.0000 31916.0000 57.23%
2139.90/2145.57 c 2146 2824 2817 1 50182.0000 31916.0000 57.23%
2145.09/2150.74 c 2151 2834 2827 1 50182.0000 31916.0000 57.23%
2151.48/2157.18 c 2157 2848 2841 1 50182.0000 31916.0000 57.23%
2157.56/2163.26 c 2163 2852 2845 1 50182.0000 31916.0000 57.23%
2163.45/2169.15 c 2169 2862 2855 1 50182.0000 31916.0000 57.23%
2173.12/2178.88 c 2179 2870 2863 1 50182.0000 31916.0000 57.23%
2178.51/2184.21 c 2184 2879 2872 1 50182.0000 31916.0000 57.23%
2184.49/2190.20 c 2190 2889 2882 1 50182.0000 31916.0000 57.23%
2189.48/2195.25 c 2195 2902 2895 1 50182.0000 31916.0000 57.23%
2195.57/2201.32 c 2201 2912 2905 1 50182.0000 31916.0000 57.23%
2200.56/2206.36 c 2206 2915 2908 1 50182.0000 31916.0000 57.23%
2208.24/2214.03 c 2214 2924 2917 1 50182.0000 31916.0000 57.23%
2214.82/2220.66 c 2221 2929 2922 1 50182.0000 31916.0000 57.23%
2220.71/2226.51 c 2227 2941 2934 1 50182.0000 31916.0000 57.23%
2226.99/2232.83 c 2233 2954 2947 1 50182.0000 31916.0000 57.23%
2233.28/2239.17 c 2239 2973 2966 1 50182.0000 31916.0000 57.23%
2238.97/2244.83 c 2245 2984 2977 1 50182.0000 31916.0000 57.23%
2244.36/2250.24 c 2250 2994 2987 1 50182.0000 31916.0000 57.23%
2253.64/2259.54 c 2260 3006 2999 1 50182.0000 31916.0000 57.23%
2261.32/2267.21 c 2267 3011 3004 1 50182.0000 31916.0000 57.23%
2266.60/2272.52 c 2273 3020 3013 1 50182.0000 31916.0000 57.23%
2272.20/2278.17 c 2278 3026 3019 1 50182.0000 31916.0000 57.23%
2277.68/2283.63 c 2284 3032 3025 1 50182.0000 31916.0000 57.23%
2283.07/2289.07 c 2289 3043 3036 1 50182.0000 31916.0000 57.23%
2290.75/2296.79 c 2297 3050 3043 1 50182.0000 31916.0000 57.23%
2297.43/2303.44 c 2303 3056 3049 1 50182.0000 31916.0000 57.23%
2304.52/2310.56 c 2311 3066 3059 1 50182.0000 31916.0000 57.23%
2309.90/2315.99 c 2316 3071 3064 1 50182.0000 31916.0000 57.23%
2316.39/2322.48 c 2322 3081 3074 1 50182.0000 31916.0000 57.23%
2323.07/2329.15 c 2329 3091 3084 1 50182.0000 31916.0000 57.23%
2328.26/2334.36 c 2334 3099 3092 1 50182.0000 31916.0000 57.23%
2333.84/2339.99 c 2340 3109 3102 1 50182.0000 31916.0000 57.23%
2339.43/2345.54 c 2346 3120 3113 1 50182.0000 31916.0000 57.23%
2345.61/2351.71 c 2352 3126 3119 1 50182.0000 31916.0000 57.23%
2351.80/2357.94 c 2358 3136 3129 1 50182.0000 31916.0000 57.23%
2356.99/2363.19 c 2363 3137 3130 1 50182.0000 31916.0000 57.23%
2363.17/2369.33 c 2369 3146 3139 1 50182.0000 31916.0000 57.23%
2368.26/2374.44 c 2374 3159 3152 1 50182.0000 31916.0000 57.23%
2373.75/2379.90 c 2380 3166 3159 1 50182.0000 31916.0000 57.23%
2380.43/2386.69 c 2387 3176 3169 1 50182.0000 31916.0000 57.23%
2386.72/2392.90 c 2393 3185 3178 1 50182.0000 31916.0000 57.23%
2392.11/2398.36 c 2398 3194 3187 1 50182.0000 31916.0000 57.23%
2398.39/2404.65 c 2405 3201 3194 1 50182.0000 31916.0000 57.23%
2403.58/2409.85 c 2410 3209 3202 1 50182.0000 31916.0000 57.23%
2408.96/2415.23 c 2415 3214 3207 1 50182.0000 31916.0000 57.23%
2415.55/2421.83 c 2422 3226 3219 1 50182.0000 31916.0000 57.23%
2420.93/2427.22 c 2427 3239 3232 1 50182.0000 31916.0000 57.23%
2428.52/2434.86 c 2435 3246 3239 1 50182.0000 31916.0000 57.23%
2434.40/2440.79 c 2441 3260 3253 1 50182.0000 31916.0000 57.23%
2439.79/2446.14 c 2446 3271 3264 1 50182.0000 31916.0000 57.23%
2445.28/2451.66 c 2452 3280 3273 1 50182.0000 31916.0000 57.23%
2450.86/2457.23 c 2457 3288 3281 1 50182.0000 31916.0000 57.23%
2457.95/2464.37 c 2464 3296 3289 1 50182.0000 31916.0000 57.23%
2464.44/2470.89 c 2471 3300 3293 1 50182.0000 31916.0000 57.23%
2471.32/2477.71 c 2478 3306 3299 1 50182.0000 31916.0000 57.23%
2476.51/2482.99 c 2483 3316 3309 1 50182.0000 31916.0000 57.23%
2482.70/2489.16 c 2489 3324 3317 1 50182.0000 31916.0000 57.23%
2487.88/2494.38 c 2494 3332 3325 1 50182.0000 31916.0000 57.23%
2494.27/2500.75 c 2501 3341 3334 1 50182.0000 31916.0000 57.23%
2501.35/2507.84 c 2508 3351 3344 1 50182.0000 31916.0000 57.23%
2507.43/2513.95 c 2514 3361 3354 1 50182.0000 31916.0000 57.23%
2513.52/2520.05 c 2520 3373 3366 1 50182.0000 31916.0000 57.23%
2522.00/2528.53 c 2529 3377 3370 1 50182.0000 31916.0000 57.23%
2528.09/2534.60 c 2535 3384 3377 1 50182.0000 31916.0000 57.23%
2533.37/2539.94 c 2540 3387 3380 1 50182.0000 31916.0000 57.23%
2538.47/2545.08 c 2545 3396 3389 1 50182.0000 31916.0000 57.23%
2544.75/2551.33 c 2551 3405 3398 1 50182.0000 31916.0000 57.23%
2551.03/2557.63 c 2558 3413 3406 1 50182.0000 31916.0000 57.23%
2556.22/2562.82 c 2563 3424 3417 1 50182.0000 31916.0000 57.23%
2562.21/2568.88 c 2569 3435 3428 1 50182.0000 31916.0000 57.23%
2568.59/2575.24 c 2575 3444 3437 1 50182.0000 31916.0000 57.23%
2574.58/2581.20 c 2581 3455 3448 1 50182.0000 31916.0000 57.23%
2580.76/2587.40 c 2587 3465 3458 1 50182.0000 31916.0000 57.23%
2586.15/2592.85 c 2593 3469 3462 1 50182.0000 31916.0000 57.23%
2591.74/2598.48 c 2598 3476 3469 1 50182.0000 31916.0000 57.23%
2599.02/2605.72 c 2606 3481 3474 1 50182.0000 31916.0000 57.23%
2604.61/2611.39 c 2611 3485 3478 1 50182.0000 31916.0000 57.23%
2610.79/2617.57 c 2618 3494 3487 1 50182.0000 31916.0000 57.23%
2618.47/2625.20 c 2625 3503 3496 1 50182.0000 31916.0000 57.23%
2624.46/2631.24 c 2631 3513 3506 1 50182.0000 31916.0000 57.23%
2631.64/2638.44 c 2638 3521 3514 1 50182.0000 31916.0000 57.23%
2637.23/2644.09 c 2644 3529 3522 1 50182.0000 31916.0000 57.23%
2643.32/2650.10 c 2650 3536 3529 1 50182.0000 31916.0000 57.23%
2652.09/2658.95 c 2659 3545 3538 1 50182.0000 31916.0000 57.23%
2658.57/2665.46 c 2665 3549 3542 1 50182.0000 31916.0000 57.23%
2663.66/2670.55 c 2671 3556 3549 1 50182.0000 31916.0000 57.23%
2675.15/2682.05 c 2682 3568 3561 1 50182.0000 31916.0000 57.23%
2681.53/2688.47 c 2688 3574 3567 1 50182.0000 31916.0000 57.23%
2687.22/2694.11 c 2694 3584 3577 1 50182.0000 31916.0000 57.23%
2692.30/2699.23 c 2699 3587 3580 1 50182.0000 31916.0000 57.23%
2699.98/2706.95 c 2707 3595 3588 1 50182.0000 31916.0000 57.23%
2705.37/2712.38 c 2712 3600 3593 1 50182.0000 31916.0000 57.23%
2711.46/2718.46 c 2718 3606 3599 1 50182.0000 31916.0000 57.23%
2717.54/2724.54 c 2725 3615 3608 1 50182.0000 31916.0000 57.23%
2723.33/2730.35 c 2730 3623 3616 1 50182.0000 31916.0000 57.23%
2729.21/2736.21 c 2736 3626 3619 1 50182.0000 31916.0000 57.23%
2734.50/2741.57 c 2742 3634 3627 1 50182.0000 31916.0000 57.23%
2742.78/2749.88 c 2750 3637 3630 1 50182.0000 31916.0000 57.23%
2748.97/2756.06 c 2756 3651 3644 1 50182.0000 31916.0000 57.23%
2754.85/2761.99 c 2762 3661 3654 1 50182.0000 31916.0000 57.23%
2762.14/2769.26 c 2769 3671 3664 1 50182.0000 31916.0000 57.23%
2768.62/2775.74 c 2776 3676 3669 1 50182.0000 31916.0000 57.23%
2775.61/2782.77 c 2783 3677 3670 1 50182.0000 31916.0000 57.23%
2781.49/2788.68 c 2789 3684 3677 1 50182.0000 31916.0000 57.23%
2787.17/2794.36 c 2794 3691 3684 1 50182.0000 31916.0000 57.23%
2795.36/2802.53 c 2803 3696 3689 1 50182.0000 31916.0000 57.23%
2803.24/2810.49 c 2810 3701 3694 1 50182.0000 31916.0000 57.23%
2810.23/2817.46 c 2817 3705 3698 1 50182.0000 31916.0000 57.23%
2815.62/2822.83 c 2823 3711 3704 1 50182.0000 31916.0000 57.23%
2822.10/2829.31 c 2829 3716 3709 1 50182.0000 31916.0000 57.23%
2832.78/2840.01 c 2840 3724 3717 1 50182.0000 31916.0000 57.23%
2843.15/2850.40 c 2850 3731 3724 1 50182.0000 31916.0000 57.23%
2849.24/2856.56 c 2857 3736 3729 1 50182.0000 31916.0000 57.23%
2857.32/2864.67 c 2865 3746 3739 1 50182.0000 31916.0000 57.23%
2862.51/2869.89 c 2870 3751 3744 1 50182.0000 31916.0000 57.23%
2867.90/2875.20 c 2875 3760 3753 1 50182.0000 31916.0000 57.23%
2875.28/2882.68 c 2883 3766 3759 1 50182.0000 31916.0000 57.23%
2880.57/2887.98 c 2888 3774 3767 1 50182.0000 31916.0000 57.23%
2885.95/2893.34 c 2893 3778 3771 1 50182.0000 31916.0000 57.23%
2891.54/2898.92 c 2899 3784 3777 1 50182.0000 31916.0000 57.23%
2903.41/2910.85 c 2911 3794 3787 1 50182.0000 31916.0000 57.23%
2909.30/2916.70 c 2917 3804 3797 1 50182.0000 31916.0000 57.23%
2920.87/2928.32 c 2928 3813 3806 1 50182.0000 31916.0000 57.23%
2926.26/2933.75 c 2934 3823 3816 1 50182.0000 31916.0000 57.23%
2932.44/2939.91 c 2940 3828 3821 1 50182.0000 31916.0000 57.23%
2943.22/2950.71 c 2951 3835 3828 1 50182.0000 31916.0000 57.23%
2949.00/2956.54 c 2957 3840 3833 1 50182.0000 31916.0000 57.23%
2956.49/2964.00 c 2964 3846 3839 1 50182.0000 31916.0000 57.23%
2963.17/2970.71 c 2971 3849 3842 1 50182.0000 31916.0000 57.23%
2971.75/2979.34 c 2979 3857 3850 1 50182.0000 31916.0000 57.23%
2976.84/2984.40 c 2984 3861 3854 1 50182.0000 31916.0000 57.23%
2983.52/2991.12 c 2991 3866 3859 1 50182.0000 31916.0000 57.23%
2992.00/2999.61 c 3000 3871 3864 1 50182.0000 31916.0000 57.23%
2998.28/3005.93 c 3006 3874 3867 1 50182.0000 31916.0000 57.23%
3003.38/3011.01 c 3011 3880 3873 1 50182.0000 31916.0000 57.23%
3008.46/3016.18 c 3016 3886 3879 1 50182.0000 31916.0000 57.23%
3017.15/3024.82 c 3025 3893 3886 1 50182.0000 31916.0000 57.23%
3022.93/3030.60 c 3031 3899 3892 1 50182.0000 31916.0000 57.23%
3029.62/3037.36 c 3037 3906 3899 1 50182.0000 31916.0000 57.23%
3035.80/3043.55 c 3044 3915 3908 1 50182.0000 31916.0000 57.23%
3041.19/3048.93 c 3049 3923 3916 1 50182.0000 31916.0000 57.23%
3048.28/3056.06 c 3056 3926 3919 1 50182.0000 31916.0000 57.23%
3054.56/3062.38 c 3062 3933 3926 1 50182.0000 31916.0000 57.23%
3060.94/3068.72 c 3069 3937 3930 1 50182.0000 31916.0000 57.23%
3066.93/3074.77 c 3075 3945 3938 1 50182.0000 31916.0000 57.23%
3072.61/3080.41 c 3080 3951 3944 1 50182.0000 31916.0000 57.23%
3078.60/3086.46 c 3086 3957 3950 1 50182.0000 31916.0000 57.23%
3085.29/3093.18 c 3093 3961 3954 1 50182.0000 31916.0000 57.23%
3090.67/3098.54 c 3099 3966 3959 1 50182.0000 31916.0000 57.23%
3096.85/3104.70 c 3105 3974 3967 1 50182.0000 31916.0000 57.23%
3102.25/3110.11 c 3110 3981 3974 1 50182.0000 31916.0000 57.23%
3107.63/3115.51 c 3116 3985 3978 1 50182.0000 31916.0000 57.23%
3112.81/3120.70 c 3121 3989 3982 1 50182.0000 31916.0000 57.23%
3118.51/3126.44 c 3126 3996 3989 1 50182.0000 31916.0000 57.23%
3125.10/3133.06 c 3133 4002 3995 1 50182.0000 31916.0000 57.23%
3130.78/3138.79 c 3139 4009 4002 1 50182.0000 31916.0000 57.23%
3136.37/3144.38 c 3144 4016 4009 1 50182.0000 31916.0000 57.23%
3144.75/3152.70 c 3153 4021 4014 1 50182.0000 31916.0000 57.23%
3150.33/3158.34 c 3158 4024 4017 1 50182.0000 31916.0000 57.23%
3156.82/3164.89 c 3165 4031 4024 1 50182.0000 31916.0000 57.23%
3164.01/3172.02 c 3172 4033 4026 1 50182.0000 31916.0000 57.23%
3170.88/3178.92 c 3179 4044 4037 1 50182.0000 31916.0000 57.23%
3177.87/3185.90 c 3186 4054 4047 1 50182.0000 31916.0000 57.23%
3183.45/3191.56 c 3192 4061 4054 1 50182.0000 31916.0000 57.23%
3189.83/3197.91 c 3198 4070 4063 1 50182.0000 31916.0000 57.23%
3195.13/3203.26 c 3203 4076 4069 1 50182.0000 31916.0000 57.23%
3200.21/3208.38 c 3208 4086 4079 1 50182.0000 31916.0000 57.23%
3206.79/3214.97 c 3215 4096 4089 1 50182.0000 31916.0000 57.23%
3216.36/3224.52 c 3225 4102 4095 1 50182.0000 31916.0000 57.23%
3222.45/3230.66 c 3231 4106 4099 1 50182.0000 31916.0000 57.23%
3232.12/3240.33 c 3240 4112 4105 1 50182.0000 31916.0000 57.23%
3237.40/3245.67 c 3246 4117 4110 1 50182.0000 31916.0000 57.23%
3244.79/3253.02 c 3253 4122 4115 1 50182.0000 31916.0000 57.23%
3250.17/3258.48 c 3258 4129 4122 1 50182.0000 31916.0000 57.23%
3256.76/3265.08 c 3265 4137 4130 1 50182.0000 31916.0000 57.23%
3260.14/3268.44 c * 3268 4140 4133 1 48759.0000 31916.0000 52.77%
3266.73/3275.01 c 3275 4146 4139 1 48759.0000 31916.0000 52.77%
3273.30/3281.68 c 3282 4159 4152 1 48759.0000 31916.0000 52.77%
3281.18/3289.56 c 3290 4172 4165 1 48759.0000 31916.0000 52.77%
3286.36/3294.75 c 3295 4186 4179 1 48759.0000 31916.0000 52.77%
3292.84/3301.20 c 3301 4192 4185 1 48759.0000 31916.0000 52.77%
3297.93/3306.31 c 3306 4200 4193 1 48759.0000 31916.0000 52.77%
3302.92/3311.35 c 3311 4208 4201 1 48759.0000 31916.0000 52.77%
3314.28/3322.76 c 3323 4217 4210 1 48759.0000 31916.0000 52.77%
3324.05/3332.58 c 3333 4222 4215 1 48759.0000 31916.0000 52.77%
3333.93/3342.48 c 3342 4232 4225 1 48759.0000 31916.0000 52.77%
3339.61/3348.18 c 3348 4244 4233 1 48759.0000 31916.0000 52.77%
3345.89/3354.43 c 3354 4248 4237 1 48759.0000 31916.0000 52.77%
3352.48/3361.08 c 3361 4254 4243 1 48759.0000 31916.0000 52.77%
3362.14/3370.75 c 3371 4269 4258 1 48759.0000 31916.0000 52.77%
3371.52/3380.13 c 3380 4278 4267 1 48759.0000 31916.0000 52.77%
3378.20/3386.83 c 3387 4284 4273 1 48759.0000 31916.0000 52.77%
3385.48/3394.17 c 3394 4294 4283 1 48759.0000 31916.0000 52.77%
3394.26/3402.94 c 3403 4308 4297 1 48759.0000 31916.0000 52.77%
3401.34/3410.08 c 3410 4312 4301 1 48759.0000 31916.0000 52.77%
3407.92/3416.61 c 3417 4316 4305 1 48759.0000 31916.0000 52.77%
3414.90/3423.67 c 3424 4329 4318 1 48759.0000 31916.0000 52.77%
3421.58/3430.31 c 3430 4337 4326 1 48759.0000 31916.0000 52.77%
3427.46/3436.21 c 3436 4346 4335 1 48759.0000 31916.0000 52.77%
3432.64/3441.43 c 3441 4358 4347 1 48759.0000 31916.0000 52.77%
3438.13/3446.90 c 3447 4367 4356 1 48759.0000 31916.0000 52.77%
3446.81/3455.63 c 3456 4372 4361 1 48759.0000 31916.0000 52.77%
3456.99/3465.81 c 3466 4379 4368 1 48759.0000 31916.0000 52.77%
3462.28/3471.13 c 3471 4382 4371 1 48759.0000 31916.0000 52.77%
3471.05/3479.95 c 3480 4393 4382 1 48759.0000 31916.0000 52.77%
3476.34/3485.23 c 3485 4400 4389 1 48759.0000 31916.0000 52.77%
3482.03/3490.97 c 3491 4409 4398 1 48759.0000 31916.0000 52.77%
3488.41/3497.32 c 3497 4412 4401 1 48759.0000 31916.0000 52.77%
3493.90/3502.86 c 3503 4419 4408 1 48759.0000 31916.0000 52.77%
3499.58/3508.52 c 3509 4433 4422 1 48759.0000 31916.0000 52.77%
3505.48/3514.45 c 3514 4439 4428 1 48759.0000 31916.0000 52.77%
3512.76/3521.73 c 3522 4444 4433 1 48759.0000 31916.0000 52.77%
3519.15/3528.11 c 3528 4454 4443 1 48759.0000 31916.0000 52.77%
3524.43/3533.46 c 3533 4459 4448 1 48759.0000 31916.0000 52.77%
3530.61/3539.65 c 3540 4474 4463 1 48759.0000 31916.0000 52.77%
3535.70/3544.78 c 3545 4487 4476 1 48759.0000 31916.0000 52.77%
3541.69/3550.75 c 3551 4494 4483 1 48759.0000 31916.0000 52.77%
3548.37/3557.44 c 3557 4497 4486 1 48759.0000 31916.0000 52.77%
3555.06/3564.10 c 3564 4504 4493 1 48759.0000 31916.0000 52.77%
3566.44/3575.55 c 3576 4517 4506 1 48759.0000 31916.0000 52.77%
3572.42/3581.54 c 3582 4531 4520 1 48759.0000 31916.0000 52.77%
3579.30/3588.43 c 3588 4537 4526 1 48759.0000 31916.0000 52.77%
3585.99/3595.14 c 3595 4549 4538 1 48759.0000 31916.0000 52.77%
3590.88/3600.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.88/3600.10 c Total Time : 3600.09
3590.88/3600.10 c solving : 3600.09
3590.88/3600.10 c presolving : 0.54 (included in solving)
3590.88/3600.10 c B&B Tree :
3590.88/3600.10 c nodes (total) : 1
3590.88/3600.10 c Solution :
3590.88/3600.10 c Solutions found : 3
3590.88/3600.10 c Primal Bound : +4.87590000000000e+04
3590.88/3600.10 c Dual Bound : +3.19160000000000e+04
3590.88/3600.10 c Gap : 52.77290 %
3590.88/3600.10 c * Warning: final gap: 5.27729e-01 is greater than SCIPepsilon: 1.00000e-09
3590.88/3600.10 o 48759
3590.88/3600.10 s SATISFIABLE
3590.88/3600.10 v -x833 x769 x705 x641 -x577 x513 x449 x385 -x321 -x257 x193 -x129 -x65 -x1 x896 x832 x768 -x704 -x640 x576 x512 -x448 -x384 x320
3590.88/3600.10 v x256 -x192 -x128 -x64 x887 x823 x759 -x695 -x631 -x567 x503 -x439 x375 x311 -x247 x183 -x119 -x55 -x878 -x814 x750 -x686 x622
3590.88/3600.10 v -x558 -x494 -x430 x366 x302 x238 -x174 x110 x46 -x869 -x805 -x741 x677 x613 x549 -x485 -x421 -x357 x293 x229 -x165 x101 x37
3590.88/3600.10 v -x860 -x796 -x732 x668 x604 -x540 x476 x412 x348 -x284 -x220 x156 x92 -x28 x851 -x787 -x723 -x659 x595 -x531 -x467 x403 x339
3590.88/3600.10 v -x275 -x211 x147 x83 x19 x842 x778 -x714 x650 -x586 x522 -x458 x394 -x330 -x266 -x202 x138 -x74 x10 -x895 -x831 -x767 -x703
3590.88/3600.10 v -x639 -x575 -x511 -x447 x383 -x319 -x255 -x191 -x127 -x63 -x894 -x830 -x766 -x702 -x638 -x574 -x510 -x446 -x382 -x318 -x254 -x190
3590.88/3600.10 v x126 -x62 -x893 -x829 -x765 -x701 -x637 -x573 -x509 -x445 -x381 -x317 -x253 -x189 -x125 x61 -x892 -x828 -x764 x700 -x636
3590.88/3600.10 v -x572 -x508 -x444 -x380 -x316 -x252 -x188 -x124 -x60 -x891 -x827 -x763 -x699 x635 -x571 -x507 -x443 -x379 -x315 -x251 -x187
3590.88/3600.10 v -x123 -x59 -x890 -x826 -x762 -x698 -x634 -x570 -x506 -x442 -x378 -x314 -x250 x186 -x122 -x58 -x889 -x825 -x761 -x697 -x633 -x569
3590.88/3600.10 v -x505 x441 -x377 -x313 -x249 -x185 -x121 -x57 -x888 -x824 -x760 -x696 -x632 -x568 -x504 -x440 -x376 -x312 x248 -x184 -x120
3590.88/3600.10 v -x56 -x886 -x822 -x758 -x694 -x630 -x566 -x502 -x438 -x374 -x310 -x246 -x182 -x118 x54 -x885 -x821 -x757 -x693 -x629 -x565
3590.88/3600.10 v -x501 -x437 -x373 -x309 -x245 -x181 x117 -x53 -x884 -x820 -x756 -x692 x628 -x564 -x500 -x436 -x372 -x308 -x244 -x180 -x116 -x52
3590.88/3600.10 v -x883 -x819 -x755 -x691 -x627 -x563 -x499 x435 -x371 -x307 -x243 -x179 -x115 -x51 -x882 -x818 -x754 x690 -x626 -x562 -x498
3590.88/3600.10 v -x434 -x370 -x306 -x242 -x178 -x114 -x50 -x881 -x817 -x753 -x689 -x625 x561 -x497 -x433 -x369 -x305 -x241 -x177 -x113 -x49 -x880
3590.88/3600.10 v -x816 -x752 -x688 -x624 -x560 x496 -x432 -x368 -x304 -x240 -x176 -x112 -x48 -x879 -x815 -x751 -x687 -x623 -x559 -x495 -x431
3590.88/3600.10 v -x367 -x303 -x239 x175 -x111 -x47 -x877 -x813 -x749 -x685 -x621 x557 -x493 -x429 -x365 -x301 -x237 -x173 -x109 -x45 -x876
3590.88/3600.10 v -x812 -x748 -x684 -x620 -x556 -x492 x428 -x364 -x300 -x236 -x172 -x108 -x44 x875 -x811 -x747 -x683 -x619 -x555 -x491 -x427 -x363
3590.88/3600.10 v -x299 -x235 -x171 -x107 -x43 -x874 x810 -x746 -x682 -x618 -x554 -x490 -x426 -x362 -x298 -x234 -x170 -x106 -x42 -x873 -x809
3590.88/3600.10 v -x745 x681 -x617 -x553 -x489 -x425 -x361 -x297 -x233 -x169 -x105 -x41 -x872 x808 -x744 -x680 -x616 -x552 -x488 -x424 -x360
3590.88/3600.10 v -x296 -x232 -x168 -x104 -x40 x871 -x807 -x743 -x679 -x615 -x551 -x487 -x423 -x359 -x295 -x231 -x167 -x103 -x39 -x870 -x806 x742
3590.88/3600.10 v -x678 -x614 -x550 -x486 -x422 -x358 -x294 -x230 -x166 -x102 -x38 -x868 -x804 -x740 -x676 -x612 -x548 -x484 -x420 x356 -x292
3590.88/3600.10 v -x228 -x164 -x100 -x36 -x867 -x803 -x739 -x675 -x611 -x547 -x483 -x419 -x355 -x291 -x227 x163 -x99 -x35 -x866 -x802 -x738
3590.88/3600.10 v -x674 -x610 -x546 -x482 x418 -x354 -x290 -x226 -x162 -x98 -x34 -x865 -x801 -x737 -x673 -x609 -x545 x481 -x417 -x353 -x289 -x225
3590.88/3600.10 v -x161 -x97 -x33 -x864 -x800 -x736 -x672 -x608 x544 -x480 -x416 -x352 -x288 -x224 -x160 -x96 -x32 -x863 -x799 x735 -x671 -x607
3590.88/3600.10 v -x543 -x479 -x415 -x351 -x287 -x223 -x159 -x95 -x31 -x862 -x798 -x734 -x670 -x606 -x542 -x478 -x414 -x350 x286 -x222 -x158
3590.88/3600.10 v -x94 -x30 -x861 -x797 -x733 -x669 -x605 -x541 -x477 -x413 -x349 -x285 x221 -x157 -x93 -x29 -x859 -x795 -x731 -x667 -x603 -x539
3590.88/3600.10 v -x475 -x411 -x347 -x283 -x219 -x155 -x91 x27 x858 -x794 -x730 -x666 -x602 -x538 -x474 -x410 -x346 -x282 -x218 -x154 -x90
3590.88/3600.10 v -x26 -x857 x793 -x729 -x665 -x601 -x537 -x473 -x409 -x345 -x281 -x217 -x153 -x89 -x25 -x856 -x792 -x728 -x664 -x600 -x536 -x472
3590.88/3600.10 v -x408 -x344 x280 -x216 -x152 -x88 -x24 -x855 x791 -x727 -x663 -x599 -x535 -x471 -x407 -x343 -x279 -x215 -x151 -x87 -x23 -x854
3590.88/3600.10 v -x790 -x726 -x662 -x598 -x534 -x470 -x406 -x342 -x278 x214 -x150 -x86 -x22 -x853 -x789 -x725 x661 -x597 -x533 -x469 -x405
3590.88/3600.10 v -x341 -x277 -x213 -x149 -x85 -x21 -x852 -x788 -x724 -x660 -x596 -x532 x468 -x404 -x340 -x276 -x212 -x148 -x84 -x20 -x850 -x786
3590.88/3600.10 v -x722 -x658 -x594 x530 -x466 -x402 -x338 -x274 -x210 -x146 -x82 -x18 -x849 -x785 x721 -x657 -x593 -x529 -x465 -x401 -x337
3590.88/3600.10 v -x273 -x209 -x145 -x81 -x17 -x848 -x784 x720 -x656 -x592 -x528 -x464 -x400 -x336 -x272 -x208 -x144 -x80 -x16 -x847 -x783 -x719
3590.88/3600.10 v -x655 -x591 -x527 x463 -x399 -x335 -x271 -x207 -x143 -x79 -x15 -x846 -x782 -x718 -x654 x590 -x526 -x462 -x398 -x334 -x270 -x206
3590.88/3600.10 v -x142 -x78 -x14 -x845 -x781 -x717 -x653 -x589 -x525 -x461 -x397 -x333 x269 -x205 -x141 -x77 -x13 -x844 -x780 -x716 -x652
3590.88/3600.10 v -x588 -x524 -x460 -x396 -x332 -x268 -x204 -x140 x76 -x12 -x843 -x779 -x715 -x651 -x587 -x523 -x459 -x395 x331 -x267 -x203 -x139
3590.88/3600.10 v -x75 -x11 -x841 -x777 -x713 -x649 -x585 -x521 -x457 -x393 -x329 -x265 x201 -x137 -x73 -x9 x840 -x776 -x712 -x648 -x584 -x520
3590.88/3600.10 v -x456 -x392 -x328 -x264 -x200 -x136 -x72 -x8 -x839 -x775 -x711 -x647 -x583 -x519 -x455 -x391 -x327 x263 -x199 -x135 -x71
3590.88/3600.10 v -x7 -x838 -x774 -x710 -x646 -x582 -x518 -x454 -x390 x326 -x262 -x198 -x134 -x70 -x6 -x837 -x773 -x709 -x645 x581 -x517 -x453
3590.88/3600.10 v -x389 -x325 -x261 -x197 -x133 -x69 -x5 -x836 -x772 -x708 -x644 -x580 -x516 -x452 -x388 -x324 -x260 -x196 x132 -x68 -x4 -x835
3590.88/3600.10 v -x771 -x707 -x643 -x579 -x515 -x451 -x387 -x323 -x259 -x195 -x131 x67 -x3 -x834 -x770 -x706 -x642 -x578 -x514 -x450 -x386 -x322
3590.88/3600.10 v -x258 -x194 -x130 -x66 x2 x1344 -x1343 x1342 -x1341 x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331 -x1330
3590.88/3600.10 v -x1329 -x1328 -x1327 -x1326 x1325 -x1324 -x1323 -x1322 x1321 -x1320 -x1319 -x1318 -x1317 x1316 -x1315 -x1314 -x1313 -x1312
3590.88/3600.10 v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 x1295 -x1294
3590.88/3600.10 v -x1293 -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 x1280 -x1279 -x1278 x1277 -x1276 x1275
3590.88/3600.10 v -x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
3590.88/3600.10 v -x1256 x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
3590.88/3600.10 v -x1238 -x1237 -x1236 x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220
3590.88/3600.10 v -x1219 -x1218 x1217 -x1216 x1215 -x1214 x1213 x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 x1204 -x1203 -x1202
3590.88/3600.10 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 x1185 -x1184
3590.88/3600.10 v -x1183 -x1182 x1181 -x1180 -x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165
3590.88/3600.10 v -x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 x1153 x1152 x1151 -x1150 -x1149 -x1148 -x1147
3590.88/3600.10 v -x1146 -x1145 -x1144 x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
3590.88/3600.10 v x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110
3590.88/3600.10 v -x1109 -x1108 x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 -x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 -x1093 x1092
3590.88/3600.10 v x1091 -x1090 x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 x1074 -x1073
3590.88/3600.10 v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 -x1057 -x1056 -x1055
3590.88/3600.10 v -x1054 x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037
3590.88/3600.10 v -x1036 -x1035 -x1034 -x1033 -x1032 x1031 -x1030 -x1029 -x1028 x1027 x1026 x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019
3590.88/3600.10 v -x1018 x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001 -x1000
3590.88/3600.10 v -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 x983 -x982 -x981 -x980 -x979
3590.88/3600.10 v -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 x966 x965 x964 -x963 x962 -x961 x960 -x959 -x958 -x957
3590.88/3600.10 v x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936
3590.88/3600.10 v -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914
3590.99/3600.11 v x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 x903 x902 -x901 x900 -x899 -x898 x897
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61133 MiB free)
memory of node 1: 64510 MiB (61763 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434634-1721067691/watcher-4434634-1721067691 -o /tmp/evaluation-result-4434634-1721067691/solver-4434634-1721067691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809920 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434634-1721067691.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=812354, runsolver pid=812351
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.11 4.11 4.08 4/258 812355
/proc/meminfo: memFree=125805256/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=65144 memory=52644 CPUtime=0.1 cores=1,3
/proc/812354/stat : 812354 (fscip) R 812351 812354 809908 0 -1 4194304 10883 0 0 0 9 1 0 0 20 0 1 0 158938784 66707456 13161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 16286 13161 2638 3032 0 12686 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 65144 KiB
Current children cumulated memory: 52644 KiB
[startup+0.205475 s]*
/proc/loadavg: 4.11 4.11 4.08 3/251 812372
/proc/meminfo: memFree=126347604/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=74608 memory=63848 CPUtime=0.2 cores=1,3
/proc/812354/stat : 812354 (fscip) R 812351 812354 809908 0 -1 4194304 17754 0 0 0 19 1 0 0 20 0 1 0 158938784 76398592 15962 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 18652 15962 2702 3032 0 15052 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74608 KiB
Current children cumulated memory: 63848 KiB
[startup+0.304414 s]*
/proc/loadavg: 4.11 4.11 4.08 5/252 812391
/proc/meminfo: memFree=126315056/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=77320 memory=66664 CPUtime=0.3 cores=1,3
/proc/812354/stat : 812354 (fscip) R 812351 812354 809908 0 -1 4194304 18446 0 0 0 29 1 0 0 20 0 1 0 158938784 79175680 16666 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 19330 16666 2750 3032 0 15730 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77320 KiB
Current children cumulated memory: 66664 KiB
[startup+0.700517 s]
/proc/loadavg: 4.11 4.11 4.08 6/256 812410
/proc/meminfo: memFree=126220800/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=232900 memory=163924 CPUtime=0.69 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 38683 0 0 0 64 5 0 0 20 0 3 0 158938784 238489600 40981 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 58225 40981 2798 3032 0 47689 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 232900 KiB
Current children cumulated memory: 163924 KiB
[startup+1.50053 s]
/proc/loadavg: 4.11 4.11 4.08 6/263 812437
/proc/meminfo: memFree=125972792/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=347648 memory=262092 CPUtime=1.48 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 59418 0 0 0 140 8 0 0 20 0 3 0 158938784 355991552 65523 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 86912 65523 2830 3032 0 75340 0
[pid=812354/tid=812424] ppid=812351 vsize=347648 memory=35803742 CPUtime=0.84 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 29730 0 0 0 80 4 0 0 20 0 3 0 158938845 355991552 65523 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=347648 memory=12316 CPUtime=0 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158938851 355991552 65523 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 347648 KiB
Current children cumulated memory: 262092 KiB
[startup+3.10552 s]
/proc/loadavg: 4.11 4.11 4.08 5/265 812441
/proc/meminfo: memFree=125526104/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=347648 memory=262488 CPUtime=3.07 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 68153 0 0 0 298 9 0 0 20 0 3 0 158938784 355991552 65622 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 86912 65622 2910 3032 0 75340 0
[pid=812354/tid=812424] ppid=812351 vsize=347648 memory=12316 CPUtime=2.43 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 38458 0 0 0 238 5 0 0 20 0 3 0 158938845 355991552 65622 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=347648 memory=184932 CPUtime=0 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 158938851 355991552 65622 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 347648 KiB
Current children cumulated memory: 262488 KiB
[startup+6.30052 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 812441
/proc/meminfo: memFree=125430596/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=347648 memory=262488 CPUtime=6.24 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 76715 0 0 0 614 10 0 0 20 0 3 0 158938784 355991552 65622 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 86912 65622 2910 3032 0 75340 0
[pid=812354/tid=812424] ppid=812351 vsize=347648 memory=0 CPUtime=5.6 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 47013 0 0 0 554 6 0 0 20 0 3 0 158938845 355991552 65622 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=347648 memory=0 CPUtime=0 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 158938851 355991552 65622 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 347648 KiB
Current children cumulated memory: 262488 KiB
[startup+12.7005 s]
/proc/loadavg: 4.09 4.11 4.08 5/265 812441
/proc/meminfo: memFree=125399636/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=347648 memory=270296 CPUtime=12.58 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 103002 0 0 0 1246 12 0 0 20 0 3 0 158938784 355991552 67574 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 86912 67574 2926 3032 0 78086 0
[pid=812354/tid=812424] ppid=812351 vsize=347648 memory=12316 CPUtime=11.94 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 73286 0 0 0 1186 8 0 0 20 0 3 0 158938845 355991552 67574 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=347648 memory=12316 CPUtime=0 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 158938851 355991552 67574 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 347648 KiB
Current children cumulated memory: 270296 KiB
[startup+25.5005 s]
/proc/loadavg: 4.07 4.10 4.08 5/265 812444
/proc/meminfo: memFree=125332472/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=347648 memory=272640 CPUtime=25.27 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 136751 0 0 0 2513 14 0 0 20 0 3 0 158938784 355991552 68160 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 86912 68160 2926 3032 0 81823 0
[pid=812354/tid=812424] ppid=812351 vsize=347648 memory=271900 CPUtime=24.62 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 107022 0 0 0 2452 10 0 0 20 0 3 0 158938845 355991552 68160 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=347648 memory=289 CPUtime=0 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 158938851 355991552 68160 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 347648 KiB
Current children cumulated memory: 272640 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.11 4.08 5/265 812448
/proc/meminfo: memFree=125228096/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=347648 memory=272640 CPUtime=50.78 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 160222 0 0 0 5062 16 0 0 20 0 3 0 158938784 355991552 68160 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 86912 68160 2926 3032 0 81823 0
[pid=812354/tid=812424] ppid=812351 vsize=347648 memory=272640 CPUtime=50.14 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 130474 0 0 0 5002 12 0 0 20 0 3 0 158938845 355991552 68160 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=347648 memory=272640 CPUtime=0 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 158938851 355991552 68160 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 347648 KiB
Current children cumulated memory: 272640 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 812456
/proc/meminfo: memFree=125188736/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=413184 memory=304344 CPUtime=101.84 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 189026 0 0 0 10166 18 0 0 20 0 3 0 158938784 423100416 76086 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 103296 76086 2974 3032 0 89987 0
[pid=812354/tid=812424] ppid=812351 vsize=413184 memory=6720661043414186860 CPUtime=101.2 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 159175 0 0 0 10106 14 0 0 20 0 3 0 158938845 423100416 76086 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=413184 memory=4360 CPUtime=0 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 158938851 423100416 76086 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 413184 KiB
Current children cumulated memory: 304344 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 812467
/proc/meminfo: memFree=125142308/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=478720 memory=344136 CPUtime=161.7 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 242968 0 0 0 16147 23 0 0 20 0 3 0 158938784 490209280 86034 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 119680 86034 2990 3032 0 103302 0
[pid=812354/tid=812424] ppid=812351 vsize=478720 memory=5492 CPUtime=161.06 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 213026 0 0 0 16087 19 0 0 20 0 3 0 158938845 490209280 86034 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=478720 memory=343872 CPUtime=0 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 158938851 490209280 86034 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 478720 KiB
Current children cumulated memory: 344136 KiB
[startup+222.3 s]
/proc/loadavg: 4.33 4.18 4.11 5/265 812477
/proc/meminfo: memFree=125116784/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=478720 memory=361964 CPUtime=221.56 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 273771 0 0 0 22130 26 0 0 20 0 3 0 158938784 490209280 90491 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 119680 90491 2990 3032 0 107997 0
[pid=812354/tid=812424] ppid=812351 vsize=478720 memory=356956 CPUtime=220.9 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 243776 0 0 0 22069 21 0 0 20 0 3 0 158938845 490209280 90491 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=478720 memory=361880 CPUtime=0 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 86 0 0 0 0 0 0 0 20 0 3 0 158938851 490209280 90491 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 478720 KiB
Current children cumulated memory: 361964 KiB
################
# More data... #
################
[pid=812354] ppid=812351 vsize=946424 memory=736032 CPUtime=3453.5 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 613509 0 0 0 345283 67 0 0 20 0 3 0 158938784 969138176 184008 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 236606 184008 2990 3032 0 216845 0
[pid=812354/tid=812424] ppid=812351 vsize=946424 memory=736032 CPUtime=3452.71 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 581626 0 0 0 345214 57 0 0 20 0 3 0 158938845 969138176 184008 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=946424 memory=735860 CPUtime=0.03 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 286 0 0 0 1 2 0 0 20 0 3 0 158938851 969138176 184008 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 946424 KiB
Current children cumulated memory: 736032 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 814398
/proc/meminfo: memFree=124135060/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=946424 memory=736472 CPUtime=3513.36 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 618907 0 0 0 351268 68 0 0 20 0 3 0 158938784 969138176 184118 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 236606 184118 2990 3032 0 216845 0
[pid=812354/tid=812424] ppid=812351 vsize=946424 memory=736032 CPUtime=3512.56 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 587003 0 0 0 351199 57 0 0 20 0 3 0 158938845 969138176 184118 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=946424 memory=736472 CPUtime=0.03 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 288 0 0 0 1 2 0 0 20 0 3 0 158938851 969138176 184118 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 946424 KiB
Current children cumulated memory: 736472 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 814414
/proc/meminfo: memFree=124117252/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=946424 memory=736644 CPUtime=3573.22 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 625061 0 0 0 357253 69 0 0 20 0 3 0 158938784 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 236606 184161 2990 3032 0 216845 0
[pid=812354/tid=812424] ppid=812351 vsize=946424 memory=12316 CPUtime=3572.42 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 593131 0 0 0 357184 58 0 0 20 0 3 0 158938845 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=946424 memory=5492 CPUtime=0.03 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 158938851 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 946424 KiB
Current children cumulated memory: 736644 KiB
[startup+3600.12 s]
# the end of solver process 812354 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.31 s, system=0.700196 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 5/266 814416
/proc/meminfo: memFree=124117196/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=946424 memory=736644 CPUtime=3574.92 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 625070 0 0 0 357423 69 0 0 20 0 3 0 158938784 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 236606 184161 2990 3032 0 216845 0
[pid=812354/tid=812424] ppid=812351 vsize=946424 memory=925588 CPUtime=3574.12 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 593140 0 0 0 357354 58 0 0 20 0 3 0 158938845 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=946424 memory=736644 CPUtime=0.03 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 158938851 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3574.92 s
Current children cumulated vsize: 946424 KiB
Current children cumulated memory: 736644 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 814416
/proc/meminfo: memFree=124116860/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=946424 memory=736644 CPUtime=3581.3 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 625272 0 0 0 358061 69 0 0 20 0 3 0 158938784 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 236606 184161 2990 3032 0 216845 0
[pid=812354/tid=812424] ppid=812351 vsize=946424 memory=736644 CPUtime=3580.5 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 593336 0 0 0 357992 58 0 0 20 0 3 0 158938845 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=946424 memory=-8621784567947968927 CPUtime=0.03 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 295 0 0 0 1 2 0 0 20 0 3 0 158938851 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3581.3 s
Current children cumulated vsize: 946424 KiB
Current children cumulated memory: 736644 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 814417
/proc/meminfo: memFree=124099976/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=946424 memory=736644 CPUtime=3587.68 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 625424 0 0 0 358699 69 0 0 20 0 3 0 158938784 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 236606 184161 2990 3032 0 216845 0
[pid=812354/tid=812424] ppid=812351 vsize=946424 memory=736644 CPUtime=3586.88 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 593488 0 0 0 358630 58 0 0 20 0 3 0 158938845 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=946424 memory=12312 CPUtime=0.03 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 295 0 0 0 1 2 0 0 20 0 3 0 158938851 969138176 184161 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 946424 KiB
Current children cumulated memory: 736644 KiB
[startup+3598.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 814417
/proc/meminfo: memFree=124099948/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=946424 memory=736652 CPUtime=3589.28 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 626919 0 0 0 358859 69 0 0 20 0 3 0 158938784 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 236606 184163 2990 3032 0 216845 0
[pid=812354/tid=812424] ppid=812351 vsize=946424 memory=40760 CPUtime=3588.48 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 594983 0 0 0 358790 58 0 0 20 0 3 0 158938845 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=946424 memory=12312 CPUtime=0.03 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 295 0 0 0 1 2 0 0 20 0 3 0 158938851 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3589.28 s
Current children cumulated vsize: 946424 KiB
Current children cumulated memory: 736652 KiB
[startup+3599.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 814417
/proc/meminfo: memFree=124099948/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=946424 memory=736652 CPUtime=3590.08 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 626932 0 0 0 358939 69 0 0 20 0 3 0 158938784 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 236606 184163 2990 3032 0 216845 0
[pid=812354/tid=812424] ppid=812351 vsize=946424 memory=15976 CPUtime=3589.28 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 594996 0 0 0 358870 58 0 0 20 0 3 0 158938845 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=946424 memory=2220 CPUtime=0.03 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 295 0 0 0 1 2 0 0 20 0 3 0 158938851 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3590.08 s
Current children cumulated vsize: 946424 KiB
Current children cumulated memory: 736652 KiB
[startup+3599.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 814417
/proc/meminfo: memFree=124099948/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=946424 memory=736652 CPUtime=3590.48 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 626932 0 0 0 358979 69 0 0 20 0 3 0 158938784 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 236606 184163 2990 3032 0 216845 0
[pid=812354/tid=812424] ppid=812351 vsize=946424 memory=6720661051987344236 CPUtime=3589.68 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 594996 0 0 0 358910 58 0 0 20 0 3 0 158938845 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=946424 memory=19296 CPUtime=0.03 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 295 0 0 0 1 2 0 0 20 0 3 0 158938851 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3590.48 s
Current children cumulated vsize: 946424 KiB
Current children cumulated memory: 736652 KiB
[startup+3600 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 814417
/proc/meminfo: memFree=124098324/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=946424 memory=736652 CPUtime=3590.88 cores=1,3
/proc/812354/stat : 812354 (fscip) S 812351 812354 809908 0 -1 1077936128 626932 0 0 0 359019 69 0 0 20 0 3 0 158938784 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 236606 184163 2990 3032 0 216845 0
[pid=812354/tid=812424] ppid=812351 vsize=946424 memory=30772 CPUtime=3590.08 cores=1,3
/proc/812354/task/812424/stat : 812424 (fscip) R 812351 812354 809908 0 -1 4194368 594996 0 0 0 358950 58 0 0 20 0 3 0 158938845 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
[pid=812354/tid=812425] ppid=812351 vsize=946424 memory=28108 CPUtime=0.03 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 295 0 0 0 1 2 0 0 20 0 3 0 158938851 969138176 184163 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3590.88 s
Current children cumulated vsize: 946424 KiB
Current children cumulated memory: 736652 KiB
[startup+3600.12 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 814417
/proc/meminfo: memFree=124098324/131524600 swapFree=131071996/131071996
[pid=812354] ppid=812351 vsize=881648 memory=682100 CPUtime=3590.99 cores=1,3
/proc/812354/stat : 812354 (fscip) R 812351 812354 809908 0 -1 4194304 629849 0 0 0 359030 69 0 0 20 0 2 0 158938784 902807552 170525 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
/proc/812354/statm: 220412 170525 2990 3032 0 200651 0
[pid=812354/tid=812425] ppid=812351 vsize=881648 memory=12316 CPUtime=0.03 cores=1,3
/proc/812354/task/812425/stat : 812425 (fscip) S 812351 812354 809908 0 -1 1077936192 295 0 0 0 1 2 0 0 20 0 2 0 158938851 902807552 170525 134679101440 4194304 16613245 140729887250720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 26034176 140729887257621 140729887257737 140729887257737 140729887264752 0
Current children cumulated CPU time: 3590.99 s
Current children cumulated vsize: 881648 KiB
Current children cumulated memory: 682100 KiB
Child status: 0
Real time (s): 3600.12
CPU time (s): 3591.01
CPU user time (s): 3590.31
CPU system time (s): 0.700196
CPU usage (%): 99.7467
Max. virtual memory (cumulated for all children) (KiB): 946424
Max. memory (cumulated for all children) (KiB): 736652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.31
system time used= 0.700196
maximum resident set size= 736652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630013
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= 7279
involuntary context switches= 2194
# summary of solver processes directly reported to runsolver:
# pid: 812354
# total CPU time (s): 3591.01
# total CPU user time (s): 3590.31
# total CPU system time (s): 0.700196
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43118 second user time and 16.6103 second system time
The end
Begin job on nodeC033 at 2024-07-15 20:21:43
IDJOB=4434634
IDBENCH=147018
IDSOLVER=3064
FILE ID=nodeC033/4434634-1721067691
RUNJOBID= nodeC033-1721064102-809920
SLURM_JOB_ID= 7505520
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434634-1721067691/watcher-4434634-1721067691 -o /tmp/evaluation-result-4434634-1721067691/solver-4434634-1721067691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809920 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434634-1721067691.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1adddfdbf1ced655bc7cf87afdf2cbda
RANDOM SEED=1044181687
nodeC033.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 : 3664.805
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 : 3666.217
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.25
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 : 3601.860
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 : 3672.316
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.25
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 : 3668.923
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 : 3673.081
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.25
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 : 3601.471
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 : 3600.084
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125846936 kB
MemAvailable: 128819272 kB
Buffers: 385968 kB
Cached: 3392412 kB
SwapCached: 0 kB
Active: 651328 kB
Inactive: 4368060 kB
Active(anon): 1564 kB
Inactive(anon): 1277160 kB
Active(file): 649764 kB
Inactive(file): 3090900 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29272 kB
Writeback: 0 kB
AnonPages: 1240376 kB
Mapped: 129168 kB
Shmem: 37716 kB
KReclaimable: 142640 kB
Slab: 252684 kB
SReclaimable: 142640 kB
SUnreclaim: 110044 kB
KernelStack: 4160 kB
PageTables: 11636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1158028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60320 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1079296 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: 256724 kB
DirectMap2M: 25731072 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC033 at 2024-07-15 21:21:43