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.10/0.19 c Default LC presolving (default).
0.10/0.19 c ** Before presolving: virtualMemUsedAtLc = 174702042, getVmSize() = 128217088, SCIPgetMemUsed() = 83214762, SCIPgetMemTotal() = 101418114, SCIPgetMemExternEstim() = 73283928
0.10/0.19 c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
1.39/1.48 c ** Estimated virtualMemUsedAtSolver = 225776206, getVmSize() = 320073728, SCIPgetMemUsed() = 148938421, SCIPgetMemTotal() = 265380381, SCIPgetMemExternEstim() = 73283928
1.39/1.48 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.39/1.48 c Original Problem :
1.39/1.48 c Problem name : instance-4449728-1721403251
1.39/1.48 c Variables : 650 (650 binary, 0 integer, 0 implicit integer, 0 continuous)
1.39/1.48 c Constraints : 72640
1.39/1.48 c Objective sense : minimize
1.39/1.48 c Presolved Problem :
1.39/1.48 c Variables : 630 (630 binary, 0 integer, 0 implicit integer, 0 continuous)
1.39/1.48 c Constraints : 72620
1.39/1.48 c Constraints : Number
1.39/1.48 c setppc : 20
1.39/1.48 c logicor : 72600
1.39/1.48 c ** Instance transfer method used: 0
1.49/1.58 c ** ParaScipInstance copy does not increase the number of variables. **
1.58/1.66 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.58/1.66 c Nodes Active
1.58/1.66 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2.39/2.49 c * 2 0 1 1 19.0000 - -
2.48/2.57 c * 3 0 1 1 18.0000 - -
13.44/13.54 c 14 2 1 1 18.0000 0.0000 -
19.12/19.24 c 19 24 23 1 18.0000 0.0000 -
26.71/26.84 c 27 42 41 1 18.0000 0.0000 -
32.59/32.75 c 33 54 49 1 18.0000 0.0000 -
38.17/38.32 c 38 64 57 1 18.0000 0.0000 -
43.76/43.97 c 44 76 63 1 18.0000 0.0000 -
49.35/49.51 c 50 88 75 1 18.0000 0.0000 -
54.93/55.11 c 55 102 87 1 18.0000 0.0000 -
60.41/60.64 c 61 122 105 1 18.0000 0.0000 -
66.30/66.55 c 67 152 133 1 18.0000 0.0000 -
71.38/71.60 c 72 167 142 1 18.0000 0.0000 -
77.27/77.55 c 78 182 151 1 18.0000 0.0000 -
83.15/83.46 c 83 201 164 1 18.0000 0.0000 -
89.03/89.35 c 89 223 171 1 18.0000 0.0000 -
94.12/94.47 c 94 245 191 1 18.0000 0.0000 -
99.31/99.67 c 100 248 196 1 18.0000 0.0000 -
105.70/106.05 c 106 259 201 1 18.0000 0.0000 -
111.58/111.90 c 112 262 204 1 18.0000 0.0000 -
119.16/119.54 c 120 269 209 1 18.0000 0.0000 -
124.94/125.33 c 125 274 212 1 18.0000 0.0000 -
130.32/130.75 c 131 281 217 1 18.0000 0.0000 -
136.11/136.53 c 137 312 238 1 18.0000 0.0000 -
141.89/142.32 c 142 340 256 1 18.0000 0.0000 -
147.87/148.30 c 148 368 264 1 18.0000 0.0000 -
155.95/156.49 c 156 398 277 1 18.0000 0.0000 -
161.93/162.48 c 162 412 284 1 18.0000 0.0000 -
168.41/168.92 c 169 443 292 1 18.0000 0.0000 -
174.20/174.74 c 175 466 296 1 18.0000 0.0000 -
180.68/181.22 c 181 491 301 1 18.0000 0.0000 -
186.86/187.43 c 187 522 309 1 18.0000 0.0000 -
192.94/193.50 c 194 580 317 1 18.0000 0.0000 -
198.13/198.72 c 199 622 325 1 18.0000 0.0000 -
203.31/203.90 c 204 678 333 1 18.0000 0.0000 -
208.99/209.68 c 210 733 341 1 18.0000 0.0000 -
214.68/215.39 c 215 752 344 1 18.0000 0.0000 -
220.76/221.47 c 221 805 354 1 18.0000 0.0000 -
229.64/230.38 c 230 828 359 1 18.0000 0.0000 -
235.42/236.19 c 236 914 370 1 18.0000 0.0000 -
241.50/242.26 c 242 978 379 1 18.0000 0.0000 -
246.98/247.76 c 248 1100 397 1 18.0000 0.0000 -
253.47/254.21 c 254 1218 413 1 18.0000 0.0000 -
259.35/260.17 c 260 1352 431 1 18.0000 0.0000 -
264.34/265.19 c 265 1467 442 1 18.0000 0.0000 -
269.52/270.35 c 270 1610 455 1 18.0000 0.0000 -
274.70/275.58 c 276 1781 472 1 18.0000 0.0000 -
279.89/280.74 c 281 1942 483 1 18.0000 0.0000 -
285.76/286.62 c 287 2090 493 1 18.0000 0.0000 -
291.05/291.96 c 292 2163 500 1 18.0000 0.0000 -
300.03/300.94 c 301 2273 504 1 18.0000 0.0000 -
305.13/306.05 c 306 2302 505 1 18.0000 0.0000 -
310.51/311.48 c 311 2356 511 1 18.0000 0.0000 -
318.09/319.09 c 319 2385 512 1 18.0000 0.0000 -
325.46/326.46 c 326 2441 520 1 18.0000 0.0000 -
330.45/331.48 c 331 2470 521 1 18.0000 0.0000 -
342.62/343.64 c 344 2499 522 1 18.0000 0.0000 -
351.40/352.42 c 352 2557 530 1 18.0000 0.0000 -
356.58/357.69 c 358 2587 532 1 18.0000 0.0000 -
366.36/367.46 c 367 2616 535 1 18.0000 0.0000 -
371.84/372.96 c 373 2646 539 1 18.0000 0.0000 -
377.23/378.39 c 378 2711 540 1 18.0000 0.0000 -
385.80/386.91 c 387 2829 552 1 18.0000 0.0000 -
390.89/392.10 c 392 3053 562 1 18.0000 0.0000 -
396.07/397.25 c 397 3265 574 1 18.0000 0.0000 -
402.25/403.45 c 403 3378 586 1 18.0000 0.0000 -
408.34/409.55 c 410 3509 591 1 18.0000 0.0000 -
414.32/415.52 c 416 3624 609 1 18.0000 0.0000 -
419.31/420.58 c 421 3774 629 1 18.0000 0.0000 -
425.29/426.52 c 427 3886 651 1 18.0000 0.0000 -
432.17/433.40 c 433 3976 655 1 18.0000 0.0000 -
437.35/438.62 c 439 4257 674 1 18.0000 0.0000 -
443.03/444.35 c 444 4429 698 1 18.0000 0.0000 -
448.51/449.85 c 450 4663 715 1 18.0000 0.0000 -
458.10/459.41 c 459 4677 720 1 18.0000 0.0000 -
463.18/464.52 c 465 4732 739 1 18.0000 0.0000 -
468.27/469.67 c 470 4739 741 1 18.0000 0.0000 -
475.15/476.57 c 477 4760 750 1 18.0000 0.0000 -
480.24/481.66 c 482 4779 761 1 18.0000 0.0000 -
485.92/487.32 c 487 4965 787 1 18.0000 0.0000 -
491.00/492.46 c 492 5167 808 1 18.0000 0.0000 -
496.19/497.69 c 498 5330 836 1 18.0000 0.0000 -
501.38/502.85 c 503 5604 857 1 18.0000 0.0000 -
507.16/508.67 c 509 5817 878 1 18.0000 0.0000 -
512.65/514.14 c 514 5957 884 1 18.0000 0.0000 -
518.53/520.07 c 520 6139 894 1 18.0000 0.0000 -
523.61/525.17 c 525 6309 902 1 18.0000 0.0000 -
529.40/530.98 c 531 6457 914 1 18.0000 0.0000 -
548.55/550.16 c 550 6526 1 1 18.0000 0.0000 -
554.03/555.61 c 556 6546 21 1 18.0000 0.0000 -
561.01/562.61 c 563 6552 27 1 18.0000 0.0000 -
566.19/567.84 c 568 6576 51 1 18.0000 0.0000 -
573.97/575.68 c 576 6582 57 1 18.0000 0.0000 -
579.85/581.59 c 582 6621 78 1 18.0000 0.0000 -
587.13/588.83 c 589 6644 85 1 18.0000 0.0000 -
592.91/594.61 c 595 6677 105 1 18.0000 0.0000 -
598.70/600.40 c 600 6720 115 1 18.0000 0.0000 -
604.18/605.95 c 606 6773 123 1 18.0000 0.0000 -
609.66/611.48 c 611 6850 135 1 18.0000 0.0000 -
615.54/617.36 c 617 6934 144 1 18.0000 0.0000 -
620.83/622.69 c 623 7052 164 1 18.0000 0.0000 -
626.51/628.30 c 628 7206 174 1 18.0000 0.0000 -
631.60/633.44 c 633 7303 186 1 18.0000 0.0000 -
636.78/638.65 c 639 7440 187 1 18.0000 0.0000 -
641.77/643.66 c 644 7520 203 1 18.0000 0.0000 -
647.16/649.04 c 649 7674 205 1 18.0000 0.0000 -
652.53/654.42 c 654 7855 207 1 18.0000 0.0000 -
657.81/659.76 c 660 8009 215 1 18.0000 0.0000 -
663.20/665.11 c 665 8135 219 1 18.0000 0.0000 -
668.29/670.28 c 670 8327 220 1 18.0000 0.0000 -
673.67/675.66 c 676 8485 228 1 18.0000 0.0000 -
679.15/681.12 c 681 8566 230 1 18.0000 0.0000 -
684.34/686.35 c 686 8727 236 1 18.0000 0.0000 -
689.52/691.51 c 692 8937 245 1 18.0000 0.0000 -
695.11/697.11 c 697 9042 260 1 18.0000 0.0000 -
700.19/702.23 c 702 9061 265 1 18.0000 0.0000 -
705.17/707.27 c 707 9100 280 1 18.0000 0.0000 -
711.06/713.18 c 713 9189 306 1 18.0000 0.0000 -
716.14/718.24 c 718 9297 304 1 18.0000 0.0000 -
721.93/724.09 c 724 9366 327 1 18.0000 0.0000 -
727.50/729.62 c 730 9475 373 1 18.0000 0.0000 -
733.18/735.36 c 735 9552 407 1 18.0000 0.0000 -
738.37/740.51 c 741 9664 476 1 18.0000 0.0000 -
743.55/745.73 c 746 9774 530 1 18.0000 0.0000 -
749.24/751.48 c 751 9944 578 1 18.0000 0.0000 -
754.53/756.72 c 757 10097 609 1 18.0000 0.0000 -
759.51/761.79 c 762 10363 643 1 18.0000 0.0000 -
764.80/767.01 c 767 10660 644 1 18.0000 0.0000 -
770.57/772.84 c 773 10894 671 1 18.0000 0.0000 -
776.36/778.68 c 779 11017 716 1 18.0000 0.0000 -
786.13/788.45 c 788 11094 749 1 18.0000 0.0000 -
791.42/793.75 c 794 11104 754 1 18.0000 0.0000 -
798.50/800.85 c 801 11123 766 1 18.0000 0.0000 -
803.69/806.00 c 806 11239 788 1 18.0000 0.0000 -
809.16/811.57 c 812 11467 786 1 18.0000 0.0000 -
814.55/816.90 c 817 11614 800 1 18.0000 0.0000 -
819.64/822.09 c 822 11733 816 1 18.0000 0.0000 -
825.12/827.58 c 828 11862 864 1 18.0000 0.0000 -
832.40/834.84 c 835 11922 887 1 18.0000 0.0000 -
837.59/840.00 c 840 12098 911 1 18.0000 0.0000 -
842.97/845.42 c 845 12157 931 1 18.0000 0.0000 -
848.14/850.67 c 851 12323 1016 1 18.0000 0.0000 -
854.33/856.86 c 857 12517 1059 1 18.0000 0.0000 -
859.52/862.10 c 862 12826 1098 1 18.0000 0.0000 -
864.70/867.29 c 867 13170 1106 1 18.0000 0.0000 -
875.26/877.88 c 878 13334 1127 1 18.0000 0.0000 -
881.46/884.04 c 884 13433 1125 1 18.0000 0.0000 -
886.84/889.48 c 889 13568 1144 1 18.0000 0.0000 -
892.02/894.64 c 895 13802 1146 1 18.0000 0.0000 -
898.00/900.65 c 901 13989 1209 1 18.0000 0.0000 -
903.29/905.93 c 906 14188 1294 1 18.0000 0.0000 -
908.38/911.03 c 911 14362 1347 1 18.0000 0.0000 -
913.46/916.17 c 916 14532 1414 1 18.0000 0.0000 -
918.74/921.43 c 921 14734 1442 1 18.0000 0.0000 -
924.33/927.08 c 927 14895 1442 1 18.0000 0.0000 -
929.80/932.54 c 933 15052 1435 1 18.0000 0.0000 -
934.89/937.62 c 938 15247 1434 1 18.0000 0.0000 -
940.08/942.83 c 943 15439 1435 1 18.0000 0.0000 -
945.46/948.27 c 948 15687 1427 1 18.0000 0.0000 -
950.65/953.45 c 953 15930 1435 1 18.0000 0.0000 -
955.73/958.55 c 959 16157 1435 1 18.0000 0.0000 -
960.92/963.76 c 964 16406 1451 1 18.0000 0.0000 -
966.21/969.03 c 969 16606 1469 1 18.0000 0.0000 -
972.29/975.12 c 975 16781 1475 1 18.0000 0.0000 -
984.55/987.42 c 987 16923 1475 1 18.0000 0.0000 -
989.84/992.76 c 993 17188 1477 1 18.0000 0.0000 -
995.23/998.15 c 998 17412 1486 1 18.0000 0.0000 -
1005.39/1008.30 c 1008 17682 1496 1 18.0000 0.0000 -
1012.47/1015.48 c 1015 17890 1525 1 18.0000 0.0000 -
1017.56/1020.58 c 1021 18054 1538 1 18.0000 0.0000 -
1023.34/1026.33 c 1026 18237 1538 1 18.0000 0.0000 -
1028.43/1031.49 c 1031 18449 1574 1 18.0000 0.0000 -
1033.61/1036.63 c 1037 18788 1574 1 18.0000 0.0000 -
1038.69/1041.70 c 1042 19169 1566 1 18.0000 0.0000 -
1044.18/1047.29 c 1047 19435 1577 1 18.0000 0.0000 -
1049.37/1052.43 c 1052 19578 1598 1 18.0000 0.0000 -
1054.46/1057.57 c 1058 19780 1664 1 18.0000 0.0000 -
1059.54/1062.67 c 1063 20094 1665 1 18.0000 0.0000 -
1067.32/1070.41 c 1070 20408 1667 1 18.0000 0.0000 -
1072.41/1075.57 c 1076 20692 1672 1 18.0000 0.0000 -
1079.58/1082.77 c 1083 20928 1672 1 18.0000 0.0000 -
1084.67/1087.86 c 1088 21246 1674 1 18.0000 0.0000 -
1089.76/1092.96 c 1093 21485 1689 1 18.0000 0.0000 -
1094.85/1098.03 c 1098 21761 1689 1 18.0000 0.0000 -
1102.12/1105.39 c 1105 21789 1691 1 18.0000 0.0000 -
1107.41/1110.66 c 1111 22081 1715 1 18.0000 0.0000 -
1118.48/1121.79 c 1122 22197 1735 1 18.0000 0.0000 -
1123.96/1127.22 c 1127 22499 1747 1 18.0000 0.0000 -
1128.95/1132.29 c 1132 22828 1748 1 18.0000 0.0000 -
1135.53/1138.89 c 1139 23011 1754 1 18.0000 0.0000 -
1141.31/1144.61 c 1145 23166 1759 1 18.0000 0.0000 -
1146.29/1149.67 c 1150 23495 1778 1 18.0000 0.0000 -
1151.79/1155.14 c 1155 23840 1792 1 18.0000 0.0000 -
1156.97/1160.31 c 1160 24086 1810 1 18.0000 0.0000 -
1162.04/1165.41 c 1165 24397 1816 1 18.0000 0.0000 -
1167.43/1170.83 c 1171 24612 1828 1 18.0000 0.0000 -
1172.92/1176.33 c 1176 24740 1838 1 18.0000 0.0000 -
1179.50/1182.91 c 1183 24915 1870 1 18.0000 0.0000 -
1184.48/1187.98 c 1188 25248 1899 1 18.0000 0.0000 -
1189.57/1193.05 c 1193 25566 1910 1 18.0000 0.0000 -
1195.06/1198.59 c 1199 25868 1925 1 18.0000 0.0000 -
1200.14/1203.68 c 1204 26184 1947 1 18.0000 0.0000 -
1206.12/1209.65 c 1210 26536 1957 1 18.0000 0.0000 -
1211.40/1214.92 c 1215 26866 1977 1 18.0000 0.0000 -
1216.39/1219.98 c 1220 27193 1984 1 18.0000 0.0000 -
1222.28/1225.86 c 1226 27406 2006 1 18.0000 0.0000 -
1229.25/1232.86 c 1233 27662 2031 1 18.0000 0.0000 -
1236.44/1240.02 c 1240 27907 2042 1 18.0000 0.0000 -
1241.52/1245.12 c 1245 28202 2058 1 18.0000 0.0000 -
1248.30/1252.00 c 1252 28337 2059 1 18.0000 0.0000 -
1253.40/1257.08 c 1257 28660 2075 1 18.0000 0.0000 -
1258.47/1262.15 c 1262 28959 2072 1 18.0000 0.0000 -
1263.95/1267.69 c 1268 29111 2074 1 18.0000 0.0000 -
1271.44/1275.15 c 1275 29165 2084 1 18.0000 0.0000 -
1276.52/1280.24 c 1280 29531 2103 1 18.0000 0.0000 -
1282.81/1286.52 c 1287 29788 2108 1 18.0000 0.0000 -
1287.79/1291.59 c 1292 30216 2114 1 18.0000 0.0000 -
1292.87/1296.69 c 1297 30545 2118 1 18.0000 0.0000 -
1299.95/1303.78 c 1304 30689 2121 1 18.0000 0.0000 -
1305.15/1308.98 c 1309 31036 2148 1 18.0000 0.0000 -
1310.93/1314.76 c 1315 31195 2154 1 18.0000 0.0000 -
1315.90/1319.78 c 1320 31445 2175 1 18.0000 0.0000 -
1322.60/1326.43 c 1326 31528 2176 1 18.0000 0.0000 -
1327.97/1331.86 c 1332 31727 2218 1 18.0000 0.0000 -
1333.06/1336.95 c 1337 31960 2235 1 18.0000 0.0000 -
1340.14/1344.01 c 1344 32334 2251 1 18.0000 0.0000 -
1347.32/1351.23 c 1351 32541 2279 1 18.0000 0.0000 -
1352.30/1356.26 c 1356 32650 2295 1 18.0000 0.0000 -
1357.39/1361.33 c 1361 33028 2299 1 18.0000 0.0000 -
1363.67/1367.69 c 1368 33242 2324 1 18.0000 0.0000 -
1368.75/1372.77 c 1373 33507 2338 1 18.0000 0.0000 -
1373.83/1377.85 c 1378 33800 2341 1 18.0000 0.0000 -
1379.51/1383.59 c 1384 33961 2336 1 18.0000 0.0000 -
1384.81/1388.87 c 1389 34172 2322 1 18.0000 0.0000 -
1394.68/1398.74 c 1399 34259 2320 1 18.0000 0.0000 -
1400.17/1404.24 c 1404 34339 2321 1 18.0000 0.0000 -
1411.24/1415.32 c 1415 34371 2321 1 18.0000 0.0000 -
1420.80/1424.99 c 1425 34429 2336 1 18.0000 0.0000 -
1425.90/1430.06 c 1430 34781 2347 1 18.0000 0.0000 -
1430.98/1435.14 c 1435 34998 2354 1 18.0000 0.0000 -
1436.67/1440.89 c 1441 35106 2362 1 18.0000 0.0000 -
1441.86/1446.09 c 1446 35284 2363 1 18.0000 0.0000 -
1447.03/1451.29 c 1451 35483 2371 1 18.0000 0.0000 -
1454.81/1459.00 c 1459 35541 2381 1 18.0000 0.0000 -
1459.89/1464.11 c 1464 35820 2392 1 18.0000 0.0000 -
1464.88/1469.19 c 1469 36186 2394 1 18.0000 0.0000 -
1471.76/1476.06 c 1476 36220 2426 1 18.0000 0.0000 -
1476.84/1481.18 c 1481 36471 2433 1 18.0000 0.0000 -
1482.02/1486.30 c 1486 36770 2436 1 18.0000 0.0000 -
1487.11/1491.41 c 1491 37036 2442 1 18.0000 0.0000 -
1492.08/1496.47 c 1496 37366 2439 1 18.0000 0.0000 -
1497.37/1501.71 c 1502 37682 2435 1 18.0000 0.0000 -
1502.46/1506.89 c 1507 37958 2441 1 18.0000 0.0000 -
1508.24/1512.62 c 1513 38107 2449 1 18.0000 0.0000 -
1514.03/1518.46 c 1518 38149 2464 1 18.0000 0.0000 -
1519.11/1523.59 c 1524 38490 2468 1 18.0000 0.0000 -
1524.70/1529.19 c 1529 38521 2480 1 18.0000 0.0000 -
1530.18/1534.60 c 1535 38789 2482 1 18.0000 0.0000 -
1535.86/1540.31 c 1540 38948 2502 1 18.0000 0.0000 -
1541.35/1545.81 c 1546 39140 2518 1 18.0000 0.0000 -
1549.63/1554.11 c 1554 39299 2535 1 18.0000 0.0000 -
1555.21/1559.74 c 1560 39345 2571 1 18.0000 0.0000 -
1562.79/1567.34 c 1567 39417 2617 1 18.0000 0.0000 -
1568.08/1572.64 c 1573 39557 2646 1 18.0000 0.0000 -
1574.96/1579.59 c 1580 39654 2688 1 18.0000 0.0000 -
1581.55/1586.14 c 1586 39762 2743 1 18.0000 0.0000 -
1587.03/1591.65 c 1592 39826 2779 1 18.0000 0.0000 -
1592.11/1596.79 c 1597 39928 2831 1 18.0000 0.0000 -
1597.30/1601.90 c 1602 39935 2840 1 18.0000 0.0000 -
1605.38/1610.10 c 1610 40027 2870 1 18.0000 0.0000 -
1610.47/1615.18 c 1615 40301 2885 1 18.0000 0.0000 -
1617.74/1622.47 c 1622 40406 2918 1 18.0000 0.0000 -
1624.62/1629.37 c 1629 40421 2925 1 18.0000 0.0000 -
1630.21/1634.97 c 1635 40441 2939 1 18.0000 0.0000 -
1635.40/1640.16 c 1640 40626 2953 1 18.0000 0.0000 -
1642.28/1647.03 c 1647 40764 2956 1 18.0000 0.0000 -
1648.27/1653.08 c 1653 40855 2976 1 18.0000 0.0000 -
1655.94/1660.79 c 1661 40912 2994 1 18.0000 0.0000 -
1662.33/1667.10 c 1667 40973 3019 1 18.0000 0.0000 -
1668.21/1673.02 c 1673 41004 3037 1 18.0000 0.0000 -
1674.88/1679.77 c 1680 41062 3053 1 18.0000 0.0000 -
1682.76/1687.63 c 1688 41102 3072 1 18.0000 0.0000 -
1690.34/1695.25 c 1695 41240 3121 1 18.0000 0.0000 -
1697.13/1702.06 c 1702 41258 3137 1 18.0000 0.0000 -
1703.51/1708.41 c 1708 41378 3205 1 18.0000 0.0000 -
1711.48/1716.47 c 1716 41615 3235 1 18.0000 0.0000 -
1719.96/1724.90 c 1725 41757 3295 1 18.0000 0.0000 -
1728.04/1733.10 c 1733 41939 3361 1 18.0000 0.0000 -
1733.22/1738.29 c 1738 42026 3386 1 18.0000 0.0000 -
1738.61/1743.67 c 1744 42065 3399 1 18.0000 0.0000 -
1744.49/1749.51 c 1750 42131 3421 1 18.0000 0.0000 -
1749.68/1754.71 c 1755 42398 3440 1 18.0000 0.0000 -
1756.16/1761.23 c 1761 42430 3440 1 18.0000 0.0000 -
1763.74/1768.80 c 1769 42652 3457 1 18.0000 0.0000 -
1769.13/1774.21 c 1774 42807 3472 1 18.0000 0.0000 -
1774.62/1779.79 c 1780 42893 3503 1 18.0000 0.0000 -
1780.40/1785.50 c 1786 43073 3507 1 18.0000 0.0000 -
1785.89/1791.00 c 1791 43390 3517 1 18.0000 0.0000 -
1790.98/1796.13 c 1796 43574 3539 1 18.0000 0.0000 -
1796.56/1801.76 c 1802 43711 3558 1 18.0000 0.0000 -
1807.73/1812.93 c 1813 43892 3563 1 18.0000 0.0000 -
1812.72/1817.95 c 1818 43996 3563 1 18.0000 0.0000 -
1821.90/1827.11 c 1827 44180 3564 1 18.0000 0.0000 -
1827.88/1833.14 c 1833 44280 3564 1 18.0000 0.0000 -
1833.66/1838.98 c 1839 44505 3593 1 18.0000 0.0000 -
1844.82/1850.12 c 1850 44677 3599 1 18.0000 0.0000 -
1850.30/1855.64 c 1856 44775 3599 1 18.0000 0.0000 -
1860.17/1865.59 c 1866 44939 3617 1 18.0000 0.0000 -
1874.32/1879.75 c 1880 44993 3621 1 18.0000 0.0000 -
1882.30/1887.77 c 1888 45160 3622 1 18.0000 0.0000 -
1893.67/1899.19 c 1899 45413 3622 1 18.0000 0.0000 -
1903.73/1909.28 c 1909 45556 3622 1 18.0000 0.0000 -
1908.71/1914.29 c 1914 45804 3619 1 18.0000 0.0000 -
1914.50/1920.06 c 1920 46000 3623 1 18.0000 0.0000 -
1919.77/1925.33 c 1925 46009 3624 1 18.0000 0.0000 -
1925.06/1930.60 c 1931 46139 3613 1 18.0000 0.0000 -
1930.04/1935.65 c 1936 46442 3627 1 18.0000 0.0000 -
1940.51/1946.16 c 1946 46465 3628 1 18.0000 0.0000 -
1945.59/1951.27 c 1951 46692 3636 1 18.0000 0.0000 -
1952.37/1958.07 c 1958 46864 3637 1 18.0000 0.0000 -
1962.13/1967.80 c 1968 46932 3637 1 18.0000 0.0000 -
1967.12/1972.88 c 1973 47259 3639 1 18.0000 0.0000 -
1982.28/1988.00 c 1988 47619 3638 1 18.0000 0.0000 -
1987.65/1993.43 c 1993 47789 3639 1 18.0000 0.0000 -
1994.14/1999.94 c 2000 47861 3639 1 18.0000 0.0000 -
1999.72/2005.52 c 2006 48193 3651 1 18.0000 0.0000 -
2008.60/2014.45 c 2014 48467 3653 1 18.0000 0.0000 -
2015.88/2021.75 c 2022 48747 3653 1 18.0000 0.0000 -
2027.65/2033.57 c 2034 49032 3655 1 18.0000 0.0000 -
2033.04/2038.95 c 2039 49253 3665 1 18.0000 0.0000 -
2039.13/2045.09 c 2045 49405 3667 1 18.0000 0.0000 -
2045.60/2051.51 c 2052 49705 3688 1 18.0000 0.0000 -
2050.99/2056.98 c 2057 49923 3692 1 18.0000 0.0000 -
2056.09/2062.06 c 2062 50276 3700 1 18.0000 0.0000 -
2071.64/2077.69 c 2078 50623 3728 1 18.0000 0.0000 -
2077.13/2083.16 c 2083 50855 3741 1 18.0000 0.0000 -
2085.70/2091.70 c 2092 51156 3764 1 18.0000 0.0000 -
2090.69/2096.77 c 2097 51533 3766 1 18.0000 0.0000 -
2096.88/2102.93 c 2103 51636 3767 1 18.0000 0.0000 -
2102.36/2108.46 c 2108 51836 3769 1 18.0000 0.0000 -
2107.45/2113.52 c 2114 52218 3770 1 18.0000 0.0000 -
2112.63/2118.73 c 2119 52395 3780 1 18.0000 0.0000 -
2119.61/2125.79 c 2126 52617 3784 1 18.0000 0.0000 -
2124.70/2130.87 c 2131 52985 3786 1 18.0000 0.0000 -
2130.29/2136.43 c 2136 53029 3816 1 18.0000 0.0000 -
2135.58/2141.74 c 2142 53377 3837 1 18.0000 0.0000 -
2143.05/2149.21 c 2149 53706 3839 1 18.0000 0.0000 -
2152.53/2158.73 c 2159 53776 3839 1 18.0000 0.0000 -
2159.21/2165.49 c 2165 53988 3866 1 18.0000 0.0000 -
2165.80/2172.09 c 2172 54187 3873 1 18.0000 0.0000 -
2170.89/2177.16 c 2177 54562 3882 1 18.0000 0.0000 -
2177.97/2184.23 c 2184 54617 3882 1 18.0000 0.0000 -
2183.05/2189.34 c 2189 54964 3891 1 18.0000 0.0000 -
2188.24/2194.51 c 2195 55224 3928 1 18.0000 0.0000 -
2195.22/2201.51 c 2202 55466 3933 1 18.0000 0.0000 -
2200.71/2207.05 c 2207 55657 3938 1 18.0000 0.0000 -
2206.20/2212.55 c 2213 55870 3939 1 18.0000 0.0000 -
2217.67/2224.02 c 2224 56158 3942 1 18.0000 0.0000 -
2224.05/2230.41 c 2230 56350 3942 1 18.0000 0.0000 -
2229.23/2235.68 c 2236 56498 3944 1 18.0000 0.0000 -
2234.32/2240.71 c 2241 56784 3955 1 18.0000 0.0000 -
2240.20/2246.66 c 2247 56829 3956 1 18.0000 0.0000 -
2247.79/2254.25 c 2254 56967 3956 1 18.0000 0.0000 -
2252.88/2259.33 c 2259 57350 3961 1 18.0000 0.0000 -
2258.17/2264.63 c 2265 57520 3961 1 18.0000 0.0000 -
2263.56/2270.04 c 2270 57641 3962 1 18.0000 0.0000 -
2268.74/2275.22 c 2275 57787 3962 1 18.0000 0.0000 -
2274.22/2280.79 c 2281 57873 3966 1 18.0000 0.0000 -
2279.90/2286.40 c 2286 58158 3981 1 18.0000 0.0000 -
2284.89/2291.46 c 2291 58422 3999 1 18.0000 0.0000 -
2289.98/2296.52 c 2297 58723 4020 1 18.0000 0.0000 -
2294.96/2301.59 c 2302 59058 4026 1 18.0000 0.0000 -
2305.24/2311.87 c 2312 59339 4056 1 18.0000 0.0000 -
2310.82/2317.43 c 2317 59496 4054 1 18.0000 0.0000 -
2315.82/2322.48 c 2322 59843 4074 1 18.0000 0.0000 -
2321.70/2328.36 c 2328 59908 4073 1 18.0000 0.0000 -
2327.28/2333.94 c 2334 60121 4114 1 18.0000 0.0000 -
2334.27/2340.94 c 2341 60310 4124 1 18.0000 0.0000 -
2339.36/2346.08 c 2346 60523 4131 1 18.0000 0.0000 -
2348.23/2354.93 c 2355 60642 4155 1 18.0000 0.0000 -
2354.11/2360.88 c 2361 60761 4191 1 18.0000 0.0000 -
2359.20/2365.92 c 2366 60897 4223 1 18.0000 0.0000 -
2365.18/2371.99 c 2372 61008 4259 1 18.0000 0.0000 -
2370.37/2377.13 c 2377 61119 4291 1 18.0000 0.0000 -
2377.15/2383.97 c 2384 61120 4292 1 18.0000 0.0000 -
2387.13/2393.98 c 2394 61374 4319 1 18.0000 0.0000 -
2392.72/2399.54 c 2400 61431 4321 1 18.0000 0.0000 -
2397.80/2404.66 c 2405 61619 4336 1 18.0000 0.0000 -
2403.19/2410.08 c 2410 61821 4364 1 18.0000 0.0000 -
2408.38/2415.23 c 2415 62101 4387 1 18.0000 0.0000 -
2414.26/2421.16 c 2421 62279 4402 1 18.0000 0.0000 -
2419.54/2426.45 c 2426 62407 4403 1 18.0000 0.0000 -
2424.93/2431.88 c 2432 62552 4420 1 18.0000 0.0000 -
2430.01/2436.94 c 2437 62882 4435 1 18.0000 0.0000 -
2436.40/2443.33 c 2443 63039 4437 1 18.0000 0.0000 -
2444.77/2451.77 c 2452 63256 4434 1 18.0000 0.0000 -
2450.25/2457.27 c 2457 63422 4463 1 18.0000 0.0000 -
2458.43/2465.43 c 2465 63663 4492 1 18.0000 0.0000 -
2464.21/2471.27 c 2471 63961 4511 1 18.0000 0.0000 -
2469.79/2476.83 c 2477 64257 4520 1 18.0000 0.0000 -
2481.85/2488.96 c 2489 64477 4519 1 18.0000 0.0000 -
2489.93/2497.00 c 2497 64639 4519 1 18.0000 0.0000 -
2494.92/2502.10 c 2502 64715 4519 1 18.0000 0.0000 -
2501.69/2508.82 c 2509 64937 4518 1 18.0000 0.0000 -
2507.17/2514.37 c 2514 65182 4526 1 18.0000 0.0000 -
2512.86/2520.09 c 2520 65408 4540 1 18.0000 0.0000 -
2520.94/2528.19 c 2528 65651 4552 1 18.0000 0.0000 -
2526.11/2533.32 c 2533 65930 4590 1 18.0000 0.0000 -
2531.09/2538.34 c 2538 66030 4633 1 18.0000 0.0000 -
2536.18/2543.44 c 2543 66333 4666 1 18.0000 0.0000 -
2542.06/2549.31 c 2549 66683 4676 1 18.0000 0.0000 -
2547.64/2554.93 c 2555 66975 4679 1 18.0000 0.0000 -
2553.02/2560.33 c 2560 67151 4682 1 18.0000 0.0000 -
2559.00/2566.32 c 2566 67223 4682 1 18.0000 0.0000 -
2565.68/2573.02 c 2573 67578 4689 1 18.0000 0.0000 -
2572.16/2579.55 c 2580 67823 4725 1 18.0000 0.0000 -
2577.25/2584.64 c 2585 68254 4728 1 18.0000 0.0000 -
2582.23/2589.69 c 2590 68653 4738 1 18.0000 0.0000 -
2587.31/2594.77 c 2595 68995 4754 1 18.0000 0.0000 -
2592.79/2600.24 c 2600 69186 4785 1 18.0000 0.0000 -
2598.27/2605.75 c 2606 69474 4803 1 18.0000 0.0000 -
2603.35/2610.85 c 2611 69811 4817 1 18.0000 0.0000 -
2608.44/2615.91 c 2616 70153 4819 1 18.0000 0.0000 -
2613.93/2621.46 c 2621 70234 4820 1 18.0000 0.0000 -
2621.40/2628.92 c 2629 70555 4820 1 18.0000 0.0000 -
2626.59/2634.19 c 2634 70706 4843 1 18.0000 0.0000 -
2632.86/2640.45 c 2640 70797 4881 1 18.0000 0.0000 -
2638.24/2645.82 c 2646 71035 4909 1 18.0000 0.0000 -
2646.13/2653.77 c 2654 71199 4932 1 18.0000 0.0000 -
2651.30/2658.93 c 2659 71332 4966 1 18.0000 0.0000 -
2656.49/2664.15 c 2664 71480 5008 1 18.0000 0.0000 -
2665.76/2673.42 c 2673 71552 5008 1 18.0000 0.0000 -
2670.95/2678.63 c 2679 71700 5010 1 18.0000 0.0000 -
2679.53/2687.25 c 2687 72011 5035 1 18.0000 0.0000 -
2685.32/2693.07 c 2693 72283 5065 1 18.0000 0.0000 -
2690.50/2698.22 c 2698 72430 5066 1 18.0000 0.0000 -
2697.08/2704.84 c 2705 72585 5066 1 18.0000 0.0000 -
2702.18/2709.96 c 2710 72908 5078 1 18.0000 0.0000 -
2708.56/2716.37 c 2716 73079 5078 1 18.0000 0.0000 -
2713.85/2721.61 c 2722 73165 5078 1 18.0000 0.0000 -
2719.04/2726.86 c 2727 73386 5093 1 18.0000 0.0000 -
2725.33/2733.14 c 2733 73450 5107 1 18.0000 0.0000 -
2732.31/2740.19 c 2740 73605 5110 1 18.0000 0.0000 -
2739.89/2747.77 c 2748 73732 5110 1 18.0000 0.0000 -
2745.77/2753.62 c 2754 73949 5137 1 18.0000 0.0000 -
2750.86/2758.74 c 2759 74056 5157 1 18.0000 0.0000 -
2756.14/2764.01 c 2764 74265 5178 1 18.0000 0.0000 -
2761.33/2769.20 c 2769 74329 5200 1 18.0000 0.0000 -
2766.51/2774.48 c 2774 74581 5214 1 18.0000 0.0000 -
2776.99/2784.96 c 2785 74749 5214 1 18.0000 0.0000 -
2788.36/2796.35 c 2796 74831 5211 1 18.0000 0.0000 -
2796.93/2804.97 c 2805 74959 5211 1 18.0000 0.0000 -
2804.81/2812.82 c 2813 75279 5212 1 18.0000 0.0000 -
2810.30/2818.34 c 2818 75485 5212 1 18.0000 0.0000 -
2815.88/2823.96 c 2824 75700 5227 1 18.0000 0.0000 -
2825.07/2833.14 c 2833 75744 5227 1 18.0000 0.0000 -
2833.34/2841.47 c 2841 75870 5227 1 18.0000 0.0000 -
2843.72/2851.87 c 2852 76122 5227 1 18.0000 0.0000 -
2849.11/2857.23 c 2857 76375 5229 1 18.0000 0.0000 -
2854.49/2862.64 c 2863 76556 5229 1 18.0000 0.0000 -
2861.08/2869.21 c 2869 76758 5229 1 18.0000 0.0000 -
2868.86/2877.10 c 2877 76932 5252 1 18.0000 0.0000 -
2874.44/2882.62 c 2883 77141 5253 1 18.0000 0.0000 -
2879.42/2887.68 c 2888 77558 5252 1 18.0000 0.0000 -
2884.51/2892.74 c 2893 77894 5253 1 18.0000 0.0000 -
2889.70/2897.95 c 2898 78085 5255 1 18.0000 0.0000 -
2895.68/2903.93 c 2904 78238 5256 1 18.0000 0.0000 -
2903.36/2911.67 c 2912 78400 5260 1 18.0000 0.0000 -
2909.85/2918.19 c 2918 78507 5271 1 18.0000 0.0000 -
2914.92/2923.25 c 2923 78822 5272 1 18.0000 0.0000 -
2920.61/2928.96 c 2929 79025 5283 1 18.0000 0.0000 -
2925.70/2934.01 c 2934 79313 5301 1 18.0000 0.0000 -
2933.87/2942.29 c 2942 79550 5312 1 18.0000 0.0000 -
2943.54/2951.97 c 2952 79643 5313 1 18.0000 0.0000 -
2951.03/2959.44 c 2959 79683 5313 1 18.0000 0.0000 -
2958.10/2966.59 c 2967 79931 5311 1 18.0000 0.0000 -
2963.29/2971.70 c 2972 80242 5319 1 18.0000 0.0000 -
2970.26/2978.75 c 2979 80516 5315 1 18.0000 0.0000 -
2975.36/2983.81 c 2984 80826 5333 1 18.0000 0.0000 -
2980.44/2988.95 c 2989 81079 5344 1 18.0000 0.0000 -
2985.72/2994.21 c 2994 81246 5401 1 18.0000 0.0000 -
2991.31/2999.84 c 3000 81347 5440 1 18.0000 0.0000 -
2996.99/3005.58 c 3006 81423 5464 1 18.0000 0.0000 -
3003.97/3012.51 c 3013 81469 5493 1 18.0000 0.0000 -
3009.66/3018.21 c 3018 81703 5564 1 18.0000 0.0000 -
3015.14/3023.77 c 3024 82001 5563 1 18.0000 0.0000 -
3021.02/3029.63 c 3030 82241 5561 1 18.0000 0.0000 -
3028.00/3036.66 c 3037 82380 5616 1 18.0000 0.0000 -
3033.10/3041.77 c 3042 82634 5639 1 18.0000 0.0000 -
3038.18/3046.85 c 3047 82941 5642 1 18.0000 0.0000 -
3045.47/3054.11 c 3054 83225 5642 1 18.0000 0.0000 -
3050.45/3059.19 c 3059 83561 5648 1 18.0000 0.0000 -
3064.01/3072.79 c 3073 83692 5657 1 18.0000 0.0000 -
3069.09/3077.88 c 3078 83978 5670 1 18.0000 0.0000 -
3074.38/3083.13 c 3083 84241 5703 1 18.0000 0.0000 -
3082.16/3090.93 c 3091 84572 5710 1 18.0000 0.0000 -
3087.53/3096.33 c 3096 84783 5725 1 18.0000 0.0000 -
3092.62/3101.47 c 3101 85093 5730 1 18.0000 0.0000 -
3097.71/3106.54 c 3107 85425 5731 1 18.0000 0.0000 -
3102.69/3111.58 c 3112 85787 5739 1 18.0000 0.0000 -
3107.78/3116.65 c 3117 86151 5740 1 18.0000 0.0000 -
3112.86/3121.72 c 3122 86495 5740 1 18.0000 0.0000 -
3118.94/3127.87 c 3128 86598 5740 1 18.0000 0.0000 -
3125.03/3133.91 c 3134 86695 5740 1 18.0000 0.0000 -
3131.01/3139.94 c 3140 86787 5747 1 18.0000 0.0000 -
3136.90/3145.89 c 3146 86988 5748 1 18.0000 0.0000 -
3147.27/3156.23 c 3156 87147 5746 1 18.0000 0.0000 -
3152.36/3161.30 c 3161 87487 5758 1 18.0000 0.0000 -
3163.32/3172.38 c 3172 87738 5766 1 18.0000 0.0000 -
3169.21/3178.21 c 3178 87940 5769 1 18.0000 0.0000 -
3174.20/3183.26 c 3183 88274 5778 1 18.0000 0.0000 -
3185.27/3194.36 c 3194 88411 5779 1 18.0000 0.0000 -
3195.44/3204.51 c 3205 88505 5779 1 18.0000 0.0000 -
3202.22/3211.31 c 3211 88669 5779 1 18.0000 0.0000 -
3209.60/3218.72 c 3219 88956 5779 1 18.0000 0.0000 -
3215.08/3224.25 c 3224 89106 5778 1 18.0000 0.0000 -
3231.73/3240.96 c 3241 89239 5779 1 18.0000 0.0000 -
3238.83/3248.10 c 3248 89371 5779 1 18.0000 0.0000 -
3248.99/3258.26 c 3258 89561 5778 1 18.0000 0.0000 -
3260.36/3269.63 c 3270 89832 5780 1 18.0000 0.0000 -
3268.13/3277.46 c 3277 89938 5780 1 18.0000 0.0000 -
3276.91/3286.27 c 3286 90065 5781 1 18.0000 0.0000 -
3282.30/3291.69 c 3292 90205 5776 1 18.0000 0.0000 -
3289.07/3298.44 c 3298 90282 5786 1 18.0000 0.0000 -
3295.36/3304.77 c 3305 90310 5799 1 18.0000 0.0000 -
3300.34/3309.79 c 3310 90386 5814 1 18.0000 0.0000 -
3307.72/3317.16 c 3317 90449 5831 1 18.0000 0.0000 -
3316.70/3326.15 c 3326 90724 5838 1 18.0000 0.0000 -
3323.58/3333.06 c 3333 90764 5837 1 18.0000 0.0000 -
3332.56/3342.00 c 3342 90838 5837 1 18.0000 0.0000 -
3340.54/3350.02 c 3350 90942 5837 1 18.0000 0.0000 -
3349.30/3358.87 c 3359 91152 5839 1 18.0000 0.0000 -
3356.08/3365.62 c 3366 91202 5839 1 18.0000 0.0000 -
3361.27/3370.86 c 3371 91412 5841 1 18.0000 0.0000 -
3368.15/3377.74 c 3378 91513 5851 1 18.0000 0.0000 -
3373.33/3382.93 c 3383 91758 5862 1 18.0000 0.0000 -
3379.61/3389.29 c 3389 91811 5870 1 18.0000 0.0000 -
3387.10/3396.74 c 3397 91948 5874 1 18.0000 0.0000 -
3394.48/3404.12 c 3404 92071 5886 1 18.0000 0.0000 -
3401.06/3410.72 c 3411 92218 5888 1 18.0000 0.0000 -
3408.64/3418.30 c 3418 92325 5898 1 18.0000 0.0000 -
3419.61/3429.37 c 3429 92511 5896 1 18.0000 0.0000 -
3426.99/3436.73 c 3437 92583 5896 1 18.0000 0.0000 -
3431.97/3441.78 c 3442 92984 5889 1 18.0000 0.0000 -
3439.36/3449.17 c 3449 93093 5909 1 18.0000 0.0000 -
3445.44/3455.27 c 3455 93290 5919 1 18.0000 0.0000 -
3452.02/3461.82 c 3462 93468 5926 1 18.0000 0.0000 -
3457.60/3467.47 c 3467 93490 5935 1 18.0000 0.0000 -
3472.06/3481.90 c 3482 93527 5935 1 18.0000 0.0000 -
3479.15/3489.05 c 3489 93638 5936 1 18.0000 0.0000 -
3487.52/3497.42 c 3497 93712 5935 1 18.0000 0.0000 -
3493.30/3503.25 c 3503 93762 5935 1 18.0000 0.0000 -
3499.20/3509.11 c 3509 93927 5947 1 18.0000 0.0000 -
3504.78/3514.77 c 3515 94020 5953 1 18.0000 0.0000 -
3510.76/3520.76 c 3521 94191 5966 1 18.0000 0.0000 -
3515.84/3525.83 c 3526 94331 5977 1 18.0000 0.0000 -
3520.93/3530.92 c 3531 94626 5980 1 18.0000 0.0000 -
3526.02/3536.00 c 3536 94913 5982 1 18.0000 0.0000 -
3531.80/3541.82 c 3542 94990 5981 1 18.0000 0.0000 -
3540.47/3550.53 c 3551 95144 5987 1 18.0000 0.0000 -
3545.76/3555.83 c 3556 95268 5992 1 18.0000 0.0000 -
3554.63/3564.79 c 3565 95490 5991 1 18.0000 0.0000 -
3560.52/3570.65 c 3571 95756 5998 1 18.0000 0.0000 -
3567.40/3577.55 c 3578 95775 5999 1 18.0000 0.0000 -
3575.88/3586.06 c 3586 96068 6005 1 18.0000 0.0000 -
3581.16/3591.34 c 3591 96154 6030 1 18.0000 0.0000 -
3587.13/3597.36 c 3597 96395 6031 1 18.0000 0.0000 -
3590.02/3600.25 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.02/3600.25 c Total Time : 3600.2400
3590.02/3600.25 c solving : 3600.2400
3590.02/3600.25 c presolving : 1.2926 (included in solving)
3590.02/3600.25 c B&B Tree :
3590.02/3600.25 c nodes (total) : 1
3590.02/3600.25 c Solution :
3590.02/3600.25 c Solutions found : 2
3590.02/3600.25 c Primal Bound : +1.80000000000000e+01
3590.02/3600.25 c Dual Bound : +0.00000000000000e+00
3590.02/3600.25 c Gap : infinite
3590.02/3600.25 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3590.13/3600.31 o 18
3590.13/3600.31 s SATISFIABLE
3590.13/3600.31 v x650 -x649 -x648 x647 -x646 x645 -x644 x643 -x642 x641 -x640 x639 -x638 x637 -x636 x635 -x634 x633 -x632 x631 -x630 x629 -x628
3590.13/3600.31 v x627 -x626 x625 -x624 x623 -x622 x621 -x620 x619 -x618 x617 -x616 x615 -x614 x613 -x612 x611 x190 x189 -x188 x187 -x186 -x185
3590.13/3600.31 v x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163
3590.13/3600.31 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142
3590.13/3600.31 v -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121
3590.13/3600.31 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
3590.13/3600.31 v x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
3590.13/3600.31 v -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49
3590.13/3600.31 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
3590.13/3600.31 v -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x610 -x590 -x570 -x550
3590.13/3600.31 v -x530 -x510 -x490 -x470 -x450 -x430 -x410 -x390 -x370 -x350 -x330 -x310 -x290 -x270 -x250 -x230 -x609 -x589 -x569 -x549
3590.13/3600.31 v -x529 -x509 -x489 -x469 -x449 -x429 -x409 -x389 -x369 -x349 -x329 -x309 -x289 -x269 -x249 -x229 -x608 -x588 -x568 -x548 -x528
3590.13/3600.31 v -x508 -x488 -x468 -x448 -x428 -x408 -x388 -x368 -x348 -x328 -x308 -x288 -x268 -x248 -x228 -x607 -x587 -x567 -x547 -x527 -x507
3590.13/3600.31 v -x487 -x467 -x447 -x427 -x407 -x387 -x367 -x347 -x327 -x307 -x287 -x267 -x247 -x227 -x606 -x586 -x566 -x546 -x526 -x506 -x486
3590.13/3600.31 v -x466 -x446 -x426 -x406 -x386 -x366 -x346 -x326 -x306 -x286 -x266 -x246 -x226 -x605 -x585 -x565 -x545 -x525 -x505 -x485 -x465
3590.13/3600.31 v -x445 -x425 -x405 -x385 -x365 -x345 -x325 -x305 -x285 -x265 -x245 -x225 -x604 -x584 -x564 -x544 -x524 -x504 -x484 -x464 -x444
3590.13/3600.31 v -x424 -x404 -x384 -x364 -x344 -x324 -x304 -x284 -x264 -x244 -x224 -x603 -x583 -x563 -x543 -x523 -x503 -x483 -x463 -x443
3590.13/3600.31 v -x423 -x403 -x383 -x363 -x343 -x323 -x303 -x283 -x263 -x243 -x223 -x602 -x582 -x562 -x542 -x522 -x502 -x482 -x462 -x442 -x422
3590.13/3600.31 v -x402 -x382 -x362 -x342 -x322 -x302 -x282 -x262 -x242 -x222 -x601 -x581 -x561 -x541 -x521 -x501 -x481 -x461 -x441 -x421 -x401
3590.13/3600.31 v -x381 -x361 -x341 -x321 -x301 -x281 -x261 -x241 -x221 -x600 -x580 -x560 -x540 -x520 -x500 -x480 -x460 -x440 -x420 -x400 -x380
3590.13/3600.31 v -x360 -x340 -x320 -x300 -x280 -x260 -x240 -x220 -x599 -x579 -x559 -x539 -x519 -x499 -x479 -x459 -x439 -x419 -x399 -x379 -x359
3590.13/3600.31 v -x339 -x319 -x299 -x279 -x259 -x239 -x219 -x598 -x578 -x558 -x538 -x518 -x498 -x478 -x458 -x438 -x418 -x398 -x378 -x358 -x338
3590.13/3600.31 v -x318 -x298 -x278 -x258 -x238 -x218 -x597 -x577 -x557 -x537 -x517 -x497 -x477 -x457 -x437 -x417 -x397 -x377 -x357 -x337
3590.13/3600.31 v -x317 -x297 -x277 -x257 -x237 -x217 -x596 -x576 -x556 -x536 -x516 -x496 -x476 -x456 -x436 -x416 -x396 -x376 -x356 -x336 -x316
3590.13/3600.31 v -x296 -x276 -x256 -x236 -x216 -x595 -x575 -x555 -x535 -x515 -x495 -x475 -x455 -x435 -x415 -x395 -x375 -x355 -x335 -x315 -x295
3590.13/3600.31 v -x275 -x255 -x235 -x215 -x594 -x574 -x554 -x534 -x514 -x494 -x474 -x454 -x434 -x414 -x394 -x374 -x354 -x334 -x314 -x294 -x274
3590.13/3600.31 v -x254 -x234 -x214 x593 -x573 -x553 -x533 -x513 -x493 -x473 -x453 -x433 -x413 -x393 -x373 -x353 -x333 -x313 -x293 -x273 -x253
3590.13/3600.31 v -x233 -x213 -x592 x572 x552 x532 x512 x492 x472 x452 x432 x412 x392 x372 x352 x332 x312 x292 x272 x252 x232 x212 -x591 -x571
3590.13/3600.31 v -x551 -x531 -x511 -x491 -x471 -x451 -x431 -x411 -x391 -x371 -x351 -x331 -x311 -x291 -x271 -x251 -x231 -x211 x210 x209 x208
3590.13/3600.31 v x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 -x193 -x192 x191
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 (61035 MiB free)
memory of node 1: 64510 MiB (59066 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449728-1721403251/watcher-4449728-1721403251 -o /tmp/evaluation-result-4449728-1721403251/solver-4449728-1721403251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037849 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449728-1721403251.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=1037905, runsolver pid=1037896
[startup+0.100709 s]*
/proc/loadavg: 2.77 3.03 3.05 9/269 1037916
/proc/meminfo: memFree=122880148/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=59764 memory=47288 CPUtime=0.1 cores=4,6
/proc/1037905/stat : 1037905 (fscip) R 1037896 1037905 1035639 0 -1 4194304 9749 0 0 0 9 1 0 0 20 0 1 0 192493364 61198336 11822 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 14941 11822 2318 3032 0 11341 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59764 KiB
Current children cumulated memory: 47288 KiB
[startup+0.206142 s]*
/proc/loadavg: 2.77 3.03 3.05 5/269 1037916
/proc/meminfo: memFree=122766452/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=126424 memory=114572 CPUtime=0.19 cores=4,6
/proc/1037905/stat : 1037905 (fscip) R 1037896 1037905 1035639 0 -1 4194304 26655 0 0 0 16 3 0 0 20 0 1 0 192493364 129458176 28643 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 31606 28643 2606 3032 0 28006 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 126424 KiB
Current children cumulated memory: 114572 KiB
[startup+0.306467 s]*
/proc/loadavg: 2.77 3.03 3.05 6/269 1037916
/proc/meminfo: memFree=122693288/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=148368 memory=135488 CPUtime=0.3 cores=4,6
/proc/1037905/stat : 1037905 (fscip) R 1037896 1037905 1035639 0 -1 4194304 30337 0 0 0 26 4 0 0 20 0 1 0 192493364 151928832 33872 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 37092 33872 2622 3032 0 33492 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 148368 KiB
Current children cumulated memory: 135488 KiB
[startup+0.70023 s]
/proc/loadavg: 2.77 3.03 3.05 6/269 1037916
/proc/meminfo: memFree=122580932/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=159316 memory=146012 CPUtime=0.68 cores=4,6
/proc/1037905/stat : 1037905 (fscip) R 1037896 1037905 1035639 0 -1 4194304 46933 0 0 0 61 7 0 0 20 0 1 0 192493364 163139584 36503 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 39829 36503 2734 3032 0 36229 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 159316 KiB
Current children cumulated memory: 146012 KiB
[startup+1.50022 s]
/proc/loadavg: 2.77 3.03 3.05 8/269 1037916
/proc/meminfo: memFree=122416652/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=386304 memory=282064 CPUtime=1.49 cores=4,6
/proc/1037905/stat : 1037905 (fscip) R 1037896 1037905 1035639 0 -1 4194304 66225 0 0 0 138 11 0 0 20 0 2 0 192493364 395575296 70516 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 96576 70516 2766 3032 0 76624 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 386304 KiB
Current children cumulated memory: 282064 KiB
[startup+3.10682 s]
/proc/loadavg: 2.87 3.04 3.05 7/271 1037966
/proc/meminfo: memFree=121854664/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=593224 memory=499452 CPUtime=3.09 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 134579 0 0 0 288 21 0 0 20 0 3 0 192493364 607461376 124863 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 148306 124863 2910 3032 0 133109 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=593224 memory=198340509722 CPUtime=1.51 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 61490 0 0 0 142 9 0 0 20 0 3 0 192493513 607461376 124863 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=593224 memory=0 CPUtime=0 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 192493530 607461376 124863 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 593224 KiB
Current children cumulated memory: 499452 KiB
[startup+6.30023 s]
/proc/loadavg: 2.87 3.04 3.05 6/273 1037970
/proc/meminfo: memFree=121382300/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=593224 memory=520312 CPUtime=6.27 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 169064 0 0 0 604 23 0 0 20 0 3 0 192493364 607461376 130078 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 148306 130078 2910 3032 0 143844 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=593224 memory=0 CPUtime=4.68 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 95972 0 0 0 458 10 0 0 20 0 3 0 192493513 607461376 130078 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=593224 memory=0 CPUtime=0 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 192493530 607461376 130078 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 593224 KiB
Current children cumulated memory: 520312 KiB
[startup+12.7002 s]
/proc/loadavg: 3.04 3.08 3.06 7/273 1037970
/proc/meminfo: memFree=121226432/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=789832 memory=642208 CPUtime=12.64 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 233174 0 0 0 1235 29 0 0 20 0 3 0 192493364 808787968 160552 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 197458 160552 2926 3032 0 188400 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=789832 memory=641096 CPUtime=11.06 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 160073 0 0 0 1089 17 0 0 20 0 3 0 192493513 808787968 160552 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=789832 memory=560840 CPUtime=0 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 192493530 808787968 160552 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 642208 KiB
[startup+25.5002 s]
/proc/loadavg: 3.19 3.11 3.07 7/273 1037971
/proc/meminfo: memFree=121125376/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=789832 memory=642848 CPUtime=25.41 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 278513 0 0 0 2510 31 0 0 20 0 3 0 192493364 808787968 160712 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 197458 160712 2926 3032 0 189687 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=789832 memory=0 CPUtime=23.83 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 205344 0 0 0 2364 19 0 0 20 0 3 0 192493513 808787968 160712 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=789832 memory=11400 CPUtime=0 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 192493530 808787968 160712 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 642848 KiB
[startup+51.1067 s]
/proc/loadavg: 3.52 3.20 3.10 6/273 1037976
/proc/meminfo: memFree=120914576/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=789832 memory=643344 CPUtime=50.95 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 349465 0 0 0 5059 36 0 0 20 0 3 0 192493364 808787968 160836 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 197458 160836 2974 3032 0 191390 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=789832 memory=11400 CPUtime=49.37 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 276216 0 0 0 4913 24 0 0 20 0 3 0 192493513 808787968 160836 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=789832 memory=45780 CPUtime=0 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 192493530 808787968 160836 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 643344 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 3.35 3.16 6/269 1037985
/proc/meminfo: memFree=120753528/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=920904 memory=700680 CPUtime=102 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 512916 0 0 0 10151 49 0 0 20 0 3 0 192493364 943005696 175170 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 230226 175170 2990 3032 0 212824 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=920904 memory=642848 CPUtime=100.41 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 439562 0 0 0 10005 36 0 0 20 0 3 0 192493513 943005696 175170 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=920904 memory=685796 CPUtime=0 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 192493530 943005696 175170 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 920904 KiB
Current children cumulated memory: 700680 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.50 3.23 7/269 1037995
/proc/meminfo: memFree=120602612/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=920904 memory=709288 CPUtime=161.83 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 587139 0 0 0 16131 52 0 0 20 0 3 0 192493364 943005696 177322 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 230226 177322 2990 3032 0 219959 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=920904 memory=2228 CPUtime=160.25 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 513714 0 0 0 15985 40 0 0 20 0 3 0 192493513 943005696 177322 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=920904 memory=26340 CPUtime=0 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 192493530 943005696 177322 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 920904 KiB
Current children cumulated memory: 709288 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 3.64 3.29 6/268 1038008
/proc/meminfo: memFree=120412464/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=920904 memory=724552 CPUtime=221.65 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 654124 0 0 0 22108 57 0 0 20 0 3 0 192493364 943005696 181138 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 230226 181138 2990 3032 0 223798 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=920904 memory=709356 CPUtime=220.07 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 580636 0 0 0 21962 45 0 0 20 0 3 0 192493513 943005696 181138 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=920904 memory=11400 CPUtime=0 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 192493530 943005696 181138 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 920904 KiB
Current children cumulated memory: 724552 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.74 3.35 6/267 1038019
/proc/meminfo: memFree=120276556/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=986440 memory=743776 CPUtime=281.48 cores=4,6
################
# More data... #
################
[pid=1037905] ppid=1037896 vsize=1778984 memory=1540472 CPUtime=3452.52 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 2816329 0 0 0 344995 257 0 0 20 0 3 0 192493364 1821679616 385118 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 444746 385118 2990 3032 0 430460 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=1778984 memory=1517368 CPUtime=3450.76 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 2741573 0 0 0 344838 238 0 0 20 0 3 0 192493513 1821679616 385118 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=1778984 memory=11400 CPUtime=0.03 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 192493530 1821679616 385118 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 1778984 KiB
Current children cumulated memory: 1540472 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 7/266 1039818
/proc/meminfo: memFree=113042096/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=1778984 memory=1540472 CPUtime=3512.35 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 2820216 0 0 0 350977 258 0 0 20 0 3 0 192493364 1821679616 385118 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 444746 385118 2990 3032 0 430460 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=1778984 memory=1540472 CPUtime=3510.6 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 2745439 0 0 0 350820 240 0 0 20 0 3 0 192493513 1821679616 385118 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=1778984 memory=1540472 CPUtime=0.03 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 187 0 0 0 1 2 0 0 20 0 3 0 192493530 1821679616 385118 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 1778984 KiB
Current children cumulated memory: 1540472 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/266 1039828
/proc/meminfo: memFree=112880780/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=1858848 memory=1611152 CPUtime=3572.18 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 2891538 0 0 0 356955 263 0 0 20 0 3 0 192493364 1903460352 402788 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 464712 402788 2990 3032 0 450426 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=1858848 memory=13120 CPUtime=3570.43 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 2816750 0 0 0 356799 244 0 0 20 0 3 0 192493513 1903460352 402788 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=1858848 memory=1848 CPUtime=0.03 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 189 0 0 0 1 2 0 0 20 0 3 0 192493530 1903460352 402788 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 1858848 KiB
Current children cumulated memory: 1611152 KiB
[startup+3600.32 s]
# the end of solver process 1037905 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.47 s, system=2.68421 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 7/266 1039828
/proc/meminfo: memFree=112877696/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=1858848 memory=1611152 CPUtime=3573.88 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 2891541 0 0 0 357125 263 0 0 20 0 3 0 192493364 1903460352 402788 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 464712 402788 2990 3032 0 450426 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=1858848 memory=7883643976491167849 CPUtime=3572.13 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 2816753 0 0 0 356969 244 0 0 20 0 3 0 192493513 1903460352 402788 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=1858848 memory=4872558142750484537 CPUtime=0.03 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 189 0 0 0 1 2 0 0 20 0 3 0 192493530 1903460352 402788 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 1858848 KiB
Current children cumulated memory: 1611152 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 6/266 1039831
/proc/meminfo: memFree=112870204/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=1858848 memory=1611152 CPUtime=3580.25 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 2892047 0 0 0 357762 263 0 0 20 0 3 0 192493364 1903460352 402788 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 464712 402788 2990 3032 0 450426 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=1858848 memory=13120 CPUtime=3578.5 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 2817251 0 0 0 357606 244 0 0 20 0 3 0 192493513 1903460352 402788 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=1858848 memory=11400 CPUtime=0.03 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 189 0 0 0 1 2 0 0 20 0 3 0 192493530 1903460352 402788 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3580.25 s
Current children cumulated vsize: 1858848 KiB
Current children cumulated memory: 1611152 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112865104/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=1858848 memory=1612684 CPUtime=3586.64 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 2907260 0 0 0 358399 265 0 0 20 0 3 0 192493364 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 464712 403171 2990 3032 0 450426 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=1858848 memory=1611152 CPUtime=3584.88 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 2832464 0 0 0 358242 246 0 0 20 0 3 0 192493513 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=1858848 memory=1611152 CPUtime=0.03 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 189 0 0 0 1 2 0 0 20 0 3 0 192493530 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 1858848 KiB
Current children cumulated memory: 1612684 KiB
[startup+3598.4 s]
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112857980/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=1858848 memory=1612684 CPUtime=3588.23 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 2908239 0 0 0 358558 265 0 0 20 0 3 0 192493364 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 464712 403171 2990 3032 0 450426 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=1858848 memory=11400 CPUtime=3586.47 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 2833441 0 0 0 358401 246 0 0 20 0 3 0 192493513 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=1858848 memory=45960 CPUtime=0.03 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 189 0 0 0 1 2 0 0 20 0 3 0 192493530 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3588.23 s
Current children cumulated vsize: 1858848 KiB
Current children cumulated memory: 1612684 KiB
[startup+3599.2 s]
/proc/loadavg: 4.08 4.11 4.09 6/266 1039832
/proc/meminfo: memFree=112847432/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=1858848 memory=1612684 CPUtime=3589.03 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 2908284 0 0 0 358638 265 0 0 20 0 3 0 192493364 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 464712 403171 2990 3032 0 450426 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=1858848 memory=26340 CPUtime=3587.27 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 2833486 0 0 0 358481 246 0 0 20 0 3 0 192493513 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=1858848 memory=100 CPUtime=0.03 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 189 0 0 0 1 2 0 0 20 0 3 0 192493530 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3589.03 s
Current children cumulated vsize: 1858848 KiB
Current children cumulated memory: 1612684 KiB
[startup+3600 s]*
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112847272/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=1858848 memory=1612684 CPUtime=3589.83 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 2908354 0 0 0 358718 265 0 0 20 0 3 0 192493364 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 464712 403171 2990 3032 0 450426 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=1858848 memory=-6735270430896065637 CPUtime=3588.07 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 2833559 0 0 0 358561 246 0 0 20 0 3 0 192493513 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=1858848 memory=2656 CPUtime=0.03 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 189 0 0 0 1 2 0 0 20 0 3 0 192493530 1903460352 403171 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3589.83 s
Current children cumulated vsize: 1858848 KiB
Current children cumulated memory: 1612684 KiB
[startup+3600.2 s]
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112847272/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=1858848 memory=1612688 CPUtime=3590.02 cores=4,6
/proc/1037905/stat : 1037905 (fscip) S 1037896 1037905 1035639 0 -1 1077936128 2913782 0 0 0 358737 265 0 0 20 0 3 0 192493364 1903460352 403172 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 464712 403172 2990 3032 0 450426 0
[pid=1037905/tid=1037917] ppid=1037896 vsize=1858848 memory=2640 CPUtime=3588.26 cores=4,6
/proc/1037905/task/1037917/stat : 1037917 (fscip) R 1037896 1037905 1035639 0 -1 4194368 2838982 0 0 0 358580 246 0 0 20 0 3 0 192493513 1903460352 403172 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=1858848 memory=-6807328024900832357 CPUtime=0.03 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 189 0 0 0 1 2 0 0 20 0 3 0 192493530 1903460352 403172 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3590.02 s
Current children cumulated vsize: 1858848 KiB
Current children cumulated memory: 1612688 KiB
[startup+3600.3 s]
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112847272/131524600 swapFree=131071996/131071996
[pid=1037905] ppid=1037896 vsize=1290004 memory=1075356 CPUtime=3590.13 cores=4,6
/proc/1037905/stat : 1037905 (fscip) R 1037896 1037905 1035639 0 -1 4194304 2920311 0 0 0 358746 267 0 0 20 0 2 0 192493364 1320964096 268839 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
/proc/1037905/statm: 322501 268839 2990 3032 0 315224 0
[pid=1037905/tid=1037918] ppid=1037896 vsize=1290004 memory=13120 CPUtime=0.03 cores=4,6
/proc/1037905/task/1037918/stat : 1037918 (fscip) S 1037896 1037905 1035639 0 -1 1077936192 189 0 0 0 1 2 0 0 20 0 2 0 192493530 1320964096 268839 134679101440 4194304 16613245 140733813338544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45244416 140733813343251 140733813343367 140733813343367 140733813350384 0
Current children cumulated CPU time: 3590.13 s
Current children cumulated vsize: 1290004 KiB
Current children cumulated memory: 1075356 KiB
Child status: 0
Real time (s): 3600.32
CPU time (s): 3590.16
CPU user time (s): 3587.47
CPU system time (s): 2.68421
CPU usage (%): 99.7178
Max. virtual memory (cumulated for all children) (KiB): 1858848
Max. memory (cumulated for all children) (KiB): 1612688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.47
system time used= 2.68421
maximum resident set size= 1612688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2920458
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= 8074
involuntary context switches= 3037
# summary of solver processes directly reported to runsolver:
# pid: 1037905
# total CPU time (s): 3590.16
# total CPU user time (s): 3587.47
# total CPU system time (s): 2.68421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99305 second user time and 20.4344 second system time
The end
Begin job on nodeC031 at 2024-07-19 17:34:23
IDJOB=4449728
IDBENCH=176097
IDSOLVER=3064
FILE ID=nodeC031/4449728-1721403251
RUNJOBID= nodeC031-1721403263-1037849
SLURM_JOB_ID= 7545454
Free space on /tmp= 890076 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449728-1721403251/watcher-4449728-1721403251 -o /tmp/evaluation-result-4449728-1721403251/solver-4449728-1721403251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037849 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449728-1721403251.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=121410093
nodeC031.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 : 3599.991
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.55
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 : 3520.453
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.11
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 : 3508.348
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.55
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 : 3602.928
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.11
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 : 3544.490
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.55
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 : 3326.716
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.11
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 : 3579.360
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.55
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 : 3619.884
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122986984 kB
MemAvailable: 129593248 kB
Buffers: 506880 kB
Cached: 6866412 kB
SwapCached: 0 kB
Active: 1040440 kB
Inactive: 6709744 kB
Active(anon): 1448 kB
Inactive(anon): 421680 kB
Active(file): 1038992 kB
Inactive(file): 6288064 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 118932 kB
Writeback: 12 kB
AnonPages: 375140 kB
Mapped: 106636 kB
Shmem: 45912 kB
KReclaimable: 237712 kB
Slab: 367620 kB
SReclaimable: 237712 kB
SUnreclaim: 129908 kB
KernelStack: 4016 kB
PageTables: 9952 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 830756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 254676 kB
DirectMap2M: 39364608 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC031 at 2024-07-19 18:34:24