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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 49307648, getVmSize() = 49307648, SCIPgetMemUsed() = 23160178, SCIPgetMemTotal() = 26758738, SCIPgetMemExternEstim() = 15388628
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.14 c ** Estimated virtualMemUsedAtSolver = 37675008, getVmSize() = 63717376, SCIPgetMemUsed() = 25184171, SCIPgetMemTotal() = 39658227, SCIPgetMemExternEstim() = 15388628
0.09/0.14 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.14 c Original Problem :
0.09/0.14 c Problem name : instance-4459931-1721943061
0.09/0.14 c Variables : 7318 (1000 binary, 0 integer, 6318 implicit integer, 0 continuous)
0.09/0.14 c Constraints : 8819
0.09/0.14 c Objective sense : minimize
0.09/0.14 c Presolved Problem :
0.09/0.14 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.14 c Constraints : 1501
0.09/0.14 c Constraints : Number
0.09/0.14 c knapsack : 1000
0.09/0.14 c setppc : 500
0.09/0.14 c linear : 1
0.09/0.14 c ** Instance transfer method used: 0
0.09/0.15 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.15 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.15 c Nodes Active
0.09/0.15 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.68/0.73 c * 1 0 1 1 -87.0000 - -
2.47/2.56 c * 3 0 1 1 -94.0000 - -
126.66/127.06 c * 127 0 1 1 -110.0000 - -
126.66/127.06 c 127 0 1 1 -110.0000 - -
197.40/198.03 c 198 2 1 1 -110.0000 -243.8055 121.64%
238.84/239.65 c 240 3 2 1 -110.0000 -243.7034 121.55%
288.70/289.63 c 290 4 3 1 -110.0000 -243.7034 121.55%
317.11/318.17 c 318 5 4 1 -110.0000 -243.7034 121.55%
341.83/342.92 c 343 6 5 1 -110.0000 -243.7034 121.55%
367.25/368.48 c 368 7 6 1 -110.0000 -243.7034 121.55%
390.98/392.23 c 392 8 7 1 -110.0000 -243.7034 121.55%
413.72/415.00 c 415 9 8 1 -110.0000 -243.7034 121.55%
422.39/423.77 c 424 10 9 1 -110.0000 -243.7034 121.55%
428.37/429.77 c 430 12 11 1 -110.0000 -243.7034 121.55%
430.37/431.77 c * 432 12 11 1 -128.0000 -243.7034 90.39%
434.06/435.45 c 435 18 17 1 -128.0000 -243.7034 90.39%
457.29/458.73 c 459 25 24 1 -128.0000 -243.7034 90.39%
459.78/461.26 c * 461 25 24 1 -137.0000 -243.7034 77.89%
463.08/464.53 c 465 31 30 1 -137.0000 -243.7034 77.89%
474.05/475.56 c 476 36 35 1 -137.0000 -243.7034 77.89%
479.13/480.68 c 481 42 41 1 -137.0000 -243.7034 77.89%
488.21/489.78 c 490 47 46 1 -137.0000 -243.7034 77.89%
494.30/495.86 c 496 56 55 1 -137.0000 -243.7034 77.89%
508.85/510.47 c 510 58 57 1 -137.0000 -243.7034 77.89%
520.81/522.45 c 522 69 68 1 -137.0000 -243.7034 77.89%
535.67/537.39 c 537 76 75 1 -137.0000 -243.7034 77.89%
542.35/544.05 c 544 80 79 1 -137.0000 -243.7034 77.89%
563.29/565.10 c 565 91 90 1 -137.0000 -243.7034 77.89%
575.94/577.73 c 578 102 101 1 -137.0000 -243.7034 77.89%
582.62/584.40 c 584 103 102 1 -137.0000 -243.7034 77.89%
584.32/586.12 c * 586 103 102 1 -141.0000 -243.7034 72.84%
587.91/589.75 c 590 108 107 1 -141.0000 -243.7034 72.84%
602.18/604.01 c 604 116 115 1 -141.0000 -243.7034 72.84%
607.66/609.53 c 610 122 121 1 -141.0000 -243.7034 72.84%
614.44/616.31 c 616 124 123 1 -141.0000 -243.7034 72.84%
620.02/621.92 c 622 125 124 1 -141.0000 -243.7034 72.84%
625.21/627.18 c 627 128 127 1 -141.0000 -243.7034 72.84%
634.08/636.08 c 636 130 129 1 -141.0000 -243.7034 72.84%
643.45/645.46 c 645 132 131 1 -141.0000 -243.7034 72.84%
650.42/652.48 c 652 136 135 1 -141.0000 -243.7034 72.84%
659.10/661.11 c 661 140 139 1 -141.0000 -243.7034 72.84%
692.68/694.83 c 695 142 141 1 -141.0000 -243.6715 72.82%
701.86/704.08 c 704 148 147 1 -141.0000 -243.6715 72.82%
709.53/711.76 c 712 154 153 1 -141.0000 -243.6715 72.82%
720.00/722.23 c 722 156 155 1 -141.0000 -243.6715 72.82%
731.47/733.76 c 734 157 156 1 -141.0000 -243.6715 72.82%
736.75/739.02 c 739 161 160 1 -141.0000 -243.6715 72.82%
742.63/744.98 c 745 164 163 1 -141.0000 -243.6234 72.78%
748.11/750.44 c 750 169 168 1 -141.0000 -243.6234 72.78%
757.28/759.65 c 760 170 169 1 -141.0000 -243.6234 72.78%
762.67/765.07 c 765 171 170 1 -141.0000 -243.6234 72.78%
768.44/770.80 c 771 177 176 1 -141.0000 -243.6234 72.78%
774.93/777.38 c 777 180 181 1 -141.0000 -243.6234 72.78%
782.11/784.51 c 785 188 187 1 -141.0000 -243.6234 72.78%
791.78/794.27 c 794 191 190 1 -141.0000 -243.6234 72.78%
802.74/805.21 c 805 192 191 1 -141.0000 -243.6189 72.78%
807.83/810.31 c 810 194 193 1 -141.0000 -243.6189 72.78%
812.81/815.35 c 815 199 198 1 -141.0000 -243.6189 72.78%
818.59/821.17 c 821 204 203 1 -141.0000 -243.6189 72.78%
824.67/827.28 c 827 212 211 1 -141.0000 -243.6189 72.78%
829.95/832.50 c 833 220 219 1 -141.0000 -243.6189 72.78%
840.13/842.76 c 843 223 222 1 -141.0000 -243.5287 72.72%
845.11/847.79 c 848 237 236 1 -141.0000 -243.5287 72.72%
851.19/853.86 c 854 250 249 1 -141.0000 -243.5287 72.72%
856.87/859.53 c 860 253 252 1 -141.0000 -243.4723 72.68%
863.26/865.95 c 866 257 256 1 -141.0000 -243.4723 72.68%
868.84/871.58 c 872 267 266 1 -141.0000 -243.4723 72.68%
875.32/878.02 c 878 274 273 1 -141.0000 -243.4723 72.68%
885.69/888.41 c 888 278 277 1 -141.0000 -243.4723 72.68%
899.15/901.94 c 902 283 282 1 -141.0000 -243.3873 72.62%
907.52/910.32 c 910 291 290 1 -141.0000 -243.3873 72.62%
919.29/922.18 c 922 297 296 1 -141.0000 -243.3873 72.62%
925.37/928.21 c 928 299 298 1 -141.0000 -243.3873 72.62%
931.35/934.23 c 934 300 299 1 -141.0000 -243.3873 72.62%
937.03/939.98 c 940 305 304 1 -141.0000 -243.3873 72.62%
942.02/944.99 c 945 310 309 1 -141.0000 -243.3873 72.62%
953.68/956.63 c 957 313 312 1 -141.0000 -243.3175 72.57%
963.55/966.51 c 967 314 313 1 -141.0000 -243.3175 72.57%
974.02/977.01 c 977 325 324 1 -141.0000 -243.3175 72.57%
984.28/987.34 c 987 328 327 1 -141.0000 -243.3175 72.57%
989.67/992.71 c 993 330 329 1 -141.0000 -243.3175 72.57%
999.74/1002.84 c 1003 337 336 1 -141.0000 -243.3175 72.57%
1010.92/1014.06 c 1014 341 340 1 -141.0000 -243.3175 72.57%
1016.50/1019.65 c 1020 342 341 1 -141.0000 -243.1616 72.46%
1027.56/1030.74 c 1031 343 342 1 -141.0000 -243.1616 72.46%
1036.05/1039.25 c 1039 346 345 1 -141.0000 -243.1616 72.46%
1045.42/1048.62 c 1049 348 347 1 -141.0000 -243.1616 72.46%
1050.60/1053.86 c 1054 353 352 1 -141.0000 -243.1616 72.46%
1062.17/1065.46 c 1065 359 358 1 -141.0000 -243.1616 72.46%
1067.77/1071.10 c 1071 360 359 1 -141.0000 -243.1616 72.46%
1081.03/1084.35 c 1084 365 364 1 -141.0000 -243.1616 72.46%
1089.21/1092.55 c 1093 367 366 1 -141.0000 -243.1616 72.46%
1110.75/1114.16 c 1114 372 371 1 -141.0000 -243.0662 72.39%
1118.12/1121.59 c 1122 373 372 1 -141.0000 -243.0662 72.39%
1123.91/1127.31 c 1127 379 378 1 -141.0000 -243.0662 72.39%
1129.90/1133.39 c 1133 380 379 1 -141.0000 -243.0662 72.39%
1136.58/1140.00 c 1140 386 385 1 -141.0000 -243.0662 72.39%
1142.46/1145.91 c 1146 392 391 1 -141.0000 -243.0662 72.39%
1147.74/1151.24 c 1151 394 393 1 -141.0000 -243.0662 72.39%
1154.42/1157.93 c 1158 398 397 1 -141.0000 -243.0662 72.39%
1160.01/1163.58 c 1164 399 398 1 -141.0000 -243.0662 72.39%
1166.09/1169.60 c 1170 403 402 1 -141.0000 -242.9686 72.32%
1173.67/1177.22 c 1177 425 424 1 -141.0000 -242.9686 72.32%
1183.95/1187.53 c 1188 435 434 1 -141.0000 -242.9686 72.32%
1189.04/1192.65 c 1193 460 459 1 -141.0000 -242.9686 72.32%
1194.52/1198.11 c 1198 682 485 1 -141.0000 -242.9686 72.32%
1199.70/1203.37 c 1203 686 489 1 -141.0000 -242.9686 72.32%
1216.37/1220.03 c 1220 693 496 1 -141.0000 -242.9686 72.32%
1224.34/1228.04 c 1228 855 498 1 -141.0000 -242.9686 72.32%
1230.33/1234.09 c 1234 922 501 1 -141.0000 -242.9507 72.31%
1235.91/1239.61 c 1240 929 508 1 -141.0000 -242.9507 72.31%
1242.38/1246.10 c 1246 1025 522 1 -141.0000 -242.9115 72.28%
1248.06/1251.85 c 1252 1146 531 1 -141.0000 -242.9115 72.28%
1254.45/1258.21 c 1258 1425 544 1 -141.0000 -242.8749 72.25%
1271.21/1275.04 c 1275 1433 552 1 -141.0000 -242.8749 72.25%
1276.19/1280.06 c 1280 1478 557 1 -141.0000 -242.8749 72.25%
1283.37/1287.26 c 1287 1480 559 1 -141.0000 -242.8749 72.25%
1289.05/1292.90 c 1293 1603 566 1 -141.0000 -242.8749 72.25%
1299.13/1303.07 c 1303 1609 572 1 -141.0000 -242.8749 72.25%
1305.21/1309.13 c 1309 1674 579 1 -141.0000 -242.8414 72.23%
1312.99/1316.91 c 1317 1678 583 1 -141.0000 -242.8414 72.23%
1318.37/1322.36 c 1322 1862 599 1 -141.0000 -242.8414 72.23%
1328.25/1332.29 c 1332 1865 602 1 -141.0000 -242.8414 72.23%
1333.93/1337.92 c 1338 1952 613 1 -141.0000 -242.8287 72.22%
1342.70/1346.73 c 1347 1954 615 1 -141.0000 -242.8287 72.22%
1348.99/1353.07 c 1353 1964 625 1 -141.0000 -242.8287 72.22%
1355.08/1359.15 c 1359 1988 633 1 -141.0000 -242.8120 72.21%
1361.26/1365.33 c 1365 2015 642 1 -141.0000 -242.8039 72.20%
1369.04/1373.12 c 1373 2017 644 1 -141.0000 -242.8039 72.20%
1383.40/1387.52 c 1388 2024 651 1 -141.0000 -242.8039 72.20%
1388.79/1392.96 c 1393 2083 652 1 -141.0000 -242.7850 72.19%
1394.37/1398.53 c 1399 2093 662 1 -141.0000 -242.7850 72.19%
1415.31/1419.58 c 1420 2122 667 1 -141.0000 -242.7613 72.17%
1420.40/1424.68 c 1425 2128 673 1 -141.0000 -242.7613 72.17%
1428.28/1432.57 c 1433 2192 681 1 -141.0000 -242.7098 72.13%
1433.67/1437.90 c 1438 2199 688 1 -141.0000 -242.7098 72.13%
1439.55/1443.80 c 1444 2224 693 1 -141.0000 -242.7040 72.13%
1447.63/1451.90 c 1452 2227 696 1 -141.0000 -242.7040 72.13%
1453.21/1457.55 c 1458 2243 706 1 -141.0000 -242.6623 72.10%
1464.88/1469.25 c 1469 2246 709 1 -141.0000 -242.6623 72.10%
1471.47/1475.87 c 1476 2253 716 1 -141.0000 -242.6623 72.10%
1480.04/1484.46 c 1484 2492 733 1 -141.0000 -242.6404 72.09%
1485.93/1490.32 c 1490 2495 736 1 -141.0000 -242.6404 72.09%
1492.51/1496.96 c 1497 2504 745 1 -141.0000 -242.6404 72.09%
1498.60/1503.00 c 1503 2604 745 1 -141.0000 -242.6372 72.08%
1504.38/1508.85 c 1509 2614 755 1 -141.0000 -242.6372 72.08%
1516.74/1521.23 c 1521 2647 760 1 -141.0000 -242.6300 72.08%
1530.80/1535.37 c 1535 2654 767 1 -141.0000 -242.6300 72.08%
1542.78/1547.36 c 1547 2866 773 1 -141.0000 -242.6105 72.06%
1548.36/1552.90 c 1553 2942 785 1 -141.0000 -242.5733 72.04%
1554.65/1559.24 c 1559 2954 797 1 -141.0000 -242.5733 72.04%
1560.43/1565.06 c 1565 3059 808 1 -141.0000 -242.5733 72.04%
1566.31/1570.94 c 1571 3203 822 1 -141.0000 -242.5706 72.04%
1571.70/1576.34 c 1576 3272 837 1 -141.0000 -242.5623 72.03%
1580.68/1585.32 c 1585 3275 840 1 -141.0000 -242.5623 72.03%
1592.95/1597.64 c 1598 3285 850 1 -141.0000 -242.5623 72.03%
1599.23/1603.93 c 1604 3315 864 1 -141.0000 -242.5450 72.02%
1604.42/1609.18 c 1609 3344 875 1 -141.0000 -242.5398 72.01%
1613.59/1618.32 c 1618 3364 879 1 -141.0000 -242.5374 72.01%
1619.39/1624.17 c 1624 3511 904 1 -141.0000 -242.5374 72.01%
1629.76/1634.50 c 1635 3746 901 1 -141.0000 -242.5258 72.00%
1642.23/1647.05 c 1647 3793 914 1 -141.0000 -242.5257 72.00%
1647.61/1652.44 c 1652 3805 926 1 -141.0000 -242.5257 72.00%
1653.09/1657.91 c 1658 3832 937 1 -141.0000 -242.4861 71.98%
1664.17/1669.04 c 1669 3904 939 1 -141.0000 -242.4861 71.98%
1677.43/1682.31 c 1682 3923 952 1 -141.0000 -242.4861 71.98%
1686.30/1691.28 c 1691 3952 967 1 -141.0000 -242.4847 71.97%
1702.77/1707.73 c 1708 3965 980 1 -141.0000 -242.4847 71.97%
1708.26/1713.21 c 1713 3984 983 1 -141.0000 -242.4805 71.97%
1713.44/1718.46 c 1718 4052 995 1 -141.0000 -242.4640 71.96%
1722.32/1727.39 c 1727 4055 998 1 -141.0000 -242.4640 71.96%
1730.80/1735.84 c 1736 4122 1013 1 -141.0000 -242.4617 71.96%
1735.89/1740.90 c 1741 4132 1023 1 -141.0000 -242.4617 71.96%
1741.67/1746.71 c 1747 4190 1043 1 -141.0000 -242.4604 71.96%
1747.06/1752.15 c 1752 4342 1047 1 -141.0000 -242.4298 71.94%
1752.24/1757.34 c 1757 4345 1050 1 -141.0000 -242.4298 71.94%
1763.62/1768.78 c 1769 4393 1066 1 -141.0000 -242.4144 71.93%
1769.01/1774.11 c 1774 4401 1074 1 -141.0000 -242.4144 71.93%
1781.37/1786.56 c 1787 4424 1079 1 -141.0000 -242.4090 71.92%
1787.06/1792.26 c 1792 4435 1090 1 -141.0000 -242.4090 71.92%
1792.64/1797.87 c 1798 4460 1101 1 -141.0000 -242.4058 71.92%
1797.63/1802.89 c 1803 4534 1107 1 -141.0000 -242.3775 71.90%
1803.32/1808.60 c 1809 4545 1118 1 -141.0000 -242.3775 71.90%
1808.60/1813.81 c 1814 4594 1133 1 -141.0000 -242.3626 71.89%
1819.37/1824.60 c 1825 4595 1134 1 -141.0000 -242.3626 71.89%
1824.46/1829.77 c 1830 4603 1136 1 -141.0000 -242.3393 71.87%
1830.26/1835.52 c 1836 4615 1148 1 -141.0000 -242.3393 71.87%
1837.04/1842.38 c 1842 4635 1160 1 -141.0000 -242.3286 71.86%
1846.12/1851.41 c 1851 4773 1160 1 -141.0000 -242.3286 71.86%
1851.60/1856.93 c 1857 4783 1170 1 -141.0000 -242.3286 71.86%
1857.48/1862.86 c 1863 4822 1171 1 -141.0000 -242.3165 71.86%
1863.57/1868.92 c 1869 4835 1184 1 -141.0000 -242.3165 71.86%
1871.15/1876.53 c 1877 4952 1181 1 -141.0000 -242.3066 71.85%
1876.34/1881.79 c 1882 4962 1191 1 -141.0000 -242.3066 71.85%
1881.92/1887.35 c 1887 4991 1206 1 -141.0000 -242.3054 71.85%
1887.21/1892.64 c 1893 5026 1215 1 -141.0000 -242.3009 71.84%
1893.19/1898.66 c 1899 5045 1224 1 -141.0000 -242.3009 71.84%
1900.48/1905.95 c 1906 5047 1226 1 -141.0000 -242.3009 71.84%
1905.76/1911.28 c 1911 5154 1237 1 -141.0000 -242.2960 71.84%
1911.05/1916.58 c 1917 5157 1240 1 -141.0000 -242.2960 71.84%
1917.13/1922.66 c 1923 5267 1256 1 -141.0000 -242.2612 71.82%
1923.02/1928.50 c 1929 5342 1261 1 -141.0000 -242.2610 71.82%
1937.89/1943.48 c 1943 5355 1274 1 -141.0000 -242.2610 71.82%
1944.58/1950.14 c 1950 5362 1269 1 -141.0000 -242.2569 71.81%
1950.96/1956.57 c 1957 5393 1276 1 -141.0000 -242.2569 71.81%
1957.45/1963.01 c 1963 5443 1282 1 -141.0000 -242.2569 71.81%
1962.43/1968.08 c 1968 5472 1289 1 -141.0000 -242.2512 71.81%
1969.42/1975.06 c 1975 5485 1302 1 -141.0000 -242.2512 71.81%
1975.69/1981.34 c 1981 5535 1316 1 -141.0000 -242.2494 71.81%
1981.08/1986.70 c 1987 5630 1315 1 -141.0000 -242.2479 71.81%
1987.07/1992.74 c 1993 5661 1330 1 -141.0000 -242.2368 71.80%
1992.65/1998.38 c 1998 5706 1337 1 -141.0000 -242.2260 71.79%
1997.74/2003.42 c 2003 5774 1351 1 -141.0000 -242.2254 71.79%
2003.22/2008.90 c 2009 5803 1362 1 -141.0000 -242.2254 71.79%
2011.01/2016.70 c 2017 5805 1364 1 -141.0000 -242.2254 71.79%
2027.57/2033.35 c 2033 5854 1377 1 -141.0000 -242.2103 71.78%
2033.75/2039.52 c 2040 5874 1389 1 -141.0000 -242.2051 71.78%
2039.34/2045.15 c 2045 6032 1405 1 -141.0000 -242.1987 71.77%
2047.61/2053.49 c 2054 6033 1406 1 -141.0000 -242.1987 71.77%
2052.81/2058.65 c 2059 6043 1416 1 -141.0000 -242.1987 71.77%
2058.49/2064.32 c 2064 6113 1420 1 -141.0000 -242.1885 71.76%
2063.58/2069.49 c 2070 6152 1429 1 -141.0000 -242.1755 71.76%
2071.36/2077.21 c 2077 6156 1433 1 -141.0000 -242.1755 71.76%
2087.52/2093.48 c 2093 6165 1442 1 -141.0000 -242.1755 71.76%
2094.50/2100.40 c 2100 6195 1458 1 -141.0000 -242.1748 71.76%
2100.09/2106.05 c 2106 6281 1468 1 -141.0000 -242.1737 71.75%
2106.07/2112.00 c 2112 6326 1479 1 -141.0000 -242.1625 71.75%
2111.45/2117.48 c 2117 6354 1493 1 -141.0000 -242.1453 71.73%
2116.54/2122.51 c 2123 6392 1501 1 -141.0000 -242.1421 71.73%
2122.42/2128.44 c 2128 6405 1514 1 -141.0000 -242.1421 71.73%
2127.80/2133.88 c 2134 6423 1524 1 -141.0000 -242.1419 71.73%
2133.38/2139.41 c 2139 6507 1536 1 -141.0000 -242.1377 71.73%
2138.66/2144.74 c 2145 6832 1549 1 -141.0000 -242.1333 71.73%
2145.34/2151.44 c 2151 6835 1552 1 -141.0000 -242.1333 71.73%
2150.73/2156.86 c 2157 6893 1562 1 -141.0000 -242.1312 71.72%
2155.92/2162.03 c 2162 7015 1580 1 -141.0000 -242.1312 71.72%
2163.09/2169.23 c 2169 7035 1594 1 -141.0000 -242.1310 71.72%
2170.88/2177.01 c 2177 7056 1595 1 -141.0000 -242.1293 71.72%
2179.05/2185.28 c 2185 7132 1611 1 -141.0000 -242.1269 71.72%
2184.13/2190.31 c 2190 7145 1624 1 -141.0000 -242.1269 71.72%
2190.81/2197.02 c 2197 7165 1636 1 -141.0000 -242.1248 71.72%
2196.59/2202.82 c 2203 7261 1644 1 -141.0000 -242.1203 71.72%
2202.07/2208.38 c 2208 7343 1656 1 -141.0000 -242.0866 71.69%
2207.35/2213.62 c 2214 7452 1677 1 -141.0000 -242.0837 71.69%
2215.43/2221.76 c 2222 7454 1679 1 -141.0000 -242.0837 71.69%
2221.11/2227.42 c 2227 7632 1683 1 -141.0000 -242.0832 71.69%
2237.06/2243.40 c 2243 7645 1696 1 -141.0000 -242.0832 71.69%
2242.44/2248.84 c 2249 7813 1716 1 -141.0000 -242.0746 71.68%
2248.33/2254.73 c 2255 7926 1725 1 -141.0000 -242.0721 71.68%
2254.11/2260.58 c 2261 8067 1748 1 -141.0000 -242.0682 71.68%
2259.49/2265.90 c 2266 8155 1764 1 -141.0000 -242.0622 71.68%
2270.35/2276.84 c 2277 8372 1781 1 -141.0000 -242.0618 71.68%
2275.55/2282.09 c 2282 8392 1795 1 -141.0000 -242.0587 71.67%
2281.12/2287.61 c 2288 8405 1808 1 -141.0000 -242.0587 71.67%
2290.30/2296.88 c 2297 8463 1810 1 -141.0000 -242.0587 71.67%
2295.98/2302.56 c 2303 8593 1832 1 -141.0000 -242.0587 71.67%
2302.76/2309.38 c 2309 8603 1830 1 -141.0000 -242.0491 71.67%
2308.64/2315.22 c 2315 8682 1839 1 -141.0000 -242.0489 71.67%
2314.22/2320.81 c 2321 8695 1852 1 -141.0000 -242.0489 71.67%
2320.41/2327.08 c 2327 8785 1872 1 -141.0000 -242.0474 71.66%
2327.68/2334.39 c 2334 8825 1884 1 -141.0000 -242.0463 71.66%
2336.55/2343.26 c 2343 8935 1890 1 -141.0000 -242.0434 71.66%
2341.93/2348.61 c 2349 9044 1905 1 -141.0000 -242.0402 71.66%
2347.61/2354.38 c 2354 9142 1919 1 -141.0000 -242.0374 71.66%
2353.10/2359.87 c 2360 9172 1929 1 -141.0000 -242.0350 71.66%
2359.38/2366.15 c 2366 9185 1942 1 -141.0000 -242.0350 71.66%
2366.15/2372.98 c 2373 9193 1938 1 -141.0000 -242.0299 71.65%
2380.71/2387.57 c 2388 9205 1950 1 -141.0000 -242.0299 71.65%
2386.49/2393.34 c 2393 9253 1964 1 -141.0000 -242.0262 71.65%
2392.47/2399.31 c 2399 9271 1974 1 -141.0000 -242.0098 71.64%
2398.05/2404.90 c 2405 9342 1993 1 -141.0000 -242.0026 71.63%
2403.24/2410.19 c 2410 9436 1999 1 -141.0000 -241.9979 71.63%
2409.62/2416.59 c 2417 9452 2009 1 -141.0000 -241.9958 71.63%
2415.30/2422.25 c 2422 9465 2022 1 -141.0000 -241.9958 71.63%
2421.87/2428.83 c 2429 9605 2030 1 -141.0000 -241.9895 71.62%
2427.17/2434.11 c 2434 9663 2040 1 -141.0000 -241.9857 71.62%
2432.55/2439.53 c 2440 9747 2050 1 -141.0000 -241.9816 71.62%
2437.83/2444.80 c 2445 9794 2065 1 -141.0000 -241.9792 71.62%
2443.61/2450.60 c 2451 9833 2082 1 -141.0000 -241.9632 71.61%
2448.69/2455.78 c 2456 9845 2094 1 -141.0000 -241.9632 71.61%
2454.77/2461.85 c 2462 9875 2102 1 -141.0000 -241.9602 71.60%
2460.15/2467.25 c 2467 9991 2120 1 -141.0000 -241.9570 71.60%
2469.13/2476.22 c 2476 10054 2137 1 -141.0000 -241.9547 71.60%
2474.71/2481.87 c 2482 10114 2153 1 -141.0000 -241.9538 71.60%
2481.19/2488.34 c 2488 10154 2165 1 -141.0000 -241.9528 71.60%
2486.97/2494.13 c 2494 10174 2179 1 -141.0000 -241.9506 71.60%
2501.22/2508.40 c 2508 10185 2190 1 -141.0000 -241.9506 71.60%
2507.11/2514.32 c 2514 10205 2200 1 -141.0000 -241.9441 71.59%
2515.69/2522.97 c 2523 10502 2205 1 -141.0000 -241.9392 71.59%
2521.57/2528.85 c 2529 10515 2218 1 -141.0000 -241.9392 71.59%
2531.64/2538.96 c 2539 10545 2232 1 -141.0000 -241.9266 71.58%
2537.72/2545.06 c 2545 10635 2256 1 -141.0000 -241.9200 71.57%
2543.50/2550.88 c 2551 10655 2270 1 -141.0000 -241.9156 71.57%
2549.48/2556.83 c 2557 10685 2282 1 -141.0000 -241.9121 71.57%
2554.46/2561.85 c 2562 10842 2279 1 -141.0000 -241.9101 71.57%
2560.54/2567.91 c 2568 10922 2285 1 -141.0000 -241.8906 71.55%
2566.52/2573.93 c 2574 10957 2296 1 -141.0000 -241.8879 71.55%
2572.20/2579.66 c 2580 11035 2300 1 -141.0000 -241.8848 71.55%
2577.78/2585.26 c 2585 11094 2315 1 -141.0000 -241.8845 71.55%
2584.26/2591.75 c 2592 11154 2329 1 -141.0000 -241.8802 71.55%
2590.84/2598.31 c 2598 11194 2345 1 -141.0000 -241.8799 71.55%
2595.93/2603.42 c 2603 11352 2341 1 -141.0000 -241.8769 71.54%
2611.48/2619.01 c 2619 11365 2354 1 -141.0000 -241.8769 71.54%
2617.46/2625.09 c 2625 11484 2361 1 -141.0000 -241.8747 71.54%
2623.33/2630.93 c 2631 11592 2381 1 -141.0000 -241.8739 71.54%
2633.20/2640.80 c 2641 11604 2393 1 -141.0000 -241.8739 71.54%
2638.88/2646.50 c 2647 11646 2401 1 -141.0000 -241.8706 71.54%
2649.05/2656.74 c 2657 11664 2411 1 -141.0000 -241.8617 71.53%
2655.13/2662.80 c 2663 11872 2425 1 -141.0000 -241.8553 71.53%
2660.51/2668.20 c 2668 11885 2438 1 -141.0000 -241.8553 71.53%
2667.30/2675.09 c 2675 11903 2442 1 -141.0000 -241.8530 71.53%
2672.57/2680.38 c 2680 12032 2459 1 -141.0000 -241.8530 71.53%
2677.86/2685.65 c 2686 12073 2474 1 -141.0000 -241.8516 71.53%
2683.65/2691.46 c 2691 12161 2486 1 -141.0000 -241.8484 71.52%
2689.24/2697.03 c 2697 12208 2501 1 -141.0000 -241.8468 71.52%
2694.71/2702.51 c 2703 12225 2512 1 -141.0000 -241.8241 71.51%
2700.39/2708.24 c 2708 12304 2527 1 -141.0000 -241.8225 71.51%
2705.58/2713.46 c 2713 12452 2549 1 -141.0000 -241.8150 71.50%
2710.76/2718.67 c 2719 12465 2562 1 -141.0000 -241.8150 71.50%
2717.04/2724.92 c 2725 12515 2576 1 -141.0000 -241.8129 71.50%
2723.62/2731.57 c 2732 12565 2594 1 -141.0000 -241.8126 71.50%
2739.47/2747.40 c 2747 12585 2606 1 -141.0000 -241.8116 71.50%
2745.94/2753.97 c 2754 12685 2612 1 -141.0000 -241.8114 71.50%
2751.92/2759.91 c 2760 12725 2624 1 -141.0000 -241.8063 71.49%
2758.70/2766.77 c 2767 12825 2634 1 -141.0000 -241.8053 71.49%
2764.49/2772.56 c 2773 12865 2644 1 -141.0000 -241.8034 71.49%
2770.67/2778.78 c 2779 12965 2660 1 -141.0000 -241.8014 71.49%
2776.55/2784.69 c 2785 12985 2672 1 -141.0000 -241.8007 71.49%
2785.93/2794.04 c 2794 13047 2684 1 -141.0000 -241.7997 71.49%
2791.01/2799.14 c 2799 13065 2694 1 -141.0000 -241.7938 71.48%
2796.90/2805.03 c 2805 13073 2702 1 -141.0000 -241.7938 71.48%
2807.86/2816.02 c 2816 13293 2714 1 -141.0000 -241.7909 71.48%
2812.84/2821.09 c 2821 13305 2726 1 -141.0000 -241.7909 71.48%
2818.92/2827.12 c 2827 13324 2739 1 -141.0000 -241.7886 71.48%
2825.80/2834.01 c 2834 13382 2743 1 -141.0000 -241.7776 71.47%
2832.18/2840.45 c 2840 13395 2756 1 -141.0000 -241.7776 71.47%
2838.56/2846.85 c 2847 13475 2770 1 -141.0000 -241.7758 71.47%
2847.34/2855.66 c 2856 13505 2770 1 -141.0000 -241.7758 71.47%
2852.82/2861.18 c 2861 13564 2781 1 -141.0000 -241.7661 71.47%
2860.60/2868.90 c 2869 13565 2782 1 -141.0000 -241.7661 71.47%
2865.69/2874.03 c 2874 13594 2793 1 -141.0000 -241.7658 71.47%
2871.46/2879.84 c 2880 13634 2805 1 -141.0000 -241.7593 71.46%
2877.74/2886.17 c 2886 13664 2817 1 -141.0000 -241.7592 71.46%
2892.19/2900.68 c 2901 13675 2828 1 -141.0000 -241.7592 71.46%
2901.57/2910.09 c 2910 13772 2839 1 -141.0000 -241.7576 71.46%
2913.23/2921.73 c 2922 13816 2843 1 -141.0000 -241.7576 71.46%
2918.52/2927.05 c 2927 13915 2860 1 -141.0000 -241.7522 71.46%
2923.80/2932.30 c 2932 13916 2861 1 -141.0000 -241.7522 71.46%
2930.08/2938.66 c 2939 13934 2873 1 -141.0000 -241.7489 71.45%
2936.56/2945.16 c 2945 13993 2890 1 -141.0000 -241.7476 71.45%
2942.93/2951.59 c 2952 14024 2903 1 -141.0000 -241.7408 71.45%
2948.32/2956.91 c 2957 14074 2915 1 -141.0000 -241.7407 71.45%
2954.30/2962.95 c 2963 14134 2929 1 -141.0000 -241.7401 71.45%
2961.49/2970.11 c 2970 14139 2934 1 -141.0000 -241.7401 71.45%
2967.26/2975.94 c 2976 14233 2946 1 -141.0000 -241.7389 71.45%
2973.54/2982.22 c 2982 14264 2959 1 -141.0000 -241.7360 71.44%
2979.12/2987.87 c 2988 14324 2977 1 -141.0000 -241.7330 71.44%
2985.80/2994.50 c 2994 14326 2979 1 -141.0000 -241.7330 71.44%
2991.29/3000.07 c 3000 14366 2993 1 -141.0000 -241.7323 71.44%
2996.57/3005.31 c 3005 14406 3007 1 -141.0000 -241.7305 71.44%
3001.85/3010.63 c 3011 14466 3025 1 -141.0000 -241.7305 71.44%
3013.71/3022.54 c 3023 14475 3034 1 -141.0000 -241.7305 71.44%
3019.30/3028.12 c 3028 14769 3052 1 -141.0000 -241.7305 71.44%
3024.38/3033.20 c 3033 14847 3070 1 -141.0000 -241.7266 71.44%
3029.66/3038.57 c 3039 14877 3084 1 -141.0000 -241.7246 71.44%
3035.65/3044.51 c 3045 14917 3098 1 -141.0000 -241.7211 71.43%
3041.14/3050.04 c 3050 14964 3103 1 -141.0000 -241.7206 71.43%
3046.72/3055.67 c 3056 15084 3119 1 -141.0000 -241.7148 71.43%
3054.10/3063.06 c 3063 15232 3135 1 -141.0000 -241.7094 71.43%
3059.78/3068.77 c 3069 15245 3148 1 -141.0000 -241.7094 71.43%
3064.96/3073.92 c 3074 15332 3167 1 -141.0000 -241.7074 71.42%
3076.33/3085.30 c 3085 15356 3173 1 -141.0000 -241.7014 71.42%
3081.71/3090.75 c 3091 15394 3185 1 -141.0000 -241.7008 71.42%
3086.69/3095.78 c 3096 15396 3187 1 -141.0000 -241.7008 71.42%
3092.08/3101.19 c 3101 15457 3204 1 -141.0000 -241.6945 71.41%
3098.55/3107.65 c 3108 15664 3221 1 -141.0000 -241.6941 71.41%
3104.53/3113.60 c 3114 15724 3229 1 -141.0000 -241.6893 71.41%
3109.52/3118.64 c 3119 15772 3243 1 -141.0000 -241.6884 71.41%
3116.20/3125.35 c 3125 15773 3244 1 -141.0000 -241.6884 71.41%
3121.88/3131.03 c 3131 15852 3259 1 -141.0000 -241.6881 71.41%
3136.23/3145.49 c 3146 15865 3272 1 -141.0000 -241.6881 71.41%
3146.70/3155.92 c 3156 15958 3287 1 -141.0000 -241.6872 71.41%
3152.68/3161.99 c 3162 16048 3301 1 -141.0000 -241.6844 71.41%
3162.95/3172.22 c 3172 16154 3323 1 -141.0000 -241.6842 71.41%
3169.23/3178.51 c 3179 16254 3333 1 -141.0000 -241.6787 71.40%
3175.02/3184.39 c 3184 16294 3347 1 -141.0000 -241.6774 71.40%
3181.40/3190.70 c 3191 16364 3361 1 -141.0000 -241.6765 71.40%
3187.57/3196.97 c 3197 16394 3379 1 -141.0000 -241.6754 71.40%
3192.56/3201.98 c 3202 16492 3391 1 -141.0000 -241.6749 71.40%
3200.23/3209.62 c 3210 16495 3394 1 -141.0000 -241.6749 71.40%
3206.22/3215.65 c 3216 16594 3403 1 -141.0000 -241.6740 71.40%
3213.30/3222.75 c 3223 16595 3404 1 -141.0000 -241.6740 71.40%
3218.58/3228.07 c 3228 16849 3416 1 -141.0000 -241.6740 71.40%
3226.56/3236.03 c 3236 16905 3416 1 -141.0000 -241.6726 71.40%
3232.63/3242.18 c 3242 16964 3431 1 -141.0000 -241.6677 71.40%
3237.82/3247.36 c 3247 17079 3454 1 -141.0000 -241.6677 71.40%
3243.30/3252.81 c 3253 17115 3470 1 -141.0000 -241.6670 71.40%
3249.78/3259.32 c 3259 17145 3488 1 -141.0000 -241.6661 71.39%
3264.44/3274.04 c 3274 17175 3498 1 -141.0000 -241.6658 71.39%
3269.72/3279.34 c 3279 17255 3510 1 -141.0000 -241.6630 71.39%
3275.60/3285.24 c 3285 17287 3524 1 -141.0000 -241.6612 71.39%
3282.97/3292.69 c 3293 17434 3533 1 -141.0000 -241.6612 71.39%
3288.26/3297.98 c 3298 17514 3547 1 -141.0000 -241.6588 71.39%
3293.84/3303.55 c 3304 17525 3558 1 -141.0000 -241.6588 71.39%
3299.92/3309.68 c 3310 17565 3572 1 -141.0000 -241.6572 71.39%
3305.20/3314.96 c 3315 17700 3573 1 -141.0000 -241.6523 71.38%
3315.97/3325.74 c 3326 17755 3586 1 -141.0000 -241.6500 71.38%
3321.26/3331.09 c 3331 17852 3597 1 -141.0000 -241.6477 71.38%
3336.21/3346.08 c 3346 17865 3610 1 -141.0000 -241.6477 71.38%
3345.59/3355.42 c 3355 17901 3620 1 -141.0000 -241.6426 71.38%
3351.47/3361.33 c 3361 17966 3629 1 -141.0000 -241.6418 71.38%
3357.25/3367.16 c 3367 18054 3643 1 -141.0000 -241.6418 71.38%
3362.53/3372.44 c 3372 18102 3659 1 -141.0000 -241.6394 71.38%
3367.71/3377.64 c 3378 18115 3672 1 -141.0000 -241.6394 71.38%
3373.10/3383.08 c 3383 18165 3688 1 -141.0000 -241.6384 71.37%
3383.27/3393.21 c 3393 18475 3690 1 -141.0000 -241.6383 71.37%
3389.25/3399.20 c 3399 18593 3706 1 -141.0000 -241.6350 71.37%
3394.33/3404.39 c 3404 18632 3721 1 -141.0000 -241.6335 71.37%
3399.51/3409.50 c 3410 18652 3733 1 -141.0000 -241.6324 71.37%
3407.79/3417.87 c 3418 18654 3735 1 -141.0000 -241.6324 71.37%
3414.07/3424.16 c 3424 18694 3751 1 -141.0000 -241.6311 71.37%
3419.45/3429.54 c 3430 18722 3759 1 -141.0000 -241.6306 71.37%
3425.53/3435.63 c 3436 18724 3761 1 -141.0000 -241.6306 71.37%
3433.71/3443.89 c 3444 18783 3776 1 -141.0000 -241.6300 71.37%
3438.90/3449.08 c 3449 18842 3793 1 -141.0000 -241.6271 71.37%
3444.57/3454.76 c 3455 18883 3806 1 -141.0000 -241.6254 71.37%
3449.66/3459.89 c 3460 18895 3818 1 -141.0000 -241.6254 71.37%
3458.83/3469.07 c 3469 18946 3823 1 -141.0000 -241.6218 71.36%
3463.82/3474.09 c 3474 19014 3837 1 -141.0000 -241.6197 71.36%
3469.89/3480.10 c 3480 19038 3853 1 -141.0000 -241.6176 71.36%
3481.25/3491.54 c 3492 19045 3860 1 -141.0000 -241.6176 71.36%
3487.53/3497.81 c 3498 19115 3882 1 -141.0000 -241.6042 71.35%
3492.83/3503.15 c 3503 19155 3892 1 -141.0000 -241.6002 71.35%
3499.31/3509.64 c 3510 19215 3906 1 -141.0000 -241.5993 71.35%
3509.68/3520.04 c 3520 19324 3913 1 -141.0000 -241.5963 71.34%
3515.16/3525.50 c 3526 19352 3925 1 -141.0000 -241.5939 71.34%
3520.44/3530.86 c 3531 19392 3943 1 -141.0000 -241.5922 71.34%
3526.22/3536.69 c 3537 19524 3959 1 -141.0000 -241.5922 71.34%
3531.31/3541.77 c 3542 19806 3977 1 -141.0000 -241.5908 71.34%
3536.79/3547.28 c 3547 20047 3992 1 -141.0000 -241.5908 71.34%
3544.36/3554.85 c 3555 20057 3996 1 -141.0000 -241.5891 71.34%
3549.55/3560.05 c 3560 20113 4006 1 -141.0000 -241.5888 71.34%
3555.53/3566.00 c 3566 20371 4034 1 -141.0000 -241.5888 71.34%
3570.38/3580.98 c 3581 20395 4046 1 -141.0000 -241.5884 71.34%
3576.36/3586.99 c 3587 20453 4060 1 -141.0000 -241.5880 71.34%
3582.24/3592.84 c 3593 20534 4067 1 -141.0000 -241.5869 71.34%
3587.33/3598.00 c 3598 20558 4075 1 -141.0000 -241.5853 71.34%
3589.53/3600.12 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.53/3600.12 c Total Time : 3600.13
3589.53/3600.12 c solving : 3600.13
3589.53/3600.12 c presolving : 0.10 (included in solving)
3589.53/3600.12 c B&B Tree :
3589.53/3600.12 c nodes (total) : 1
3589.53/3600.12 c Solution :
3589.53/3600.12 c Solutions found : 7
3589.53/3600.12 c Primal Bound : -1.41000000000000e+02
3589.53/3600.12 c Dual Bound : -2.41585323271745e+02
3589.53/3600.12 c Gap : 71.33711 %
3589.53/3600.12 c * Warning: final gap: 7.13371e-01 is greater than SCIPepsilon: 1.00000e-09
3589.53/3600.13 o -141
3589.53/3600.13 s SATISFIABLE
3589.53/3600.13 v -x924 -x695 -x907 -x875 -x752 -x713 x910 -x845 -x665 x855 -x801 -x838 x663 -x688 x824 -x610 x911 -x637 -x586 -x958 x943 x705 -x936
3589.53/3600.13 v -x593 -x986 -x996 x906 -x654 -x697 -x763 -x878 x987 -x657 x577 -x983 x883 -x769 x956 x990 -x977 -x753 x742 x721 -x681 -x655
3589.53/3600.13 v -x951 -x912 -x745 -x672 -x978 x719 -x826 -x616 x792 -x848 -x575 x939 -x758 -x984 -x784 x718 -x766 -x850 x761 x633 x564 -x621
3589.53/3600.13 v -x642 -x775 x970 -x808 -x980 -x715 -x791 x768 -x947 x963 -x902 -x831 x813 -x558 -x604 -x594 x762 x892 x790 x972 -x901 -x786
3589.53/3600.13 v -x550 -x693 -x840 x779 x667 -x648 -x686 -x833 -x961 -x950 x976 -x573 x798 -x817 -x788 x649 -x634 -x609 -x584 -x834 -x804 -x959
3589.53/3600.13 v -x909 x749 -x704 -x658 -x581 -x846 -x760 x827 x962 x615 -x885 -x643 -x861 -x748 -x995 x579 -x542 -x899 x641 -x536 x617 -x723
3589.53/3600.13 v x886 -x973 -x793 x949 x732 x687 -x921 -x659 -x651 -x628 -x534 -x964 -x881 x545 x706 -x940 -x600 -x820 x533 -x756 -x714 x843
3589.53/3600.13 v x711 -x660 x913 x888 -x919 -x680 x994 -x889 -x795 -x735 -x582 -x946 -x608 x877 x985 -x770 -x701 -x630 -x555 -x967 -x596 x960
3589.53/3600.13 v -x948 -x669 -x646 -x603 -x700 x664 -x661 -x895 x934 x931 -x979 -x932 -x867 -x547 -x882 -x632 -x974 -x572 -x551 -x897 x683
3589.53/3600.13 v -x563 -x925 x759 -x750 -x717 -x703 x599 -x562 -x627 x821 -x525 -x635 -x554 -x537 x606 -x811 x812 -x923 -x569 -x844 -x890 -x741
3589.53/3600.13 v -x702 -x666 -x553 -x800 -x829 -x623 -x612 -x849 -x856 -x698 x853 -x734 -x526 -x670 -x955 x591 -x645 -x522 x954 x597 -x567 -x565
3589.53/3600.13 v -x773 -x1000 -x991 -x971 -x918 -x521 -x731 x707 x870 -x689 x629 -x539 -x640 -x944 x905 -x644 -x929 x819 x519 -x839 x726
3589.53/3600.13 v x685 x580 -x576 -x530 -x859 -x622 x908 x776 -x518 -x743 -x725 -x605 -x574 -x552 -x860 -x728 -x992 x674 -x988 -x915 -x535 -x694
3589.53/3600.13 v -x851 -x842 x729 -x765 -x516 -x682 -x638 -x989 -x880 -x556 -x952 -x746 -x619 x797 -x876 -x810 -x767 -x739 -x696 -x678 x841
3589.53/3600.13 v -x709 -x830 -x733 -x514 -x662 -x656 -x872 -x529 -x966 -x854 -x969 -x823 -x736 -x557 -x857 -x928 x772 -x618 -x744 -x708 -x639
3589.53/3600.13 v x613 -x520 -x941 -x620 -x945 -x690 x866 -x942 -x787 -x511 -x965 -x722 -x631 -x781 -x653 x818 -x903 -x598 -x602 -x968 x510 x873
3589.53/3600.13 v -x532 x571 x796 x587 x727 -x513 -x740 -x509 x982 -x862 x799 x774 -x747 -x684 -x601 x677 -x561 x933 -x900 x755 -x652 -x904 -x789
3589.53/3600.13 v -x508 x975 x879 x802 -x771 -x524 -x679 -x777 x809 -x588 -x751 x865 x935 -x868 -x815 -x891 -x832 x822 x647 x614 -x611 -x595
3589.53/3600.13 v -x589 -x546 -x583 x625 -x858 -x814 -x847 -x837 x506 x780 x738 -x507 x828 x585 -x926 x806 -x782 -x997 x671 -x505 -x896 x893
3589.53/3600.13 v -x720 -x549 -x540 -x981 -x592 -x527 -x914 -x871 -x816 -x825 -x699 -x538 -x785 -x504 -x937 x917 x864 -x710 -x676 -x675 -x578
3589.53/3600.13 v -x515 -x920 x874 x730 x543 x512 -x957 x894 x668 x570 -x503 x998 -x953 -x898 -x835 -x757 -x754 -x626 x566 -x559 -x523 -x803 x636
3589.53/3600.13 v -x624 x531 -x783 x930 x568 -x502 -x999 -x805 -x869 -x712 -x737 -x673 -x541 -x927 -x764 x560 -x691 -x528 -x501 x938 -x852 -x807
3589.53/3600.13 v -x724 -x716 -x692 -x607 x590 -x548 -x544 -x517 x863 -x922 -x650 -x993 -x836 -x794 x916 -x778 x887 x884 x500 x499 -x498 -x497
3589.53/3600.13 v x496 -x495 -x494 x493 x492 -x491 -x490 x489 x488 -x487 x486 -x485 -x484 x483 -x482 x481 -x480 x479 x478 -x477 -x476 -x475
3589.53/3600.13 v -x474 x473 -x472 -x471 -x470 x469 x468 x467 x466 -x465 x464 -x463 -x462 x461 -x460 -x459 x458 -x457 -x456 x455 -x454 x453 x452
3589.53/3600.13 v x451 -x450 -x449 x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431
3589.53/3600.13 v -x430 -x429 x428 -x427 x426 -x425 x424 -x423 x422 x421 x420 -x419 -x418 -x417 -x416 x415 x414 -x413 x412 -x411 -x410 -x409 -x408
3589.53/3600.13 v -x407 -x406 -x405 x404 -x403 x402 x401 x400 x399 -x398 -x397 x396 x395 -x394 -x393 -x392 -x391 x390 x389 -x388 -x387 -x386
3589.53/3600.13 v -x385 -x384 -x383 x382 -x381 x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 x369 x368 -x367 -x366 -x365 -x364
3589.53/3600.13 v -x363 x362 -x361 -x360 -x359 x358 -x357 x356 -x355 -x354 -x353 -x352 x351 x350 x349 -x348 x347 -x346 -x345 x344 -x343 -x342
3589.53/3600.13 v -x341 -x340 -x339 x338 -x337 -x336 x335 x334 x333 x332 x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 x320
3589.53/3600.13 v -x319 -x318 -x317 x316 x315 x314 -x313 -x312 x311 x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 x300 -x299 -x298
3589.53/3600.14 v -x297 -x296 -x295 x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 x278 x277 -x276
3589.53/3600.14 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255
3589.53/3600.14 v -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 x246 x245 x244 x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232
3589.53/3600.14 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211
3589.53/3600.14 v -x210 x209 -x208 -x207 -x206 -x205 -x204 x203 x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189
3589.53/3600.14 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 x179 -x178 -x177 x176 x175 -x174 x173 x172 -x171 -x170 x169 -x168 -x167
3589.53/3600.14 v -x166 x165 -x164 -x163 x162 -x161 x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145
3589.53/3600.14 v -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 x128 -x127 -x126 -x125 -x124
3589.53/3600.14 v -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 x104 -x103 x102
3589.53/3600.14 v -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 x78 -x77
3589.53/3600.14 v -x76 x75 -x74 x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51
3589.53/3600.14 v -x50 x49 -x48 x47 x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25
3589.53/3600.14 v x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (49711 MiB free)
memory of node 1: 64510 MiB (58329 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459931-1721943061/watcher-4459931-1721943061 -o /tmp/evaluation-result-4459931-1721943061/solver-4459931-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721943061-248741 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459931-1721943061.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=248799, runsolver pid=248785
[startup+0.100186 s]*
/proc/loadavg: 1.12 1.13 1.18 7/259 248808
/proc/meminfo: memFree=110521728/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=58336 memory=47336 CPUtime=0.09 cores=5,7
/proc/248799/stat : 248799 (fscip) R 248785 248799 246692 0 -1 4194304 9434 0 0 0 8 1 0 0 20 0 1 0 30830330 59736064 11834 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 14584 11834 2654 3032 0 10984 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58336 KiB
Current children cumulated memory: 47336 KiB
[startup+0.207195 s]*
/proc/loadavg: 1.12 1.13 1.18 6/258 248818
/proc/meminfo: memFree=110436536/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=151056 memory=66284 CPUtime=0.19 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 14813 0 0 0 17 2 0 0 20 0 3 0 30830330 154681344 16571 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 37764 16571 2798 3032 0 20427 0
[pid=248799/tid=248817] ppid=248785 vsize=151056 memory=7092396943128854845 CPUtime=0.05 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 3915 0 0 0 5 0 0 0 20 0 3 0 30830344 154681344 16571 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=151056 memory=219966341476 CPUtime=0 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830345 154681344 16571 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 151056 KiB
Current children cumulated memory: 66284 KiB
[startup+0.306186 s]*
/proc/loadavg: 1.12 1.13 1.18 5/258 248818
/proc/meminfo: memFree=110390968/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=151056 memory=73484 CPUtime=0.29 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 16547 0 0 0 26 3 0 0 20 0 3 0 30830330 154681344 18371 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 37764 18371 2910 3032 0 22241 0
[pid=248799/tid=248817] ppid=248785 vsize=151056 memory=-6000919472739935339 CPUtime=0.15 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 5649 0 0 0 14 1 0 0 20 0 3 0 30830344 154681344 18371 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=151056 memory=0 CPUtime=0 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830345 154681344 18371 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 151056 KiB
Current children cumulated memory: 73484 KiB
[startup+0.700229 s]
/proc/loadavg: 1.12 1.13 1.18 6/258 248846
/proc/meminfo: memFree=110407432/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=156516 memory=81652 CPUtime=0.68 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 19898 0 0 0 65 3 0 0 20 0 3 0 30830330 160272384 20413 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 39129 20413 2910 3032 0 24595 0
[pid=248799/tid=248817] ppid=248785 vsize=156516 memory=0 CPUtime=0.53 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 9000 0 0 0 52 1 0 0 20 0 3 0 30830344 160272384 20413 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=156516 memory=0 CPUtime=0 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830345 160272384 20413 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 156516 KiB
Current children cumulated memory: 81652 KiB
[startup+1.50023 s]
/proc/loadavg: 1.12 1.13 1.18 7/260 248884
/proc/meminfo: memFree=110301296/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=159928 memory=122368 CPUtime=1.47 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 36932 0 0 0 142 5 0 0 20 0 3 0 30830330 163766272 30592 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 39982 30592 2910 3032 0 35132 0
[pid=248799/tid=248817] ppid=248785 vsize=159928 memory=0 CPUtime=1.33 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 26034 0 0 0 130 3 0 0 20 0 3 0 30830344 163766272 30592 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=159928 memory=0 CPUtime=0 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830345 163766272 30592 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 159928 KiB
Current children cumulated memory: 122368 KiB
[startup+3.10623 s]
/proc/loadavg: 1.12 1.13 1.18 7/267 248908
/proc/meminfo: memFree=110099216/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=223988 memory=144244 CPUtime=3.07 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 45165 0 0 0 301 6 0 0 20 0 3 0 30830330 229363712 36061 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 55997 36061 2958 3032 0 40279 0
[pid=248799/tid=248817] ppid=248785 vsize=223988 memory=-6152871923884931943 CPUtime=2.93 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 34030 0 0 0 289 4 0 0 20 0 3 0 30830344 229363712 36061 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=223988 memory=0 CPUtime=0 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 30830345 229363712 36061 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 223988 KiB
Current children cumulated memory: 144244 KiB
[startup+6.30026 s]
/proc/loadavg: 1.35 1.18 1.20 7/267 248908
/proc/meminfo: memFree=110016532/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=227784 memory=178076 CPUtime=6.26 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 65129 0 0 0 618 8 0 0 20 0 3 0 30830330 233250816 44519 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 56946 44519 2958 3032 0 48846 0
[pid=248799/tid=248817] ppid=248785 vsize=227784 memory=0 CPUtime=6.11 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 53991 0 0 0 605 6 0 0 20 0 3 0 30830344 233250816 44519 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=227784 memory=11480 CPUtime=0 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 30830345 233250816 44519 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 227784 KiB
Current children cumulated memory: 178076 KiB
[startup+12.7002 s]
/proc/loadavg: 1.57 1.23 1.21 7/267 248910
/proc/meminfo: memFree=109873520/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=297564 memory=215804 CPUtime=12.65 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 102715 0 0 0 1255 10 0 0 20 0 3 0 30830330 304705536 53951 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 74391 53951 2958 3032 0 58498 0
[pid=248799/tid=248817] ppid=248785 vsize=297564 memory=11480 CPUtime=12.5 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 91563 0 0 0 1242 8 0 0 20 0 3 0 30830344 304705536 53951 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=297564 memory=11480 CPUtime=0 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 30830345 304705536 53951 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 297564 KiB
Current children cumulated memory: 215804 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 1.38 1.26 8/267 248911
/proc/meminfo: memFree=109808288/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=363100 memory=274860 CPUtime=25.41 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 167932 0 0 0 2525 16 0 0 20 0 3 0 30830330 371814400 68715 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 90775 68715 2958 3032 0 73377 0
[pid=248799/tid=248817] ppid=248785 vsize=363100 memory=11480 CPUtime=25.26 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 156764 0 0 0 2512 14 0 0 20 0 3 0 30830344 371814400 68715 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=363100 memory=178076 CPUtime=0 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 30830345 371814400 68715 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 363100 KiB
Current children cumulated memory: 274860 KiB
[startup+51.1062 s]
/proc/loadavg: 2.81 1.59 1.34 7/267 248916
/proc/meminfo: memFree=109734200/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=363100 memory=327944 CPUtime=50.95 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 236264 0 0 0 5072 23 0 0 20 0 3 0 30830330 371814400 81986 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 90775 81986 2958 3032 0 86444 0
[pid=248799/tid=248817] ppid=248785 vsize=363100 memory=279888 CPUtime=50.8 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 225089 0 0 0 5059 21 0 0 20 0 3 0 30830344 371814400 81986 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=363100 memory=318268 CPUtime=0 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 30830345 371814400 81986 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 363100 KiB
Current children cumulated memory: 327944 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.98 1.49 7/267 248926
/proc/meminfo: memFree=109583576/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=438612 memory=338048 CPUtime=102.03 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 300225 0 0 0 10175 28 0 0 20 0 3 0 30830330 449138688 84512 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 109653 84512 2958 3032 0 91515 0
[pid=248799/tid=248817] ppid=248785 vsize=438612 memory=337956 CPUtime=101.88 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 289032 0 0 0 10162 26 0 0 20 0 3 0 30830344 449138688 84512 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=438612 memory=334924 CPUtime=0 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 30830345 449138688 84512 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 438612 KiB
Current children cumulated memory: 338048 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.38 1.66 7/267 248937
/proc/meminfo: memFree=109551780/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=438612 memory=342232 CPUtime=161.83 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 325964 0 0 0 16153 30 0 0 20 0 3 0 30830330 449138688 85558 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 109653 85558 2958 3032 0 91858 0
[pid=248799/tid=248817] ppid=248785 vsize=438612 memory=342232 CPUtime=161.68 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 314515 0 0 0 16140 28 0 0 20 0 3 0 30830344 449138688 85558 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=438612 memory=342232 CPUtime=0 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 30830345 449138688 85558 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 438612 KiB
Current children cumulated memory: 342232 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.69 1.81 7/266 248948
################
# More data... #
################
/proc/248799/statm: 160300 137741 2974 3032 0 141914 0
[pid=248799/tid=248817] ppid=248785 vsize=641200 memory=61852 CPUtime=3451.85 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 786417 0 0 0 345105 80 0 0 20 0 3 0 30830344 656588800 137741 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=641200 memory=550964 CPUtime=0.04 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 265 0 0 0 1 3 0 0 20 0 3 0 30830345 656588800 137741 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3452.15 s
Current children cumulated vsize: 641200 KiB
Current children cumulated memory: 550964 KiB
[startup+3522.3 s]
/proc/loadavg: 3.15 3.25 3.17 5/256 251234
/proc/meminfo: memFree=109030376/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=641200 memory=554936 CPUtime=3511.97 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 802250 0 0 0 351107 90 0 0 20 0 3 0 30830330 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 160300 138734 2990 3032 0 142844 0
[pid=248799/tid=248817] ppid=248785 vsize=641200 memory=11480 CPUtime=3511.67 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 789322 0 0 0 351086 81 0 0 20 0 3 0 30830344 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=641200 memory=2236 CPUtime=0.04 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 267 0 0 0 1 3 0 0 20 0 3 0 30830345 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 641200 KiB
Current children cumulated memory: 554936 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.22 3.17 5/259 251304
/proc/meminfo: memFree=109027292/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=641200 memory=554936 CPUtime=3571.78 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 803849 0 0 0 357088 90 0 0 20 0 3 0 30830330 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 160300 138734 2990 3032 0 142844 0
[pid=248799/tid=248817] ppid=248785 vsize=641200 memory=554936 CPUtime=3571.48 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 790899 0 0 0 357066 82 0 0 20 0 3 0 30830344 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=641200 memory=2236 CPUtime=0.04 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 269 0 0 0 1 3 0 0 20 0 3 0 30830345 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 641200 KiB
Current children cumulated memory: 554936 KiB
[startup+3600.15 s]
# the end of solver process 248799 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.67 s, system=0.91435 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.11 3.22 3.17 5/259 251304
/proc/meminfo: memFree=109027244/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=641200 memory=554936 CPUtime=3573.48 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 803849 0 0 0 357258 90 0 0 20 0 3 0 30830330 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 160300 138734 2990 3032 0 142844 0
[pid=248799/tid=248817] ppid=248785 vsize=641200 memory=4812 CPUtime=3573.18 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 790899 0 0 0 357236 82 0 0 20 0 3 0 30830344 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=641200 memory=708264 CPUtime=0.04 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 269 0 0 0 1 3 0 0 20 0 3 0 30830345 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 641200 KiB
Current children cumulated memory: 554936 KiB
[startup+3590.4 s]
/proc/loadavg: 3.09 3.21 3.17 5/259 251306
/proc/meminfo: memFree=109027096/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=641200 memory=554936 CPUtime=3579.85 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 803863 0 0 0 357895 90 0 0 20 0 3 0 30830330 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 160300 138734 2990 3032 0 142844 0
[pid=248799/tid=248817] ppid=248785 vsize=641200 memory=554936 CPUtime=3579.56 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 790913 0 0 0 357874 82 0 0 20 0 3 0 30830344 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=641200 memory=554936 CPUtime=0.04 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 269 0 0 0 1 3 0 0 20 0 3 0 30830345 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3579.85 s
Current children cumulated vsize: 641200 KiB
Current children cumulated memory: 554936 KiB
[startup+3596.8 s]
/proc/loadavg: 3.08 3.20 3.17 5/259 251306
/proc/meminfo: memFree=109027088/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=641200 memory=554936 CPUtime=3586.23 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 803865 0 0 0 358533 90 0 0 20 0 3 0 30830330 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 160300 138734 2990 3032 0 142844 0
[pid=248799/tid=248817] ppid=248785 vsize=641200 memory=11480 CPUtime=3585.93 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 790915 0 0 0 358511 82 0 0 20 0 3 0 30830344 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=641200 memory=12256 CPUtime=0.04 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 269 0 0 0 1 3 0 0 20 0 3 0 30830345 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 641200 KiB
Current children cumulated memory: 554936 KiB
[startup+3598.4 s]
/proc/loadavg: 3.08 3.20 3.17 5/259 251306
/proc/meminfo: memFree=109027112/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=641200 memory=554936 CPUtime=3587.83 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 803865 0 0 0 358693 90 0 0 20 0 3 0 30830330 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 160300 138734 2990 3032 0 142844 0
[pid=248799/tid=248817] ppid=248785 vsize=641200 memory=554936 CPUtime=3587.53 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 790915 0 0 0 358671 82 0 0 20 0 3 0 30830344 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=641200 memory=2236 CPUtime=0.04 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 269 0 0 0 1 3 0 0 20 0 3 0 30830345 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3587.83 s
Current children cumulated vsize: 641200 KiB
Current children cumulated memory: 554936 KiB
[startup+3599.2 s]
/proc/loadavg: 3.08 3.20 3.17 5/259 251308
/proc/meminfo: memFree=109027012/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=641200 memory=554936 CPUtime=3588.62 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 803909 0 0 0 358772 90 0 0 20 0 3 0 30830330 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 160300 138734 2990 3032 0 142844 0
[pid=248799/tid=248817] ppid=248785 vsize=641200 memory=554936 CPUtime=3588.33 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 790959 0 0 0 358751 82 0 0 20 0 3 0 30830344 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=641200 memory=25868 CPUtime=0.04 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 269 0 0 0 1 3 0 0 20 0 3 0 30830345 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3588.62 s
Current children cumulated vsize: 641200 KiB
Current children cumulated memory: 554936 KiB
[startup+3599.6 s]
/proc/loadavg: 3.08 3.20 3.17 5/259 251308
/proc/meminfo: memFree=109027012/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=641200 memory=554936 CPUtime=3589.03 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 803909 0 0 0 358812 91 0 0 20 0 3 0 30830330 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 160300 138734 2990 3032 0 142844 0
[pid=248799/tid=248817] ppid=248785 vsize=641200 memory=6720665462986260075 CPUtime=3588.73 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 790959 0 0 0 358791 82 0 0 20 0 3 0 30830344 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=641200 memory=100 CPUtime=0.04 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 269 0 0 0 1 3 0 0 20 0 3 0 30830345 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3589.03 s
Current children cumulated vsize: 641200 KiB
Current children cumulated memory: 554936 KiB
[startup+3600 s]*
/proc/loadavg: 3.16 3.22 3.17 5/259 251308
/proc/meminfo: memFree=109027008/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=641200 memory=554936 CPUtime=3589.43 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 803918 0 0 0 358852 91 0 0 20 0 3 0 30830330 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 160300 138734 2990 3032 0 142844 0
[pid=248799/tid=248817] ppid=248785 vsize=641200 memory=6720662130125192807 CPUtime=3589.13 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 790967 0 0 0 358831 82 0 0 20 0 3 0 30830344 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=641200 memory=6988 CPUtime=0.04 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 269 0 0 0 1 3 0 0 20 0 3 0 30830345 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3589.43 s
Current children cumulated vsize: 641200 KiB
Current children cumulated memory: 554936 KiB
[startup+3600.11 s]
/proc/loadavg: 3.16 3.22 3.17 5/259 251308
/proc/meminfo: memFree=109027008/131524600 swapFree=131054736/131071996
[pid=248799] ppid=248785 vsize=641200 memory=554936 CPUtime=3589.53 cores=5,7
/proc/248799/stat : 248799 (fscip) S 248785 248799 246692 0 -1 1077936128 803977 0 0 0 358862 91 0 0 20 0 3 0 30830330 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
/proc/248799/statm: 160300 138734 2990 3032 0 142844 0
[pid=248799/tid=248817] ppid=248785 vsize=641200 memory=554936 CPUtime=3589.23 cores=5,7
/proc/248799/task/248817/stat : 248817 (fscip) R 248785 248799 246692 0 -1 4194368 791026 0 0 0 358841 82 0 0 20 0 3 0 30830344 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
[pid=248799/tid=248818] ppid=248785 vsize=641200 memory=61852 CPUtime=0.04 cores=5,7
/proc/248799/task/248818/stat : 248818 (fscip) S 248785 248799 246692 0 -1 1077936192 269 0 0 0 1 3 0 0 20 0 3 0 30830345 656588800 138734 134679101440 4194304 16613245 140729196600512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51343360 140729196602388 140729196602504 140729196602504 140729196609520 0
Current children cumulated CPU time: 3589.53 s
Current children cumulated vsize: 641200 KiB
Current children cumulated memory: 554936 KiB
Child status: 0
Real time (s): 3600.15
CPU time (s): 3589.58
CPU user time (s): 3588.67
CPU system time (s): 0.91435
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 641200
Max. memory (cumulated for all children) (KiB): 554936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.67
system time used= 0.91435
maximum resident set size= 554936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 804383
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= 6763
involuntary context switches= 1623
# summary of solver processes directly reported to runsolver:
# pid: 248799
# total CPU time (s): 3589.58
# total CPU user time (s): 3588.67
# total CPU system time (s): 0.91435
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6061 second user time and 18.1409 second system time
The end
Begin job on nodeC034 at 2024-07-25 23:31:01
IDJOB=4459931
IDBENCH=148665
IDSOLVER=3064
FILE ID=nodeC034/4459931-1721943061
RUNJOBID= nodeC034-1721943061-248741
SLURM_JOB_ID= 8247254
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.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-4459931-1721943061/watcher-4459931-1721943061 -o /tmp/evaluation-result-4459931-1721943061/solver-4459931-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721943061-248741 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459931-1721943061.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d4235fe4c365567a817121803ba4630e
RANDOM SEED=17340828
nodeC034.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 : 3758.532
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.92
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 : 3707.967
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.84
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 : 3612.814
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.92
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 : 3779.595
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.84
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 : 3639.315
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.92
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 : 3634.694
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.84
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 : 3733.290
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.92
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 : 3804.705
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 110636004 kB
MemAvailable: 129694060 kB
Buffers: 332884 kB
Cached: 19484216 kB
SwapCached: 112 kB
Active: 1821072 kB
Inactive: 18352172 kB
Active(anon): 1816 kB
Inactive(anon): 396960 kB
Active(file): 1819256 kB
Inactive(file): 17955212 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131054736 kB
Dirty: 114204 kB
Writeback: 16 kB
AnonPages: 355316 kB
Mapped: 93752 kB
Shmem: 42580 kB
KReclaimable: 246472 kB
Slab: 362232 kB
SReclaimable: 246472 kB
SUnreclaim: 115760 kB
KernelStack: 3872 kB
PageTables: 9620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 712592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 15552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 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: 357076 kB
DirectMap2M: 48699392 kB
DirectMap1G: 87031808 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC034 at 2024-07-26 00:31:02