0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 44335104, getVmSize() = 44335104, SCIPgetMemUsed() = 18736049, SCIPgetMemTotal() = 22058905, SCIPgetMemExternEstim() = 11425808
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.16 c ** Estimated virtualMemUsedAtSolver = 35677525, getVmSize() = 62697472, SCIPgetMemUsed() = 21513930, SCIPgetMemTotal() = 38664194, SCIPgetMemExternEstim() = 11425808
0.09/0.16 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.16 c Original Problem :
0.09/0.16 c Problem name : instance-4450780-1721419546
0.09/0.16 c Variables : 3968 (3968 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.16 c Constraints : 7904
0.09/0.16 c Objective sense : minimize
0.09/0.16 c Presolved Problem :
0.09/0.16 c Variables : 3042 (3042 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.16 c Constraints : 6223
0.09/0.16 c Constraints : Number
0.09/0.16 c and : 45
0.09/0.16 c xor : 1
0.09/0.16 c linear : 1174
0.09/0.16 c logicor : 5003
0.09/0.16 c ** Instance transfer method used: 0
0.09/0.17 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.19 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.19 c Nodes Active
0.09/0.19 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
34.57/34.79 c 35 2 1 1 - 0.0000 -
40.96/41.18 c 41 10 9 1 - 0.0000 -
49.13/49.30 c 49 14 13 1 - 0.0000 -
207.10/207.85 c 208 16 15 1 - 0.0000 -
213.07/213.87 c 214 18 17 1 - 0.0000 -
218.26/219.00 c 219 20 19 1 - 0.0000 -
225.23/226.05 c 226 23 22 1 - 0.0000 -
230.51/231.38 c 231 30 29 1 - 0.0000 -
236.48/237.36 c 237 42 41 1 - 0.0000 -
243.86/244.73 c 245 50 49 1 - 0.0000 -
250.93/251.82 c 252 59 58 1 - 0.0000 -
259.01/259.90 c 260 72 71 1 - 0.0000 -
266.28/267.27 c 267 93 92 1 - 0.0000 -
273.45/274.48 c 274 99 98 1 - 0.0000 -
283.81/284.80 c 285 105 104 1 - 0.0000 -
289.19/290.21 c 290 112 111 1 - 0.0000 -
294.48/295.50 c 296 118 117 1 - 0.0000 -
300.06/301.13 c 301 151 150 1 - 0.0000 -
307.43/308.59 c 309 168 167 1 - 0.0000 -
312.91/314.01 c 314 209 208 1 - 0.0000 -
319.58/320.78 c 321 215 214 1 - 0.0000 -
325.06/326.27 c 326 222 221 1 - 0.0000 -
331.84/333.07 c 333 240 239 1 - 0.0000 -
339.61/340.87 c 341 245 244 1 - 0.0000 -
346.18/347.44 c 347 262 261 1 - 0.0000 -
351.46/352.79 c 353 295 294 1 - 0.0000 -
356.86/358.13 c 358 315 314 1 - 0.0000 -
362.43/363.76 c 364 322 321 1 - 0.0000 -
368.10/369.49 c 369 342 341 1 - 0.0000 -
373.29/374.65 c 375 362 361 1 - 0.0000 -
379.86/381.21 c 381 372 371 1 - 0.0000 -
389.03/390.41 c 390 378 377 1 - 0.0000 -
394.31/395.78 c 396 408 407 1 - 0.0000 -
399.60/401.06 c 401 428 427 1 - 0.0000 -
404.77/406.26 c 406 461 460 1 - 0.0000 -
410.25/411.76 c 412 557 556 1 - 0.0000 -
416.02/417.59 c 418 605 604 1 - 0.0000 -
421.41/422.91 c 423 630 629 1 - 0.0000 -
427.98/429.56 c 430 662 661 1 - 0.0000 -
433.76/435.33 c 435 705 704 1 - 0.0000 -
438.94/440.52 c 441 712 711 1 - 0.0000 -
445.12/446.76 c 447 755 754 1 - 0.0000 -
451.69/453.39 c 453 778 777 1 - 0.0000 -
457.67/459.38 c 459 819 818 1 - 0.0000 -
464.24/465.91 c 466 845 844 1 - 0.0000 -
469.43/471.13 c 471 882 881 1 - 0.0000 -
476.70/478.47 c 478 912 911 1 - 0.0000 -
484.57/486.39 c 486 932 931 1 - 0.0000 -
489.75/491.51 c 492 944 943 1 - 0.0000 -
498.33/500.18 c 500 1002 1001 1 - 0.0000 -
504.00/505.82 c 506 1037 1036 1 - 0.0000 -
544.75/546.71 c 547 1051 1 1 - 0.0000 -
553.62/555.63 c 556 1064 14 1 - 0.0000 -
560.49/562.57 c 563 1066 16 1 - 0.0000 -
565.58/567.60 c 568 1068 18 1 - 0.0000 -
571.85/573.92 c 574 1073 23 1 - 0.0000 -
580.22/582.33 c 582 1077 27 1 - 0.0000 -
585.40/587.55 c 588 1086 36 1 - 0.0000 -
591.98/594.10 c 594 1097 47 1 - 0.0000 -
598.55/600.73 c 601 1104 54 1 - 0.0000 -
605.83/608.09 c 608 1121 71 1 - 0.0000 -
610.91/613.14 c 613 1137 87 1 - 0.0000 -
616.39/618.63 c 619 1152 102 1 - 0.0000 -
621.57/623.83 c 624 1159 109 1 - 0.0000 -
626.95/629.26 c 629 1170 120 1 - 0.0000 -
632.33/634.69 c 635 1179 129 1 - 0.0000 -
637.62/639.94 c 640 1196 146 1 - 0.0000 -
643.89/646.21 c 646 1206 156 1 - 0.0000 -
650.67/653.10 c 653 1211 161 1 - 0.0000 -
657.94/660.35 c 660 1224 174 1 - 0.0000 -
666.02/668.46 c 668 1246 196 1 - 0.0000 -
672.29/674.78 c 675 1255 205 1 - 0.0000 -
678.47/680.99 c 681 1278 226 1 - 0.0000 -
683.76/686.29 c 686 1295 243 1 - 0.0000 -
689.33/691.84 c 692 1315 263 1 - 0.0000 -
695.11/697.66 c 698 1351 299 1 - 0.0000 -
703.79/706.31 c 706 1373 321 1 - 0.0000 -
709.47/712.06 c 712 1385 333 1 - 0.0000 -
715.35/717.92 c 718 1406 354 1 - 0.0000 -
721.13/723.75 c 724 1411 359 1 - 0.0000 -
726.92/729.53 c 730 1431 379 1 - 0.0000 -
732.70/735.36 c 735 1456 404 1 - 0.0000 -
738.98/741.65 c 742 1465 413 1 - 0.0000 -
747.75/750.49 c 750 1493 441 1 - 0.0000 -
753.83/756.53 c 757 1517 465 1 - 0.0000 -
759.22/761.91 c 762 1539 487 1 - 0.0000 -
764.70/767.43 c 767 1559 507 1 - 0.0000 -
769.88/772.66 c 773 1595 543 1 - 0.0000 -
775.27/778.01 c 778 1607 555 1 - 0.0000 -
780.25/783.08 c 783 1624 572 1 - 0.0000 -
787.23/790.09 c 790 1639 587 1 - 0.0000 -
796.60/799.49 c 799 1655 603 1 - 0.0000 -
802.98/805.82 c 806 1698 646 1 - 0.0000 -
808.76/811.61 c 812 1738 686 1 - 0.0000 -
815.64/818.59 c 819 1757 705 1 - 0.0000 -
821.82/824.78 c 825 1795 743 1 - 0.0000 -
828.70/831.61 c 832 1838 786 1 - 0.0000 -
834.19/837.14 c 837 1869 817 1 - 0.0000 -
839.76/842.71 c 843 1907 855 1 - 0.0000 -
847.74/850.76 c 851 1927 875 1 - 0.0000 -
854.82/857.87 c 858 1945 893 1 - 0.0000 -
864.09/867.12 c 867 1988 936 1 - 0.0000 -
869.97/873.07 c 873 2245 1165 1 - 0.0000 -
876.45/879.50 c 880 2650 1323 1 - 0.0000 -
882.33/885.40 c 885 2757 1354 1 - 0.0000 -
887.32/890.41 c 890 2824 1411 1 - 0.0000 -
892.50/895.66 c 896 2965 1474 1 - 0.0000 -
897.99/901.19 c 901 3443 1570 1 - 0.0000 -
903.07/906.27 c 906 4218 1570 1 - 0.0000 -
908.15/911.36 c 911 4896 1565 1 - 0.0000 -
913.23/916.42 c 916 5499 1627 1 - 0.0000 -
918.31/921.53 c 922 6289 1617 1 - 0.0000 -
923.40/926.63 c 927 6885 1626 1 - 0.0000 -
928.48/931.71 c 932 7456 1631 1 - 0.0000 -
933.46/936.79 c 937 8039 1617 1 - 0.0000 -
938.54/941.85 c 942 8716 1619 1 - 0.0000 -
943.63/946.97 c 947 9226 1621 1 - 0.0000 -
948.72/952.04 c 952 9886 1623 1 - 0.0000 -
953.70/957.10 c 957 10538 1626 1 - 0.0000 -
958.78/962.18 c 962 11213 1638 1 - 0.0000 -
963.86/967.27 c 967 11896 1628 1 - 0.0000 -
968.94/972.34 c 972 12562 1633 1 - 0.0000 -
974.03/977.41 c 977 13190 1630 1 - 0.0000 -
979.01/982.47 c 982 13910 1646 1 - 0.0000 -
984.09/987.54 c 988 14567 1639 1 - 0.0000 -
989.17/992.63 c 993 15201 1628 1 - 0.0000 -
994.26/997.70 c 998 15878 1634 1 - 0.0000 -
999.34/1002.82 c 1003 16450 1628 1 - 0.0000 -
1004.32/1007.87 c 1008 17002 1698 1 - 0.0000 -
1009.40/1012.92 c 1013 17614 1731 1 - 0.0000 -
1014.38/1017.99 c 1018 18216 1743 1 - 0.0000 -
1019.46/1023.05 c 1023 18874 1778 1 - 0.0000 -
1024.55/1028.14 c 1028 19539 1793 1 - 0.0000 -
1029.63/1033.22 c 1033 20165 1805 1 - 0.0000 -
1034.71/1038.33 c 1038 20766 1828 1 - 0.0000 -
1039.79/1043.40 c 1043 21415 1814 1 - 0.0000 -
1044.87/1048.51 c 1049 22044 1825 1 - 0.0000 -
1049.96/1053.63 c 1054 22724 1822 1 - 0.0000 -
1055.04/1058.71 c 1059 23456 1823 1 - 0.0000 -
1060.12/1063.81 c 1064 24150 1806 1 - 0.0000 -
1065.11/1068.88 c 1069 24842 1796 1 - 0.0000 -
1070.19/1073.96 c 1074 25527 1793 1 - 0.0000 -
1075.27/1079.01 c 1079 26190 1789 1 - 0.0000 -
1080.36/1084.12 c 1084 26836 1770 1 - 0.0000 -
1085.34/1089.18 c 1089 27439 1756 1 - 0.0000 -
1090.42/1094.26 c 1094 28090 1724 1 - 0.0000 -
1095.50/1099.32 c 1099 28737 1706 1 - 0.0000 -
1100.59/1104.48 c 1104 29366 1708 1 - 0.0000 -
1105.67/1109.53 c 1110 29965 1701 1 - 0.0000 -
1110.75/1114.60 c 1115 30645 1699 1 - 0.0000 -
1115.73/1119.65 c 1120 31311 1730 1 - 0.0000 -
1120.81/1124.70 c 1125 31991 1732 1 - 0.0000 -
1125.90/1129.81 c 1130 32655 1726 1 - 0.0000 -
1130.88/1134.89 c 1135 33277 1721 1 - 0.0000 -
1136.07/1140.08 c 1140 33963 1700 1 - 0.0000 -
1141.15/1145.13 c 1145 34629 1703 1 - 0.0000 -
1146.22/1150.20 c 1150 35415 1701 1 - 0.0000 -
1151.19/1155.25 c 1155 36194 1715 1 - 0.0000 -
1156.27/1160.35 c 1160 36938 1732 1 - 0.0000 -
1161.35/1165.40 c 1165 37592 1719 1 - 0.0000 -
1166.33/1170.49 c 1170 38309 1720 1 - 0.0000 -
1171.51/1175.61 c 1176 38984 1710 1 - 0.0000 -
1176.49/1180.66 c 1181 39630 1708 1 - 0.0000 -
1181.57/1185.72 c 1186 40292 1703 1 - 0.0000 -
1186.55/1190.78 c 1191 40893 1707 1 - 0.0000 -
1191.64/1195.84 c 1196 41538 1662 1 - 0.0000 -
1196.71/1200.91 c 1201 42306 1648 1 - 0.0000 -
1201.69/1205.97 c 1206 43030 1637 1 - 0.0000 -
1206.77/1211.02 c 1211 43688 1638 1 - 0.0000 -
1211.75/1216.07 c 1216 44604 1647 1 - 0.0000 -
1216.83/1221.13 c 1221 45374 1639 1 - 0.0000 -
1221.82/1226.18 c 1226 46171 1627 1 - 0.0000 -
1226.90/1231.24 c 1231 46839 1632 1 - 0.0000 -
1231.88/1236.29 c 1236 47591 1646 1 - 0.0000 -
1236.96/1241.36 c 1241 48316 1637 1 - 0.0000 -
1242.04/1246.46 c 1246 49009 1630 1 - 0.0000 -
1247.13/1251.54 c 1252 49614 1664 1 - 0.0000 -
1252.22/1256.60 c 1257 50223 1676 1 - 0.0000 -
1257.19/1261.67 c 1262 50881 1681 1 - 0.0000 -
1262.28/1266.75 c 1267 51532 1731 1 - 0.0000 -
1267.37/1271.80 c 1272 52076 1749 1 - 0.0000 -
1272.35/1276.86 c 1277 52743 1769 1 - 0.0000 -
1277.43/1281.93 c 1282 53332 1768 1 - 0.0000 -
1282.41/1286.98 c 1287 53948 1777 1 - 0.0000 -
1287.50/1292.06 c 1292 54596 1773 1 - 0.0000 -
1292.59/1297.16 c 1297 55223 1754 1 - 0.0000 -
1297.66/1302.21 c 1302 55866 1770 1 - 0.0000 -
1302.64/1307.28 c 1307 56550 1749 1 - 0.0000 -
1307.73/1312.39 c 1312 57163 1746 1 - 0.0000 -
1312.81/1317.45 c 1317 57813 1735 1 - 0.0000 -
1317.89/1322.50 c 1323 58469 1727 1 - 0.0000 -
1322.87/1327.57 c 1328 59052 1712 1 - 0.0000 -
1327.95/1332.63 c 1333 59694 1685 1 - 0.0000 -
1333.05/1337.71 c 1338 60318 1641 1 - 0.0000 -
1338.03/1342.78 c 1343 60972 1609 1 - 0.0000 -
1343.11/1347.86 c 1348 61631 1670 1 - 0.0000 -
1348.19/1352.90 c 1353 62287 1675 1 - 0.0000 -
1353.27/1358.02 c 1358 62911 1679 1 - 0.0000 -
1358.26/1363.08 c 1363 63481 1685 1 - 0.0000 -
1363.35/1368.17 c 1368 64106 1671 1 - 0.0000 -
1368.42/1373.22 c 1373 64774 1725 1 - 0.0000 -
1373.50/1378.32 c 1378 65363 1779 1 - 0.0000 -
1378.58/1383.40 c 1383 65939 1776 1 - 0.0000 -
1383.67/1388.51 c 1389 66521 1870 1 - 0.0000 -
1388.66/1393.57 c 1394 67103 1893 1 - 0.0000 -
1393.74/1398.63 c 1399 67602 1946 1 - 0.0000 -
1398.82/1403.76 c 1404 68198 1974 1 - 0.0000 -
1403.90/1408.82 c 1409 68751 1981 1 - 0.0000 -
1408.98/1413.96 c 1414 69325 1983 1 - 0.0000 -
1414.07/1419.02 c 1419 69928 2055 1 - 0.0000 -
1419.05/1424.07 c 1424 70474 2077 1 - 0.0000 -
1424.13/1429.13 c 1429 71032 2096 1 - 0.0000 -
1429.21/1434.21 c 1434 71623 2098 1 - 0.0000 -
1434.30/1439.33 c 1439 72164 2089 1 - 0.0000 -
1439.38/1444.40 c 1444 72738 2095 1 - 0.0000 -
1444.46/1449.53 c 1450 73335 2093 1 - 0.0000 -
1449.45/1454.58 c 1455 73922 2093 1 - 0.0000 -
1454.53/1459.67 c 1460 74536 2095 1 - 0.0000 -
1459.61/1464.74 c 1465 75196 2104 1 - 0.0000 -
1464.69/1469.83 c 1470 75744 2098 1 - 0.0000 -
1469.78/1474.93 c 1475 76347 2100 1 - 0.0000 -
1474.77/1479.98 c 1480 76909 2116 1 - 0.0000 -
1479.85/1485.05 c 1485 77511 2108 1 - 0.0000 -
1484.93/1490.15 c 1490 78126 2117 1 - 0.0000 -
1490.01/1495.24 c 1495 78705 2238 1 - 0.0000 -
1495.08/1500.33 c 1500 79293 2269 1 - 0.0000 -
1500.16/1505.48 c 1505 79850 2345 1 - 0.0000 -
1505.24/1510.56 c 1511 80430 2369 1 - 0.0000 -
1510.32/1515.64 c 1516 80957 2390 1 - 0.0000 -
1515.31/1520.69 c 1521 81451 2422 1 - 0.0000 -
1520.49/1525.86 c 1526 82020 2457 1 - 0.0000 -
1525.57/1530.93 c 1531 82529 2489 1 - 0.0000 -
1530.67/1536.00 c 1536 83116 2489 1 - 0.0000 -
1535.65/1541.07 c 1541 83722 2484 1 - 0.0000 -
1540.82/1546.20 c 1546 84271 2475 1 - 0.0000 -
1545.81/1551.25 c 1551 84867 2501 1 - 0.0000 -
1550.89/1556.31 c 1556 85583 2554 1 - 0.0000 -
1555.87/1561.35 c 1561 86207 2608 1 - 0.0000 -
1560.95/1566.44 c 1566 86882 2613 1 - 0.0000 -
1566.03/1571.52 c 1572 87584 2611 1 - 0.0000 -
1571.12/1576.60 c 1577 88324 2609 1 - 0.0000 -
1576.10/1581.68 c 1582 89033 2606 1 - 0.0000 -
1581.18/1586.78 c 1587 89717 2587 1 - 0.0000 -
1586.27/1591.89 c 1592 90403 2587 1 - 0.0000 -
1591.46/1597.01 c 1597 90967 2561 1 - 0.0000 -
1596.44/1602.10 c 1602 91591 2555 1 - 0.0000 -
1601.52/1607.19 c 1607 92219 2583 1 - 0.0000 -
1606.60/1612.25 c 1612 92840 2621 1 - 0.0000 -
1611.68/1617.30 c 1617 93795 2657 1 - 0.0000 -
1616.66/1622.34 c 1622 94647 2651 1 - 0.0000 -
1621.75/1627.40 c 1627 95385 2642 1 - 0.0000 -
1626.73/1632.46 c 1632 96177 2646 1 - 0.0000 -
1631.82/1637.53 c 1638 96935 2646 1 - 0.0000 -
1636.90/1642.61 c 1643 97676 2667 1 - 0.0000 -
1641.88/1647.67 c 1648 98418 2646 1 - 0.0000 -
1646.96/1652.72 c 1653 99206 2654 1 - 0.0000 -
1651.95/1657.78 c 1658 99894 2666 1 - 0.0000 -
1657.04/1662.83 c 1663 100660 2641 1 - 0.0000 -
1662.02/1667.90 c 1668 101484 2645 1 - 0.0000 -
1667.10/1672.96 c 1673 102320 2656 1 - 0.0000 -
1673.88/1679.72 c 1680 103054 2650 1 - 0.0000 -
1678.85/1684.79 c 1685 103793 2652 1 - 0.0000 -
1683.93/1689.85 c 1690 104552 2650 1 - 0.0000 -
1689.03/1694.90 c 1695 105344 2645 1 - 0.0000 -
1694.01/1699.97 c 1700 106147 2671 1 - 0.0000 -
1699.10/1705.02 c 1705 106883 2655 1 - 0.0000 -
1704.08/1710.10 c 1710 107556 2651 1 - 0.0000 -
1709.16/1715.17 c 1715 108218 2651 1 - 0.0000 -
1714.24/1720.23 c 1720 108912 2652 1 - 0.0000 -
1719.32/1725.38 c 1725 109574 2646 1 - 0.0000 -
1724.40/1730.44 c 1730 110319 2649 1 - 0.0000 -
1729.48/1735.50 c 1736 111017 2645 1 - 0.0000 -
1734.47/1740.55 c 1741 111666 2639 1 - 0.0000 -
1739.56/1745.61 c 1746 112277 2644 1 - 0.0000 -
1744.54/1750.66 c 1751 112952 2672 1 - 0.0000 -
1749.62/1755.71 c 1756 113619 2662 1 - 0.0000 -
1754.60/1760.76 c 1761 114290 2651 1 - 0.0000 -
1759.69/1765.82 c 1766 114877 2637 1 - 0.0000 -
1764.67/1770.87 c 1771 115605 2664 1 - 0.0000 -
1769.75/1775.94 c 1776 116384 2663 1 - 0.0000 -
1774.83/1781.00 c 1781 117087 2666 1 - 0.0000 -
1779.81/1786.06 c 1786 117795 2686 1 - 0.0000 -
1784.89/1791.12 c 1791 118523 2688 1 - 0.0000 -
1789.89/1796.19 c 1796 119291 2701 1 - 0.0000 -
1794.96/1801.28 c 1801 119917 2700 1 - 0.0000 -
1800.05/1806.34 c 1806 120648 2718 1 - 0.0000 -
1805.03/1811.39 c 1811 121378 2722 1 - 0.0000 -
1810.11/1816.44 c 1816 122086 2700 1 - 0.0000 -
1815.09/1821.49 c 1821 122786 2710 1 - 0.0000 -
1820.17/1826.54 c 1827 123544 2708 1 - 0.0000 -
1825.16/1831.59 c 1832 124212 2693 1 - 0.0000 -
1830.25/1836.65 c 1837 124914 2729 1 - 0.0000 -
1835.33/1841.70 c 1842 125572 2731 1 - 0.0000 -
1840.31/1846.77 c 1847 126239 2739 1 - 0.0000 -
1845.39/1851.83 c 1852 126944 2733 1 - 0.0000 -
1850.48/1856.92 c 1857 127670 2727 1 - 0.0000 -
1855.46/1861.98 c 1862 128333 2718 1 - 0.0000 -
1860.54/1867.05 c 1867 129034 2724 1 - 0.0000 -
1865.62/1872.13 c 1872 129731 2715 1 - 0.0000 -
1870.70/1877.24 c 1877 130403 2699 1 - 0.0000 -
1875.78/1882.31 c 1882 131068 2702 1 - 0.0000 -
1880.77/1887.39 c 1887 131756 2688 1 - 0.0000 -
1885.86/1892.44 c 1892 132519 2699 1 - 0.0000 -
1890.83/1897.47 c 1897 132972 2701 1 - 0.0000 -
1895.92/1902.52 c 1903 133651 2696 1 - 0.0000 -
1901.00/1907.60 c 1908 134312 2704 1 - 0.0000 -
1905.99/1912.66 c 1913 134997 2715 1 - 0.0000 -
1911.07/1917.71 c 1918 135748 2729 1 - 0.0000 -
1916.05/1922.77 c 1923 136401 2748 1 - 0.0000 -
1921.14/1927.88 c 1928 137093 2770 1 - 0.0000 -
1926.22/1932.93 c 1933 137810 2790 1 - 0.0000 -
1931.30/1938.03 c 1938 138530 2803 1 - 0.0000 -
1936.28/1943.07 c 1943 139169 2817 1 - 0.0000 -
1941.36/1948.13 c 1948 139874 2803 1 - 0.0000 -
1946.44/1953.22 c 1953 140506 2784 1 - 0.0000 -
1951.42/1958.27 c 1958 141147 2774 1 - 0.0000 -
1956.50/1963.34 c 1963 141802 2760 1 - 0.0000 -
1961.48/1968.39 c 1968 142532 2766 1 - 0.0000 -
1966.55/1973.45 c 1973 143143 2756 1 - 0.0000 -
1971.63/1978.50 c 1978 143781 2760 1 - 0.0000 -
1976.62/1983.55 c 1984 144454 2766 1 - 0.0000 -
1981.70/1988.62 c 1989 145111 2777 1 - 0.0000 -
1986.68/1993.69 c 1994 145793 2761 1 - 0.0000 -
1991.75/1998.77 c 1999 146483 2776 1 - 0.0000 -
1996.83/2003.82 c 2004 147155 2791 1 - 0.0000 -
2001.81/2008.86 c 2009 147819 2804 1 - 0.0000 -
2006.89/2013.96 c 2014 148436 2792 1 - 0.0000 -
2011.98/2019.01 c 2019 149069 2778 1 - 0.0000 -
2016.96/2024.07 c 2024 149705 2777 1 - 0.0000 -
2022.04/2029.12 c 2029 150431 2766 1 - 0.0000 -
2027.01/2034.19 c 2034 151075 2773 1 - 0.0000 -
2032.10/2039.24 c 2039 151734 2744 1 - 0.0000 -
2037.07/2044.29 c 2044 152395 2759 1 - 0.0000 -
2042.15/2049.34 c 2049 153031 2767 1 - 0.0000 -
2047.23/2054.40 c 2054 153645 2752 1 - 0.0000 -
2052.21/2059.47 c 2059 154295 2755 1 - 0.0000 -
2057.30/2064.54 c 2065 154977 2762 1 - 0.0000 -
2062.37/2069.60 c 2070 155682 2756 1 - 0.0000 -
2067.35/2074.66 c 2075 156397 2765 1 - 0.0000 -
2072.43/2079.71 c 2080 157062 2761 1 - 0.0000 -
2077.41/2084.77 c 2085 157806 2778 1 - 0.0000 -
2082.49/2089.82 c 2090 158498 2823 1 - 0.0000 -
2087.47/2094.89 c 2095 159144 2825 1 - 0.0000 -
2092.55/2099.93 c 2100 159831 2806 1 - 0.0000 -
2097.53/2104.99 c 2105 160486 2792 1 - 0.0000 -
2102.62/2110.06 c 2110 161174 2758 1 - 0.0000 -
2107.70/2115.12 c 2115 161893 2734 1 - 0.0000 -
2112.68/2120.19 c 2120 162550 2731 1 - 0.0000 -
2117.77/2125.25 c 2125 163213 2704 1 - 0.0000 -
2122.85/2130.31 c 2130 163899 2701 1 - 0.0000 -
2127.83/2135.38 c 2135 164516 2692 1 - 0.0000 -
2132.92/2140.45 c 2140 165247 2683 1 - 0.0000 -
2139.99/2147.50 c 2148 165832 2682 1 - 0.0000 -
2144.97/2152.59 c 2153 166498 2669 1 - 0.0000 -
2150.06/2157.64 c 2158 167200 2655 1 - 0.0000 -
2155.04/2162.69 c 2163 167859 2651 1 - 0.0000 -
2160.12/2167.74 c 2168 168557 2655 1 - 0.0000 -
2165.11/2172.79 c 2173 169276 2645 1 - 0.0000 -
2170.19/2177.86 c 2178 170046 2659 1 - 0.0000 -
2175.28/2182.92 c 2183 170757 2683 1 - 0.0000 -
2180.36/2188.00 c 2188 171535 2693 1 - 0.0000 -
2185.34/2193.06 c 2193 172303 2686 1 - 0.0000 -
2190.43/2198.13 c 2198 172929 2690 1 - 0.0000 -
2195.41/2203.18 c 2203 173542 2685 1 - 0.0000 -
2200.48/2208.25 c 2208 174237 2700 1 - 0.0000 -
2205.57/2213.32 c 2213 174876 2688 1 - 0.0000 -
2210.56/2218.38 c 2218 175593 2698 1 - 0.0000 -
2215.64/2223.43 c 2223 176202 2702 1 - 0.0000 -
2220.62/2228.48 c 2228 176941 2692 1 - 0.0000 -
2225.71/2233.54 c 2234 177620 2725 1 - 0.0000 -
2230.69/2238.59 c 2239 178208 2728 1 - 0.0000 -
2235.77/2243.68 c 2244 178852 2716 1 - 0.0000 -
2240.85/2248.76 c 2249 179523 2720 1 - 0.0000 -
2245.93/2253.82 c 2254 180145 2720 1 - 0.0000 -
2250.92/2258.88 c 2259 180780 2723 1 - 0.0000 -
2256.01/2263.93 c 2264 181435 2736 1 - 0.0000 -
2261.09/2269.00 c 2269 182073 2750 1 - 0.0000 -
2266.07/2274.07 c 2274 182702 2766 1 - 0.0000 -
2271.16/2279.14 c 2279 183344 2789 1 - 0.0000 -
2276.23/2284.22 c 2284 183963 2777 1 - 0.0000 -
2281.21/2289.28 c 2289 184598 2736 1 - 0.0000 -
2286.30/2294.34 c 2294 185285 2728 1 - 0.0000 -
2291.39/2299.40 c 2299 186001 2734 1 - 0.0000 -
2296.37/2304.46 c 2304 186689 2735 1 - 0.0000 -
2301.45/2309.54 c 2310 187294 2743 1 - 0.0000 -
2306.53/2314.62 c 2315 187943 2725 1 - 0.0000 -
2311.51/2319.67 c 2320 188570 2748 1 - 0.0000 -
2316.59/2324.76 c 2325 189253 2756 1 - 0.0000 -
2321.68/2329.84 c 2330 189851 2743 1 - 0.0000 -
2326.77/2334.90 c 2335 190521 2729 1 - 0.0000 -
2331.75/2339.96 c 2340 191188 2750 1 - 0.0000 -
2336.84/2345.04 c 2345 191815 2751 1 - 0.0000 -
2341.92/2350.11 c 2350 192431 2741 1 - 0.0000 -
2346.91/2355.17 c 2355 193082 2736 1 - 0.0000 -
2351.98/2360.22 c 2360 193760 2767 1 - 0.0000 -
2356.97/2365.28 c 2365 194354 2755 1 - 0.0000 -
2362.05/2370.32 c 2370 194946 2761 1 - 0.0000 -
2367.03/2375.39 c 2375 195578 2772 1 - 0.0000 -
2372.12/2380.45 c 2380 196185 2759 1 - 0.0000 -
2377.20/2385.52 c 2386 196882 2741 1 - 0.0000 -
2382.29/2390.61 c 2391 197475 2749 1 - 0.0000 -
2387.27/2395.66 c 2396 198139 2754 1 - 0.0000 -
2392.35/2400.72 c 2401 198856 2735 1 - 0.0000 -
2397.34/2405.77 c 2406 199437 2714 1 - 0.0000 -
2402.42/2410.82 c 2411 200107 2715 1 - 0.0000 -
2407.40/2415.89 c 2416 200713 2696 1 - 0.0000 -
2412.48/2420.94 c 2421 201367 2679 1 - 0.0000 -
2417.57/2426.03 c 2426 202027 2686 1 - 0.0000 -
2422.56/2431.10 c 2431 202658 2674 1 - 0.0000 -
2428.53/2437.00 c 2437 203107 2686 1 - 0.0000 -
2433.52/2442.04 c 2442 203754 2691 1 - 0.0000 -
2438.50/2447.10 c 2447 204430 2684 1 - 0.0000 -
2443.59/2452.17 c 2452 205107 2679 1 - 0.0000 -
2448.67/2457.25 c 2457 205796 2663 1 - 0.0000 -
2453.75/2462.33 c 2462 206451 2655 1 - 0.0000 -
2458.83/2467.40 c 2467 207123 2664 1 - 0.0000 -
2463.83/2472.45 c 2472 207808 2667 1 - 0.0000 -
2468.91/2477.51 c 2478 208401 2658 1 - 0.0000 -
2473.89/2482.57 c 2483 209010 2630 1 - 0.0000 -
2478.98/2487.63 c 2488 209734 2672 1 - 0.0000 -
2483.96/2492.69 c 2493 210381 2675 1 - 0.0000 -
2489.04/2497.78 c 2498 210996 2689 1 - 0.0000 -
2494.13/2502.83 c 2503 211618 2686 1 - 0.0000 -
2499.12/2507.87 c 2508 212273 2697 1 - 0.0000 -
2504.21/2512.97 c 2513 212925 2685 1 - 0.0000 -
2509.30/2518.03 c 2518 213593 2667 1 - 0.0000 -
2514.38/2523.13 c 2523 214196 2651 1 - 0.0000 -
2519.36/2528.18 c 2528 214854 2647 1 - 0.0000 -
2524.44/2533.25 c 2533 215592 2664 1 - 0.0000 -
2529.52/2538.30 c 2538 216326 2658 1 - 0.0000 -
2534.51/2543.38 c 2543 217060 2646 1 - 0.0000 -
2539.60/2548.43 c 2548 217794 2667 1 - 0.0000 -
2544.68/2553.51 c 2554 218487 2664 1 - 0.0000 -
2549.67/2558.58 c 2559 219205 2657 1 - 0.0000 -
2554.75/2563.65 c 2564 219937 2658 1 - 0.0000 -
2559.83/2568.71 c 2569 220608 2653 1 - 0.0000 -
2564.81/2573.76 c 2574 221320 2651 1 - 0.0000 -
2569.90/2578.82 c 2579 222082 2658 1 - 0.0000 -
2574.89/2583.88 c 2584 222803 2660 1 - 0.0000 -
2579.98/2588.93 c 2589 223490 2687 1 - 0.0000 -
2584.96/2593.99 c 2594 224251 2654 1 - 0.0000 -
2590.04/2599.05 c 2599 224928 2655 1 - 0.0000 -
2595.13/2604.10 c 2604 225751 2652 1 - 0.0000 -
2600.12/2609.15 c 2609 226542 2652 1 - 0.0000 -
2605.19/2614.20 c 2614 227273 2649 1 - 0.0000 -
2610.19/2619.26 c 2619 228012 2651 1 - 0.0000 -
2615.27/2624.31 c 2624 228755 2675 1 - 0.0000 -
2620.26/2629.37 c 2629 229435 2681 1 - 0.0000 -
2625.34/2634.44 c 2634 230201 2678 1 - 0.0000 -
2630.42/2639.54 c 2640 230862 2665 1 - 0.0000 -
2635.51/2644.61 c 2645 231570 2646 1 - 0.0000 -
2640.49/2649.67 c 2650 232290 2665 1 - 0.0000 -
2645.57/2654.74 c 2655 232932 2663 1 - 0.0000 -
2650.66/2659.80 c 2660 233592 2657 1 - 0.0000 -
2655.65/2664.86 c 2665 234271 2661 1 - 0.0000 -
2660.73/2669.92 c 2670 234964 2677 1 - 0.0000 -
2665.71/2674.99 c 2675 235579 2682 1 - 0.0000 -
2670.80/2680.06 c 2680 236258 2694 1 - 0.0000 -
2675.89/2685.15 c 2685 236956 2706 1 - 0.0000 -
2680.96/2690.23 c 2690 237673 2717 1 - 0.0000 -
2686.05/2695.34 c 2695 238261 2717 1 - 0.0000 -
2691.13/2700.40 c 2700 238849 2702 1 - 0.0000 -
2696.11/2705.47 c 2705 239501 2709 1 - 0.0000 -
2701.19/2710.54 c 2711 240228 2713 1 - 0.0000 -
2706.18/2715.59 c 2716 240883 2718 1 - 0.0000 -
2711.26/2720.64 c 2721 241557 2715 1 - 0.0000 -
2716.35/2725.70 c 2726 242214 2695 1 - 0.0000 -
2721.34/2730.76 c 2731 242859 2709 1 - 0.0000 -
2726.42/2735.81 c 2736 243540 2701 1 - 0.0000 -
2731.41/2740.86 c 2741 244192 2688 1 - 0.0000 -
2736.49/2745.93 c 2746 244855 2704 1 - 0.0000 -
2741.47/2750.98 c 2751 245437 2707 1 - 0.0000 -
2746.57/2756.03 c 2756 246097 2699 1 - 0.0000 -
2751.55/2761.09 c 2761 246715 2708 1 - 0.0000 -
2756.63/2766.18 c 2766 247285 2680 1 - 0.0000 -
2761.71/2771.25 c 2771 247882 2718 1 - 0.0000 -
2766.80/2776.33 c 2776 248517 2743 1 - 0.0000 -
2771.78/2781.39 c 2781 249232 2742 1 - 0.0000 -
2776.87/2786.46 c 2786 249910 2744 1 - 0.0000 -
2781.96/2791.52 c 2792 250646 2770 1 - 0.0000 -
2786.94/2796.57 c 2797 251271 2769 1 - 0.0000 -
2792.02/2801.63 c 2802 251951 2766 1 - 0.0000 -
2797.11/2806.74 c 2807 252670 2772 1 - 0.0000 -
2802.19/2811.89 c 2812 253402 2822 1 - 0.0000 -
2807.27/2816.94 c 2817 254100 2844 1 - 0.0000 -
2812.26/2821.99 c 2822 254750 2874 1 - 0.0000 -
2817.35/2827.07 c 2827 255474 2869 1 - 0.0000 -
2822.43/2832.12 c 2832 256137 2814 1 - 0.0000 -
2827.41/2837.19 c 2837 256836 2851 1 - 0.0000 -
2832.49/2842.24 c 2842 257573 2830 1 - 0.0000 -
2837.48/2847.29 c 2847 258224 2826 1 - 0.0000 -
2842.56/2852.34 c 2852 258889 2825 1 - 0.0000 -
2847.65/2857.40 c 2857 259591 2810 1 - 0.0000 -
2852.63/2862.46 c 2862 260201 2807 1 - 0.0000 -
2857.71/2867.51 c 2868 260870 2807 1 - 0.0000 -
2862.69/2872.57 c 2873 261483 2821 1 - 0.0000 -
2867.77/2877.63 c 2878 262157 2832 1 - 0.0000 -
2872.77/2882.68 c 2883 262784 2857 1 - 0.0000 -
2877.85/2887.73 c 2888 263422 2823 1 - 0.0000 -
2882.83/2892.79 c 2893 264080 2841 1 - 0.0000 -
2887.91/2897.87 c 2898 264718 2857 1 - 0.0000 -
2893.00/2902.95 c 2903 265371 2821 1 - 0.0000 -
2898.08/2908.01 c 2908 266075 2829 1 - 0.0000 -
2903.06/2913.08 c 2913 266727 2822 1 - 0.0000 -
2908.14/2918.13 c 2918 267409 2810 1 - 0.0000 -
2913.13/2923.18 c 2923 268116 2825 1 - 0.0000 -
2918.21/2928.23 c 2928 268821 2807 1 - 0.0000 -
2923.30/2933.30 c 2933 269464 2817 1 - 0.0000 -
2928.27/2938.35 c 2938 270189 2815 1 - 0.0000 -
2933.36/2943.43 c 2943 270890 2798 1 - 0.0000 -
2938.34/2948.48 c 2948 271612 2800 1 - 0.0000 -
2943.42/2953.55 c 2954 272293 2788 1 - 0.0000 -
2948.51/2958.60 c 2959 273015 2765 1 - 0.0000 -
2953.49/2963.66 c 2964 273768 2751 1 - 0.0000 -
2958.58/2968.71 c 2969 274433 2762 1 - 0.0000 -
2963.56/2973.76 c 2974 275102 2729 1 - 0.0000 -
2968.64/2978.82 c 2979 275853 2740 1 - 0.0000 -
2973.62/2983.89 c 2984 276679 2749 1 - 0.0000 -
2978.71/2988.94 c 2989 277441 2775 1 - 0.0000 -
2983.80/2994.00 c 2994 278210 2786 1 - 0.0000 -
2988.78/2999.07 c 2999 278946 2803 1 - 0.0000 -
2993.86/3004.12 c 3004 279658 2790 1 - 0.0000 -
2998.84/3009.18 c 3009 280377 2735 1 - 0.0000 -
3003.92/3014.24 c 3014 281082 2712 1 - 0.0000 -
3009.01/3019.31 c 3019 281707 2704 1 - 0.0000 -
3013.99/3024.37 c 3024 282409 2675 1 - 0.0000 -
3019.07/3029.42 c 3029 283127 2673 1 - 0.0000 -
3024.06/3034.47 c 3034 283807 2677 1 - 0.0000 -
3029.14/3039.55 c 3040 284494 2681 1 - 0.0000 -
3034.22/3044.60 c 3045 285203 2667 1 - 0.0000 -
3039.21/3049.69 c 3050 285850 2659 1 - 0.0000 -
3044.29/3054.74 c 3055 286631 2664 1 - 0.0000 -
3049.27/3059.79 c 3060 287304 2667 1 - 0.0000 -
3054.34/3064.85 c 3065 287962 2679 1 - 0.0000 -
3059.40/3069.94 c 3070 288582 2667 1 - 0.0000 -
3064.35/3074.99 c 3075 289219 2661 1 - 0.0000 -
3069.41/3080.07 c 3080 289954 2686 1 - 0.0000 -
3074.49/3085.13 c 3085 290666 2704 1 - 0.0000 -
3079.48/3090.19 c 3090 291318 2709 1 - 0.0000 -
3084.56/3095.25 c 3095 291996 2700 1 - 0.0000 -
3089.64/3100.30 c 3100 292620 2711 1 - 0.0000 -
3095.43/3106.18 c 3106 293132 2718 1 - 0.0000 -
3100.51/3111.26 c 3111 293771 2715 1 - 0.0000 -
3105.59/3116.33 c 3116 294519 2733 1 - 0.0000 -
3110.58/3121.39 c 3121 295139 2759 1 - 0.0000 -
3115.67/3126.43 c 3126 295820 2741 1 - 0.0000 -
3120.75/3131.51 c 3132 296620 2743 1 - 0.0000 -
3125.74/3136.57 c 3137 297424 2759 1 - 0.0000 -
3130.82/3141.63 c 3142 298221 2764 1 - 0.0000 -
3135.80/3146.69 c 3147 298954 2751 1 - 0.0000 -
3140.89/3151.74 c 3152 299656 2776 1 - 0.0000 -
3145.88/3156.79 c 3157 300286 2794 1 - 0.0000 -
3150.97/3161.88 c 3162 300954 2777 1 - 0.0000 -
3156.05/3166.93 c 3167 301619 2831 1 - 0.0000 -
3161.14/3172.00 c 3172 302228 2839 1 - 0.0000 -
3166.12/3177.06 c 3177 302832 2808 1 - 0.0000 -
3171.21/3182.12 c 3182 303439 2772 1 - 0.0000 -
3176.19/3187.17 c 3187 304149 2752 1 - 0.0000 -
3181.27/3192.22 c 3192 304917 2766 1 - 0.0000 -
3186.35/3197.30 c 3197 305689 2766 1 - 0.0000 -
3191.34/3202.35 c 3202 306444 2763 1 - 0.0000 -
3196.42/3207.40 c 3207 307246 2758 1 - 0.0000 -
3201.41/3212.47 c 3212 308004 2749 1 - 0.0000 -
3206.50/3217.54 c 3218 308778 2743 1 - 0.0000 -
3211.49/3222.59 c 3223 309599 2722 1 - 0.0000 -
3216.57/3227.64 c 3228 310330 2722 1 - 0.0000 -
3221.65/3232.70 c 3233 311100 2729 1 - 0.0000 -
3226.63/3237.76 c 3238 311785 2729 1 - 0.0000 -
3231.72/3242.82 c 3243 312461 2726 1 - 0.0000 -
3236.80/3247.91 c 3248 313157 2772 1 - 0.0000 -
3241.78/3252.96 c 3253 313854 2799 1 - 0.0000 -
3246.88/3258.02 c 3258 314569 2821 1 - 0.0000 -
3251.86/3263.07 c 3263 315269 2802 1 - 0.0000 -
3256.94/3268.13 c 3268 315955 2801 1 - 0.0000 -
3261.92/3273.19 c 3273 316635 2755 1 - 0.0000 -
3267.00/3278.27 c 3278 317334 2760 1 - 0.0000 -
3272.08/3283.33 c 3283 318004 2776 1 - 0.0000 -
3277.07/3288.40 c 3288 318660 2771 1 - 0.0000 -
3282.15/3293.48 c 3293 319298 2771 1 - 0.0000 -
3287.23/3298.53 c 3299 319942 2765 1 - 0.0000 -
3292.22/3303.59 c 3304 320662 2784 1 - 0.0000 -
3297.30/3308.67 c 3309 321396 2767 1 - 0.0000 -
3302.38/3313.71 c 3314 322073 2755 1 - 0.0000 -
3307.37/3318.76 c 3319 322775 2756 1 - 0.0000 -
3312.45/3323.84 c 3324 323443 2744 1 - 0.0000 -
3317.53/3328.96 c 3329 324206 2728 1 - 0.0000 -
3322.62/3334.03 c 3334 324948 2723 1 - 0.0000 -
3327.71/3339.10 c 3339 325734 2715 1 - 0.0000 -
3332.70/3344.18 c 3344 326501 2734 1 - 0.0000 -
3337.78/3349.26 c 3349 327182 2728 1 - 0.0000 -
3342.86/3354.31 c 3354 327868 2716 1 - 0.0000 -
3347.84/3359.36 c 3359 328647 2714 1 - 0.0000 -
3352.93/3364.42 c 3364 329406 2714 1 - 0.0000 -
3357.92/3369.47 c 3369 330129 2728 1 - 0.0000 -
3363.01/3374.53 c 3375 330879 2769 1 - 0.0000 -
3367.99/3379.58 c 3380 331544 2804 1 - 0.0000 -
3373.07/3384.65 c 3385 332258 2806 1 - 0.0000 -
3378.16/3389.71 c 3390 332899 2801 1 - 0.0000 -
3383.25/3394.80 c 3395 333467 2792 1 - 0.0000 -
3388.23/3399.87 c 3400 334118 2784 1 - 0.0000 -
3393.32/3404.95 c 3405 334804 2791 1 - 0.0000 -
3398.41/3410.00 c 3410 335471 2773 1 - 0.0000 -
3403.40/3415.07 c 3415 336233 2783 1 - 0.0000 -
3408.48/3420.12 c 3420 336956 2781 1 - 0.0000 -
3413.47/3425.18 c 3425 337651 2770 1 - 0.0000 -
3418.55/3430.24 c 3430 338316 2739 1 - 0.0000 -
3423.64/3435.32 c 3435 339000 2754 1 - 0.0000 -
3428.62/3440.37 c 3440 339746 2747 1 - 0.0000 -
3433.71/3445.42 c 3445 340429 2734 1 - 0.0000 -
3438.69/3450.47 c 3450 341190 2729 1 - 0.0000 -
3443.77/3455.54 c 3456 341904 2726 1 - 0.0000 -
3449.67/3461.47 c 3461 342483 2719 1 - 0.0000 -
3454.75/3466.52 c 3467 343274 2716 1 - 0.0000 -
3459.74/3471.57 c 3472 344012 2735 1 - 0.0000 -
3464.82/3476.62 c 3477 344784 2769 1 - 0.0000 -
3469.81/3481.67 c 3482 345475 2787 1 - 0.0000 -
3474.89/3486.73 c 3487 346179 2783 1 - 0.0000 -
3479.98/3491.82 c 3492 346867 2773 1 - 0.0000 -
3484.96/3496.87 c 3497 347572 2787 1 - 0.0000 -
3490.05/3501.92 c 3502 348270 2772 1 - 0.0000 -
3495.03/3506.99 c 3507 348954 2754 1 - 0.0000 -
3500.13/3512.06 c 3512 349632 2742 1 - 0.0000 -
3505.21/3517.13 c 3517 350374 2737 1 - 0.0000 -
3510.29/3522.20 c 3522 351110 2713 1 - 0.0000 -
3515.28/3527.27 c 3527 351774 2741 1 - 0.0000 -
3520.36/3532.34 c 3532 352451 2743 1 - 0.0000 -
3525.35/3537.39 c 3537 353145 2742 1 - 0.0000 -
3530.43/3542.44 c 3542 353842 2756 1 - 0.0000 -
3535.52/3547.51 c 3548 354562 2750 1 - 0.0000 -
3540.50/3552.57 c 3553 355338 2748 1 - 0.0000 -
3545.60/3557.63 c 3558 356035 2770 1 - 0.0000 -
3550.68/3562.71 c 3563 356708 2759 1 - 0.0000 -
3555.66/3567.79 c 3568 357484 2764 1 - 0.0000 -
3560.75/3572.86 c 3573 358196 2760 1 - 0.0000 -
3565.84/3577.92 c 3578 358912 2775 1 - 0.0000 -
3570.83/3582.96 c 3583 359675 2795 1 - 0.0000 -
3575.92/3588.03 c 3588 360341 2788 1 - 0.0000 -
3580.90/3593.10 c 3593 361119 2825 1 - 0.0000 -
3585.98/3598.18 c 3598 361830 2814 1 - 0.0000 -
3587.88/3600.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.88/3600.05 c Total Time : 3600.0500
3587.88/3600.05 c solving : 3600.0500
3587.88/3600.05 c presolving : 0.1299 (included in solving)
3587.88/3600.05 c B&B Tree :
3587.88/3600.05 c nodes (total) : 1
3587.88/3600.05 c Solution :
3587.88/3600.05 c Solutions found : 0
3587.88/3600.05 c Primal Bound : -
3587.88/3600.05 c Dual Bound : +0.00000000000000e+00
3587.88/3600.05 c Gap : -
3587.88/3600.06 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60669 MiB free)
memory of node 1: 64510 MiB (60932 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450780-1721419546/watcher-4450780-1721419546 -o /tmp/evaluation-result-4450780-1721419546/solver-4450780-1721419546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040498 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450780-1721419546.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1045859, runsolver pid=1045856
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.12 4.11 4.09 6/261 1045860
/proc/meminfo: memFree=124489640/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=52464 memory=41468 CPUtime=0.09 cores=0,2
/proc/1045859/stat : 1045859 (fscip) R 1045856 1045859 1040488 0 -1 4194304 9064 0 0 0 9 0 0 0 20 0 1 0 194124365 53723136 10367 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 13116 10367 2702 3032 0 9516 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52464 KiB
Current children cumulated memory: 41468 KiB
[startup+0.206138 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 1045862
/proc/meminfo: memFree=124462396/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=147468 memory=68308 CPUtime=0.2 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 17568 0 0 0 18 2 0 0 20 0 3 0 194124365 151007232 17077 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 36867 17077 2782 3032 0 21737 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=147468 memory=6007641856751698051 CPUtime=0.02 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 4718 0 0 0 2 0 0 0 20 0 3 0 194124381 151007232 17077 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=147468 memory=17963 CPUtime=0 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194124384 151007232 17077 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 147468 KiB
Current children cumulated memory: 68308 KiB
[startup+0.306136 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 1045862
/proc/meminfo: memFree=124453996/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=148496 memory=76704 CPUtime=0.29 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 19698 0 0 0 27 2 0 0 20 0 3 0 194124365 152059904 19176 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 37124 19176 2782 3032 0 23822 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=148496 memory=-7664417297291173499 CPUtime=0.11 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 6848 0 0 0 11 0 0 0 20 0 3 0 194124381 152059904 19176 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=148496 memory=0 CPUtime=0 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194124384 152059904 19176 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148496 KiB
Current children cumulated memory: 76704 KiB
[startup+0.700222 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 1045862
/proc/meminfo: memFree=124433416/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=216088 memory=123808 CPUtime=0.67 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 32378 0 0 0 64 3 0 0 20 0 3 0 194124365 221274112 30952 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 54022 30952 2942 3032 0 36567 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=216088 memory=0 CPUtime=0.49 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 19528 0 0 0 48 1 0 0 20 0 3 0 194124381 221274112 30952 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=216088 memory=0 CPUtime=0 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194124384 221274112 30952 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 216088 KiB
Current children cumulated memory: 123808 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 1045862
/proc/meminfo: memFree=124407064/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=216088 memory=123972 CPUtime=1.47 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 34270 0 0 0 144 3 0 0 20 0 3 0 194124365 221274112 30993 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 54022 30993 2942 3032 0 36567 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=216088 memory=0 CPUtime=1.29 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 21420 0 0 0 128 1 0 0 20 0 3 0 194124381 221274112 30993 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=216088 memory=0 CPUtime=0 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194124384 221274112 30993 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 216088 KiB
Current children cumulated memory: 123972 KiB
[startup+3.10538 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 1045862
/proc/meminfo: memFree=124407144/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=216088 memory=123976 CPUtime=3.07 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 40288 0 0 0 304 3 0 0 20 0 3 0 194124365 221274112 30994 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 54022 30994 2942 3032 0 36567 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=216088 memory=0 CPUtime=2.9 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 27436 0 0 0 288 2 0 0 20 0 3 0 194124381 221274112 30994 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=216088 memory=2209 CPUtime=0 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 194124384 221274112 30994 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 216088 KiB
Current children cumulated memory: 123976 KiB
[startup+6.30017 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 1045862
/proc/meminfo: memFree=124406992/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=216088 memory=124252 CPUtime=6.26 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 48239 0 0 0 622 4 0 0 20 0 3 0 194124365 221274112 31063 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 54022 31063 2942 3032 0 36567 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=216088 memory=0 CPUtime=6.07 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 35385 0 0 0 605 2 0 0 20 0 3 0 194124381 221274112 31063 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=216088 memory=0 CPUtime=0 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 194124384 221274112 31063 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 216088 KiB
Current children cumulated memory: 124252 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1045863
/proc/meminfo: memFree=124406368/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=216088 memory=124736 CPUtime=12.64 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 67355 0 0 0 1259 5 0 0 20 0 3 0 194124365 221274112 31184 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 54022 31184 2942 3032 0 36567 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=216088 memory=124316 CPUtime=12.46 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 54492 0 0 0 1243 3 0 0 20 0 3 0 194124381 221274112 31184 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=216088 memory=12340 CPUtime=0 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 194124384 221274112 31184 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 216088 KiB
Current children cumulated memory: 124736 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 1045865
/proc/meminfo: memFree=124404112/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=218056 memory=137392 CPUtime=25.4 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 92220 0 0 0 2533 7 0 0 20 0 3 0 194124365 223289344 34348 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 54514 34348 2942 3032 0 40357 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=218056 memory=126788 CPUtime=25.22 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 79348 0 0 0 2517 5 0 0 20 0 3 0 194124381 223289344 34348 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=218056 memory=12340 CPUtime=0 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 194124384 223289344 34348 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 218056 KiB
Current children cumulated memory: 137392 KiB
[startup+51.1054 s]
/proc/loadavg: 4.05 4.09 4.09 5/262 1045870
/proc/meminfo: memFree=124379224/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=218056 memory=151032 CPUtime=50.93 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 118957 0 0 0 5084 9 0 0 20 0 3 0 194124365 223289344 37758 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 54514 37758 2942 3032 0 43914 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=218056 memory=151032 CPUtime=50.74 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 106017 0 0 0 5067 7 0 0 20 0 3 0 194124381 223289344 37758 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=218056 memory=151032 CPUtime=0 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 194124384 223289344 37758 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 218056 KiB
Current children cumulated memory: 151032 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/262 1045879
/proc/meminfo: memFree=124378868/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=218056 memory=151032 CPUtime=101.96 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 134768 0 0 0 10187 9 0 0 20 0 3 0 194124365 223289344 37758 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 54514 37758 2942 3032 0 43914 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=218056 memory=151032 CPUtime=101.79 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 121802 0 0 0 10171 8 0 0 20 0 3 0 194124381 223289344 37758 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=218056 memory=151032 CPUtime=0 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 194124384 223289344 37758 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 218056 KiB
Current children cumulated memory: 151032 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 1045890
/proc/meminfo: memFree=124378316/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=218056 memory=151032 CPUtime=161.77 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 142730 0 0 0 16167 10 0 0 20 0 3 0 194124365 223289344 37758 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 54514 37758 2942 3032 0 43914 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=218056 memory=12312 CPUtime=161.58 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 129752 0 0 0 16150 8 0 0 20 0 3 0 194124381 223289344 37758 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=218056 memory=151032 CPUtime=0 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 194124384 223289344 37758 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 218056 KiB
Current children cumulated memory: 151032 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 1045900
################
# More data... #
################
/proc/1045859/statm: 87282 74988 3310 3032 0 76906 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=349128 memory=299952 CPUtime=3390.36 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 515912 0 0 0 338916 120 0 0 20 0 3 0 194124381 357507072 74988 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=349128 memory=12312 CPUtime=0.02 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 201 0 0 0 1 1 0 0 20 0 3 0 194124384 357507072 74988 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3390.72 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 299952 KiB
[startup+3462.3 s]
/proc/loadavg: 1.26 1.82 2.39 2/238 1047760
/proc/meminfo: memFree=125052416/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=349128 memory=302916 CPUtime=3450.56 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 531894 0 0 0 344927 129 0 0 20 0 3 0 194124365 357507072 75729 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 87282 75729 3310 3032 0 77673 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=349128 memory=299952 CPUtime=3450.19 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 517957 0 0 0 344897 122 0 0 20 0 3 0 194124381 357507072 75729 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=349128 memory=12312 CPUtime=0.03 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 203 0 0 0 1 2 0 0 20 0 3 0 194124384 357507072 75729 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3450.56 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 302916 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 1.69 2.30 2/236 1047772
/proc/meminfo: memFree=125052076/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=349128 memory=303044 CPUtime=3510.39 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 532634 0 0 0 350909 130 0 0 20 0 3 0 194124365 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 87282 75761 3310 3032 0 77673 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=349128 memory=299952 CPUtime=3510.02 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 518682 0 0 0 350879 123 0 0 20 0 3 0 194124381 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=349128 memory=303044 CPUtime=0.03 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 205 0 0 0 1 2 0 0 20 0 3 0 194124384 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3510.39 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 303044 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.57 2.22 2/236 1047783
/proc/meminfo: memFree=125051424/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=349128 memory=303044 CPUtime=3570.23 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 533453 0 0 0 356891 132 0 0 20 0 3 0 194124365 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 87282 75761 3310 3032 0 77673 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=349128 memory=12340 CPUtime=3569.84 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 519485 0 0 0 356860 124 0 0 20 0 3 0 194124381 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=349128 memory=303044 CPUtime=0.03 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 207 0 0 0 1 2 0 0 20 0 3 0 194124384 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3570.23 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 303044 KiB
[startup+3600.07 s]
# the end of solver process 1045859 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.62 s, system=1.32919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.09 1.57 2.22 2/236 1047783
/proc/meminfo: memFree=125051424/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=349128 memory=303044 CPUtime=3571.93 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 533461 0 0 0 357061 132 0 0 20 0 3 0 194124365 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 87282 75761 3310 3032 0 77673 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=349128 memory=-6807889875275189607 CPUtime=3571.54 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 519493 0 0 0 357030 124 0 0 20 0 3 0 194124381 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=349128 memory=3452 CPUtime=0.03 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 207 0 0 0 1 2 0 0 20 0 3 0 194124384 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 303044 KiB
[startup+3590.4 s]
/proc/loadavg: 1.09 1.56 2.22 2/236 1047784
/proc/meminfo: memFree=125051288/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=349128 memory=303044 CPUtime=3578.3 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 533466 0 0 0 357698 132 0 0 20 0 3 0 194124365 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 87282 75761 3310 3032 0 77673 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=349128 memory=12312 CPUtime=3577.92 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 519498 0 0 0 357668 124 0 0 20 0 3 0 194124381 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=349128 memory=303044 CPUtime=0.03 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 207 0 0 0 1 2 0 0 20 0 3 0 194124384 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3578.3 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 303044 KiB
[startup+3596.8 s]
/proc/loadavg: 1.15 1.56 2.21 2/236 1047784
/proc/meminfo: memFree=125051288/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=349128 memory=303044 CPUtime=3584.68 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 533478 0 0 0 358336 132 0 0 20 0 3 0 194124365 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 87282 75761 3310 3032 0 77673 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=349128 memory=303044 CPUtime=3584.31 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 519510 0 0 0 358306 125 0 0 20 0 3 0 194124381 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=349128 memory=0 CPUtime=0.03 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 207 0 0 0 1 2 0 0 20 0 3 0 194124384 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3584.68 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 303044 KiB
[startup+3598.4 s]
/proc/loadavg: 1.15 1.56 2.21 2/236 1047786
/proc/meminfo: memFree=125051344/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=349128 memory=303044 CPUtime=3586.28 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 533478 0 0 0 358496 132 0 0 20 0 3 0 194124365 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 87282 75761 3310 3032 0 77673 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=349128 memory=12340 CPUtime=3585.9 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 519510 0 0 0 358465 125 0 0 20 0 3 0 194124381 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=349128 memory=49592 CPUtime=0.03 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 207 0 0 0 1 2 0 0 20 0 3 0 194124384 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3586.28 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 303044 KiB
[startup+3599.2 s]
/proc/loadavg: 1.15 1.56 2.21 2/236 1047786
/proc/meminfo: memFree=125051344/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=349128 memory=303044 CPUtime=3587.08 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 533478 0 0 0 358576 132 0 0 20 0 3 0 194124365 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 87282 75761 3310 3032 0 77673 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=349128 memory=49592 CPUtime=3586.7 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 519510 0 0 0 358545 125 0 0 20 0 3 0 194124381 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=349128 memory=12312 CPUtime=0.03 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 207 0 0 0 1 2 0 0 20 0 3 0 194124384 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 303044 KiB
[startup+3599.6 s]
/proc/loadavg: 1.15 1.56 2.21 2/236 1047786
/proc/meminfo: memFree=125051344/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=349128 memory=303044 CPUtime=3587.48 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 533478 0 0 0 358616 132 0 0 20 0 3 0 194124365 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 87282 75761 3310 3032 0 77673 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=349128 memory=1816 CPUtime=3587.1 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 519510 0 0 0 358585 125 0 0 20 0 3 0 194124381 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=349128 memory=2000 CPUtime=0.03 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 207 0 0 0 1 2 0 0 20 0 3 0 194124384 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 303044 KiB
[startup+3600 s]*
/proc/loadavg: 1.15 1.56 2.21 2/236 1047786
/proc/meminfo: memFree=125051344/131524600 swapFree=131071996/131071996
[pid=1045859] ppid=1045856 vsize=349128 memory=303044 CPUtime=3587.88 cores=0,2
/proc/1045859/stat : 1045859 (fscip) S 1045856 1045859 1040488 0 -1 1077936128 533478 0 0 0 358656 132 0 0 20 0 3 0 194124365 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
/proc/1045859/statm: 87282 75761 3310 3032 0 77673 0
[pid=1045859/tid=1045861] ppid=1045856 vsize=349128 memory=2676 CPUtime=3587.5 cores=0,2
/proc/1045859/task/1045861/stat : 1045861 (fscip) R 1045856 1045859 1040488 0 -1 4194368 519510 0 0 0 358625 125 0 0 20 0 3 0 194124381 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
[pid=1045859/tid=1045862] ppid=1045856 vsize=349128 memory=3152 CPUtime=0.03 cores=0,2
/proc/1045859/task/1045862/stat : 1045862 (fscip) S 1045856 1045859 1040488 0 -1 1077936192 207 0 0 0 1 2 0 0 20 0 3 0 194124384 357507072 75761 134679101440 4194304 16613245 140732054451456 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53923840 140732054455315 140732054455431 140732054455431 140732054462448 0
Current children cumulated CPU time: 3587.88 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 303044 KiB
Child status: 0
Real time (s): 3600.07
CPU time (s): 3587.95
CPU user time (s): 3586.62
CPU system time (s): 1.32919
CPU usage (%): 99.6635
Max. virtual memory (cumulated for all children) (KiB): 349128
Max. memory (cumulated for all children) (KiB): 303044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.62
system time used= 1.32919
maximum resident set size= 303044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533774
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= 9616
involuntary context switches= 25461
# summary of solver processes directly reported to runsolver:
# pid: 1045859
# total CPU time (s): 3587.95
# total CPU user time (s): 3586.62
# total CPU system time (s): 1.32919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7372 second user time and 16.5826 second system time
The end
Begin job on nodeC033 at 2024-07-19 22:05:59
IDJOB=4450780
IDBENCH=162276
IDSOLVER=3064
FILE ID=nodeC033/4450780-1721419546
RUNJOBID= nodeC033-1721410598-1040498
SLURM_JOB_ID= 7545470
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round21-4.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-4450780-1721419546/watcher-4450780-1721419546 -o /tmp/evaluation-result-4450780-1721419546/solver-4450780-1721419546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040498 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450780-1721419546.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f504409cca969bd8c5b41a512643c0a3
RANDOM SEED=1736627561
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 : 3655.358
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 : 3688.601
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 : 3668.986
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 : 3600.195
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 : 3664.474
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 : 3688.622
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 : 3600.064
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 : 3599.937
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: 124520692 kB
MemAvailable: 128960432 kB
Buffers: 578184 kB
Cached: 4653644 kB
SwapCached: 0 kB
Active: 1038640 kB
Inactive: 5235276 kB
Active(anon): 1556 kB
Inactive(anon): 1086432 kB
Active(file): 1037084 kB
Inactive(file): 4148844 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28788 kB
Writeback: 0 kB
AnonPages: 1036568 kB
Mapped: 143500 kB
Shmem: 45908 kB
KReclaimable: 186920 kB
Slab: 310284 kB
SReclaimable: 186920 kB
SUnreclaim: 123364 kB
KernelStack: 4176 kB
PageTables: 11460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 946768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 860160 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC033 at 2024-07-19 23:05:59