SCIP version 1.1.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: CPLEX 11.11] Copyright (c) 2002-2008 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) reading user parameter file read problem ============ original problem has 44630 variables (44630 bin, 0 int, 0 impl, 0 cont) and 11612 constraints solve problem ============= ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 presolving: (round 1) 10327 del vars, 2198 del conss, 10327 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 37572 impls, 6606 clqs (round 2) 10393 del vars, 2264 del conss, 10327 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 37572 impls, 6606 clqs (round 3) 10393 del vars, 2264 del conss, 10327 chg bounds, 0 chg sides, 0 chg coeffs, 9348 upgd conss, 37572 impls, 6606 clqs (7.9s) probing: 1000/34237 (2.9%) - 2 fixings, 0 aggregations, 221337 implications, 0 bound changes (12.0s) probing: 2000/34237 (5.8%) - 2 fixings, 0 aggregations, 337904 implications, 0 bound changes (12.0s) probing: 2005/34237 (5.9%) - 2 fixings, 0 aggregations, 338949 implications, 0 bound changes (12.0s) probing aborted: 2000/2000 successive useless probings presolving (4 rounds): 10395 deleted vars, 2264 deleted constraints, 10327 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 4712188 implications, 6606 cliques presolved problem has 34235 variables (34235 bin, 0 int, 0 impl, 0 cont) and 9348 constraints 6606 constraints of type 2742 constraints of type transformed objective value is always integral (scale: 1) Presolving Time: 11.88 time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 19.5s| 1 | 0 | 21044 | 235M| 0 | 740 | 34k|9348 |9346 | 34k|9346 | 0 | 0 | 0 | 1.316667e+01 | -- | Inf 54.7s| 1 | 0 | 60601 | 231M| 0 |1036 | 34k|9337 |9335 | 34k|9346 | 0 | 0 | 0 | 1.400000e+01 | -- | Inf 63.4s| 1 | 0 | 66157 | 231M| 0 | 514 | 34k|9337 |9335 | 34k|9352 | 6 | 0 | 0 | 1.400000e+01 | -- | Inf 66.5s| 1 | 0 | 67584 | 231M| 0 | 489 | 34k|9337 |9335 | 34k|9358 | 12 | 0 | 0 | 1.400000e+01 | -- | Inf 68.3s| 1 | 0 | 67980 | 232M| 0 | 501 | 34k|9337 |9335 | 34k|9363 | 17 | 0 | 0 | 1.400000e+01 | -- | Inf 91.2s| 1 | 2 | 67980 | 232M| 0 | 501 | 34k|9337 |9335 | 34k|9363 | 17 | 0 | 18 | 1.400000e+01 | -- | Inf * 233s| 21 | 0 | 90537 | 233M| 20 | - | 34k|9337 |8634 | 34k|9358 | 17 | 0 | 174 | 1.400000e+01 | 1.400000e+01 | 0.00% SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 233.34 Solving Nodes : 21 Primal Bound : +1.40000000000000e+01 (1 solutions) Dual Bound : +1.40000000000000e+01 Gap : 0.00 % primal solution: ================ objective value: 14 R44617 1 (obj:1) R44618 1 (obj:1) R44619 1 (obj:1) R44620 1 (obj:1) R44621 1 (obj:1) R44622 1 (obj:1) R44623 1 (obj:1) R44624 1 (obj:1) R44625 1 (obj:1) R44626 1 (obj:1) R44627 1 (obj:1) R44628 1 (obj:1) R44629 1 (obj:1) R44630 1 (obj:1) R8 1 (obj:0) R10 1 (obj:0) R11 1 (obj:0) R188 1 (obj:0) R361 1 (obj:0) R370 1 (obj:0) R543 1 (obj:0) R723 1 (obj:0) R728 1 (obj:0) R732 1 (obj:0) R901 1 (obj:0) R907 1 (obj:0) R1084 1 (obj:0) R1089 1 (obj:0) R1090 1 (obj:0) R1263 1 (obj:0) R1268 1 (obj:0) R1446 1 (obj:0) R1447 1 (obj:0) R1448 1 (obj:0) R1626 1 (obj:0) R1627 1 (obj:0) R1802 1 (obj:0) R1805 1 (obj:0) R1808 1 (obj:0) R1990 1 (obj:0) R1992 1 (obj:0) R2163 1 (obj:0) R2346 1 (obj:0) R2347 1 (obj:0) R2351 1 (obj:0) R2523 1 (obj:0) R2529 1 (obj:0) R2530 1 (obj:0) R2702 1 (obj:0) R2705 1 (obj:0) R2890 1 (obj:0) R3066 1 (obj:0) R3069 1 (obj:0) R3071 1 (obj:0) R3242 1 (obj:0) R3421 1 (obj:0) R3603 1 (obj:0) R3607 1 (obj:0) R3610 1 (obj:0) R3783 1 (obj:0) R3784 1 (obj:0) R3789 1 (obj:0) R4904 1 (obj:0) R97 1 (obj:0) R109 1 (obj:0) R121 1 (obj:0) R133 1 (obj:0) R145 1 (obj:0) R157 1 (obj:0) R169 1 (obj:0) R5068 1 (obj:0) R111 1 (obj:0) R123 1 (obj:0) R135 1 (obj:0) R147 1 (obj:0) R159 1 (obj:0) R171 1 (obj:0) R4296 1 (obj:0) R40 1 (obj:0) R52 1 (obj:0) R64 1 (obj:0) R76 1 (obj:0) R88 1 (obj:0) R100 1 (obj:0) R112 1 (obj:0) R124 1 (obj:0) R136 1 (obj:0) R148 1 (obj:0) R160 1 (obj:0) R172 1 (obj:0) R4708 1 (obj:0) R77 1 (obj:0) R89 1 (obj:0) R101 1 (obj:0) R113 1 (obj:0) R125 1 (obj:0) R137 1 (obj:0) R149 1 (obj:0) R161 1 (obj:0) R173 1 (obj:0) R4202 1 (obj:0) R31 1 (obj:0) R43 1 (obj:0) R55 1 (obj:0) R67 1 (obj:0) R79 1 (obj:0) R91 1 (obj:0) R103 1 (obj:0) R115 1 (obj:0) R127 1 (obj:0) R139 1 (obj:0) R151 1 (obj:0) R163 1 (obj:0) R175 1 (obj:0) R20 1 (obj:0) R32 1 (obj:0) R44 1 (obj:0) R56 1 (obj:0) R68 1 (obj:0) R80 1 (obj:0) R92 1 (obj:0) R104 1 (obj:0) R116 1 (obj:0) R128 1 (obj:0) R140 1 (obj:0) R152 1 (obj:0) R164 1 (obj:0) R176 1 (obj:0) R22 1 (obj:0) R34 1 (obj:0) R46 1 (obj:0) R58 1 (obj:0) R70 1 (obj:0) R82 1 (obj:0) R94 1 (obj:0) R106 1 (obj:0) R118 1 (obj:0) R130 1 (obj:0) R142 1 (obj:0) R154 1 (obj:0) R166 1 (obj:0) R178 1 (obj:0) R23 1 (obj:0) R35 1 (obj:0) R47 1 (obj:0) R59 1 (obj:0) R71 1 (obj:0) R83 1 (obj:0) R95 1 (obj:0) R107 1 (obj:0) R119 1 (obj:0) R131 1 (obj:0) R143 1 (obj:0) R155 1 (obj:0) R167 1 (obj:0) R179 1 (obj:0) R4973 1 (obj:0) R108 1 (obj:0) R120 1 (obj:0) R132 1 (obj:0) R144 1 (obj:0) R156 1 (obj:0) R168 1 (obj:0) R180 1 (obj:0) R5860 1 (obj:0) R195 1 (obj:0) R207 1 (obj:0) R219 1 (obj:0) R231 1 (obj:0) R243 1 (obj:0) R255 1 (obj:0) R267 1 (obj:0) R279 1 (obj:0) R291 1 (obj:0) R303 1 (obj:0) R315 1 (obj:0) R327 1 (obj:0) R339 1 (obj:0) R351 1 (obj:0) R6008 1 (obj:0) R208 1 (obj:0) R220 1 (obj:0) R232 1 (obj:0) R244 1 (obj:0) R256 1 (obj:0) R268 1 (obj:0) R280 1 (obj:0) R292 1 (obj:0) R304 1 (obj:0) R316 1 (obj:0) R328 1 (obj:0) R340 1 (obj:0) R352 1 (obj:0) R200 1 (obj:0) R212 1 (obj:0) R224 1 (obj:0) R236 1 (obj:0) R248 1 (obj:0) R260 1 (obj:0) R272 1 (obj:0) R284 1 (obj:0) R296 1 (obj:0) R308 1 (obj:0) R320 1 (obj:0) R332 1 (obj:0) R344 1 (obj:0) R356 1 (obj:0) R7245 1 (obj:0) R323 1 (obj:0) R335 1 (obj:0) R347 1 (obj:0) R359 1 (obj:0) R6323 1 (obj:0) R240 1 (obj:0) R252 1 (obj:0) R264 1 (obj:0) R276 1 (obj:0) R288 1 (obj:0) R300 1 (obj:0) R312 1 (obj:0) R324 1 (obj:0) R336 1 (obj:0) R348 1 (obj:0) R360 1 (obj:0) R373 1 (obj:0) R385 1 (obj:0) R397 1 (obj:0) R409 1 (obj:0) R421 1 (obj:0) R433 1 (obj:0) R445 1 (obj:0) R457 1 (obj:0) R469 1 (obj:0) R481 1 (obj:0) R493 1 (obj:0) R505 1 (obj:0) R517 1 (obj:0) R529 1 (obj:0) R382 1 (obj:0) R394 1 (obj:0) R406 1 (obj:0) R418 1 (obj:0) R430 1 (obj:0) R442 1 (obj:0) R454 1 (obj:0) R466 1 (obj:0) R478 1 (obj:0) R490 1 (obj:0) R502 1 (obj:0) R514 1 (obj:0) R526 1 (obj:0) R538 1 (obj:0) R8445 1 (obj:0) R444 1 (obj:0) R456 1 (obj:0) R468 1 (obj:0) R480 1 (obj:0) R492 1 (obj:0) R504 1 (obj:0) R516 1 (obj:0) R528 1 (obj:0) R540 1 (obj:0) R555 1 (obj:0) R567 1 (obj:0) R579 1 (obj:0) R591 1 (obj:0) R603 1 (obj:0) R615 1 (obj:0) R627 1 (obj:0) R639 1 (obj:0) R651 1 (obj:0) R663 1 (obj:0) R675 1 (obj:0) R687 1 (obj:0) R699 1 (obj:0) R711 1 (obj:0) R11135 1 (obj:0) R702 1 (obj:0) R714 1 (obj:0) R12674 1 (obj:0) R853 1 (obj:0) R865 1 (obj:0) R877 1 (obj:0) R889 1 (obj:0) R12306 1 (obj:0) R818 1 (obj:0) R830 1 (obj:0) R842 1 (obj:0) R854 1 (obj:0) R866 1 (obj:0) R878 1 (obj:0) R890 1 (obj:0) R735 1 (obj:0) R747 1 (obj:0) R759 1 (obj:0) R771 1 (obj:0) R783 1 (obj:0) R795 1 (obj:0) R807 1 (obj:0) R819 1 (obj:0) R831 1 (obj:0) R843 1 (obj:0) R855 1 (obj:0) R867 1 (obj:0) R879 1 (obj:0) R891 1 (obj:0) R12212 1 (obj:0) R808 1 (obj:0) R820 1 (obj:0) R832 1 (obj:0) R844 1 (obj:0) R856 1 (obj:0) R868 1 (obj:0) R880 1 (obj:0) R892 1 (obj:0) R12865 1 (obj:0) R869 1 (obj:0) R881 1 (obj:0) R893 1 (obj:0) R12246 1 (obj:0) R810 1 (obj:0) R822 1 (obj:0) R834 1 (obj:0) R846 1 (obj:0) R858 1 (obj:0) R870 1 (obj:0) R882 1 (obj:0) R894 1 (obj:0) R740 1 (obj:0) R752 1 (obj:0) R764 1 (obj:0) R776 1 (obj:0) R788 1 (obj:0) R800 1 (obj:0) R812 1 (obj:0) R824 1 (obj:0) R836 1 (obj:0) R848 1 (obj:0) R860 1 (obj:0) R872 1 (obj:0) R884 1 (obj:0) R896 1 (obj:0) R12841 1 (obj:0) R874 1 (obj:0) R886 1 (obj:0) R898 1 (obj:0) R744 1 (obj:0) R756 1 (obj:0) R768 1 (obj:0) R780 1 (obj:0) R792 1 (obj:0) R804 1 (obj:0) R816 1 (obj:0) R828 1 (obj:0) R840 1 (obj:0) R852 1 (obj:0) R864 1 (obj:0) R876 1 (obj:0) R888 1 (obj:0) R900 1 (obj:0) R913 1 (obj:0) R925 1 (obj:0) R937 1 (obj:0) R949 1 (obj:0) R961 1 (obj:0) R973 1 (obj:0) R985 1 (obj:0) R997 1 (obj:0) R1009 1 (obj:0) R1021 1 (obj:0) R1033 1 (obj:0) R1045 1 (obj:0) R1057 1 (obj:0) R1069 1 (obj:0) R13601 1 (obj:0) R952 1 (obj:0) R964 1 (obj:0) R976 1 (obj:0) R988 1 (obj:0) R1000 1 (obj:0) R1012 1 (obj:0) R1024 1 (obj:0) R1036 1 (obj:0) R1048 1 (obj:0) R1060 1 (obj:0) R1072 1 (obj:0) R919 1 (obj:0) R931 1 (obj:0) R943 1 (obj:0) R955 1 (obj:0) R967 1 (obj:0) R979 1 (obj:0) R991 1 (obj:0) R1003 1 (obj:0) R1015 1 (obj:0) R1027 1 (obj:0) R1039 1 (obj:0) R1051 1 (obj:0) R1063 1 (obj:0) R1075 1 (obj:0) R13477 1 (obj:0) R944 1 (obj:0) R956 1 (obj:0) R968 1 (obj:0) R980 1 (obj:0) R992 1 (obj:0) R1004 1 (obj:0) R1016 1 (obj:0) R1028 1 (obj:0) R1040 1 (obj:0) R1052 1 (obj:0) R1064 1 (obj:0) R1076 1 (obj:0) R14239 1 (obj:0) R1006 1 (obj:0) R1018 1 (obj:0) R1030 1 (obj:0) R1042 1 (obj:0) R1054 1 (obj:0) R1066 1 (obj:0) R1078 1 (obj:0) R14277 1 (obj:0) R1020 1 (obj:0) R1032 1 (obj:0) R1044 1 (obj:0) R1056 1 (obj:0) R1068 1 (obj:0) R1080 1 (obj:0) R15064 1 (obj:0) R1093 1 (obj:0) R1105 1 (obj:0) R1117 1 (obj:0) R1129 1 (obj:0) R1141 1 (obj:0) R1153 1 (obj:0) R1165 1 (obj:0) R1177 1 (obj:0) R1189 1 (obj:0) R1201 1 (obj:0) R1213 1 (obj:0) R1225 1 (obj:0) R1237 1 (obj:0) R1249 1 (obj:0) R15234 1 (obj:0) R1107 1 (obj:0) R1119 1 (obj:0) R1131 1 (obj:0) R1143 1 (obj:0) R1155 1 (obj:0) R1167 1 (obj:0) R1179 1 (obj:0) R1191 1 (obj:0) R1203 1 (obj:0) R1215 1 (obj:0) R1227 1 (obj:0) R1239 1 (obj:0) R1251 1 (obj:0) R1096 1 (obj:0) R1108 1 (obj:0) R1120 1 (obj:0) R1132 1 (obj:0) R1144 1 (obj:0) R1156 1 (obj:0) R1168 1 (obj:0) R1180 1 (obj:0) R1192 1 (obj:0) R1204 1 (obj:0) R1216 1 (obj:0) R1228 1 (obj:0) R1240 1 (obj:0) R1252 1 (obj:0) R16718 1 (obj:0) R1241 1 (obj:0) R1253 1 (obj:0) R16431 1 (obj:0) R1218 1 (obj:0) R1230 1 (obj:0) R1242 1 (obj:0) R1254 1 (obj:0) R16210 1 (obj:0) R1195 1 (obj:0) R1207 1 (obj:0) R1219 1 (obj:0) R1231 1 (obj:0) R1243 1 (obj:0) R1255 1 (obj:0) R1101 1 (obj:0) R1113 1 (obj:0) R1125 1 (obj:0) R1137 1 (obj:0) R1149 1 (obj:0) R1161 1 (obj:0) R1173 1 (obj:0) R1185 1 (obj:0) R1197 1 (obj:0) R1209 1 (obj:0) R1221 1 (obj:0) R1233 1 (obj:0) R1245 1 (obj:0) R1257 1 (obj:0) R1102 1 (obj:0) R1114 1 (obj:0) R1126 1 (obj:0) R1138 1 (obj:0) R1150 1 (obj:0) R1162 1 (obj:0) R1174 1 (obj:0) R1186 1 (obj:0) R1198 1 (obj:0) R1210 1 (obj:0) R1222 1 (obj:0) R1234 1 (obj:0) R1246 1 (obj:0) R1258 1 (obj:0) R16359 1 (obj:0) R1211 1 (obj:0) R1223 1 (obj:0) R1235 1 (obj:0) R1247 1 (obj:0) R1259 1 (obj:0) R16625 1 (obj:0) R1236 1 (obj:0) R1248 1 (obj:0) R1260 1 (obj:0) R1275 1 (obj:0) R1287 1 (obj:0) R1299 1 (obj:0) R1311 1 (obj:0) R1323 1 (obj:0) R1335 1 (obj:0) R1347 1 (obj:0) R1359 1 (obj:0) R1371 1 (obj:0) R1383 1 (obj:0) R1395 1 (obj:0) R1407 1 (obj:0) R1419 1 (obj:0) R1431 1 (obj:0) R17492 1 (obj:0) R1324 1 (obj:0) R1336 1 (obj:0) R1348 1 (obj:0) R1360 1 (obj:0) R1372 1 (obj:0) R1384 1 (obj:0) R1396 1 (obj:0) R1408 1 (obj:0) R1420 1 (obj:0) R1432 1 (obj:0) R1280 1 (obj:0) R1292 1 (obj:0) R1304 1 (obj:0) R1316 1 (obj:0) R1328 1 (obj:0) R1340 1 (obj:0) R1352 1 (obj:0) R1364 1 (obj:0) R1376 1 (obj:0) R1388 1 (obj:0) R1400 1 (obj:0) R1412 1 (obj:0) R1424 1 (obj:0) R1436 1 (obj:0) R1458 1 (obj:0) R1470 1 (obj:0) R1482 1 (obj:0) R1494 1 (obj:0) R1506 1 (obj:0) R1518 1 (obj:0) R1530 1 (obj:0) R1542 1 (obj:0) R1554 1 (obj:0) R1566 1 (obj:0) R1578 1 (obj:0) R1590 1 (obj:0) R1602 1 (obj:0) R1614 1 (obj:0) R1459 1 (obj:0) R1471 1 (obj:0) R1483 1 (obj:0) R1495 1 (obj:0) R1507 1 (obj:0) R1519 1 (obj:0) R1531 1 (obj:0) R1543 1 (obj:0) R1555 1 (obj:0) R1567 1 (obj:0) R1579 1 (obj:0) R1591 1 (obj:0) R1603 1 (obj:0) R1615 1 (obj:0) R1460 1 (obj:0) R1472 1 (obj:0) R1484 1 (obj:0) R1496 1 (obj:0) R1508 1 (obj:0) R1520 1 (obj:0) R1532 1 (obj:0) R1544 1 (obj:0) R1556 1 (obj:0) R1568 1 (obj:0) R1580 1 (obj:0) R1592 1 (obj:0) R1604 1 (obj:0) R1616 1 (obj:0) R20441 1 (obj:0) R1605 1 (obj:0) R1617 1 (obj:0) R18977 1 (obj:0) R1476 1 (obj:0) R1488 1 (obj:0) R1500 1 (obj:0) R1512 1 (obj:0) R1524 1 (obj:0) R1536 1 (obj:0) R1548 1 (obj:0) R1560 1 (obj:0) R1572 1 (obj:0) R1584 1 (obj:0) R1596 1 (obj:0) R1608 1 (obj:0) R1620 1 (obj:0) R21412 1 (obj:0) R1706 1 (obj:0) R1718 1 (obj:0) R1730 1 (obj:0) R1742 1 (obj:0) R1754 1 (obj:0) R1766 1 (obj:0) R1778 1 (obj:0) R1790 1 (obj:0) R20670 1 (obj:0) R1637 1 (obj:0) R1649 1 (obj:0) R1661 1 (obj:0) R1673 1 (obj:0) R1685 1 (obj:0) R1697 1 (obj:0) R1709 1 (obj:0) R1721 1 (obj:0) R1733 1 (obj:0) R1745 1 (obj:0) R1757 1 (obj:0) R1769 1 (obj:0) R1781 1 (obj:0) R1793 1 (obj:0) R1638 1 (obj:0) R1650 1 (obj:0) R1662 1 (obj:0) R1674 1 (obj:0) R1686 1 (obj:0) R1698 1 (obj:0) R1710 1 (obj:0) R1722 1 (obj:0) R1734 1 (obj:0) R1746 1 (obj:0) R1758 1 (obj:0) R1770 1 (obj:0) R1782 1 (obj:0) R1794 1 (obj:0) R1639 1 (obj:0) R1651 1 (obj:0) R1663 1 (obj:0) R1675 1 (obj:0) R1687 1 (obj:0) R1699 1 (obj:0) R1711 1 (obj:0) R1723 1 (obj:0) R1735 1 (obj:0) R1747 1 (obj:0) R1759 1 (obj:0) R1771 1 (obj:0) R1783 1 (obj:0) R1795 1 (obj:0) R23102 1 (obj:0) R1873 1 (obj:0) R1885 1 (obj:0) R1897 1 (obj:0) R1909 1 (obj:0) R1921 1 (obj:0) R1933 1 (obj:0) R1945 1 (obj:0) R1957 1 (obj:0) R1969 1 (obj:0) R1814 1 (obj:0) R1826 1 (obj:0) R1838 1 (obj:0) R1850 1 (obj:0) R1862 1 (obj:0) R1874 1 (obj:0) R1886 1 (obj:0) R1898 1 (obj:0) R1910 1 (obj:0) R1922 1 (obj:0) R1934 1 (obj:0) R1946 1 (obj:0) R1958 1 (obj:0) R1970 1 (obj:0) R22894 1 (obj:0) R1851 1 (obj:0) R1863 1 (obj:0) R1875 1 (obj:0) R1887 1 (obj:0) R1899 1 (obj:0) R1911 1 (obj:0) R1923 1 (obj:0) R1935 1 (obj:0) R1947 1 (obj:0) R1959 1 (obj:0) R1971 1 (obj:0) R23168 1 (obj:0) R1876 1 (obj:0) R1888 1 (obj:0) R1900 1 (obj:0) R1912 1 (obj:0) R1924 1 (obj:0) R1936 1 (obj:0) R1948 1 (obj:0) R1960 1 (obj:0) R1972 1 (obj:0) R1817 1 (obj:0) R1829 1 (obj:0) R1841 1 (obj:0) R1853 1 (obj:0) R1865 1 (obj:0) R1877 1 (obj:0) R1889 1 (obj:0) R1901 1 (obj:0) R1913 1 (obj:0) R1925 1 (obj:0) R1937 1 (obj:0) R1949 1 (obj:0) R1961 1 (obj:0) R1973 1 (obj:0) R23675 1 (obj:0) R1926 1 (obj:0) R1938 1 (obj:0) R1950 1 (obj:0) R1962 1 (obj:0) R1974 1 (obj:0) R1820 1 (obj:0) R1832 1 (obj:0) R1844 1 (obj:0) R1856 1 (obj:0) R1868 1 (obj:0) R1880 1 (obj:0) R1892 1 (obj:0) R1904 1 (obj:0) R1916 1 (obj:0) R1928 1 (obj:0) R1940 1 (obj:0) R1952 1 (obj:0) R1964 1 (obj:0) R1976 1 (obj:0) R22743 1 (obj:0) R1847 1 (obj:0) R1859 1 (obj:0) R1871 1 (obj:0) R1883 1 (obj:0) R1895 1 (obj:0) R1907 1 (obj:0) R1919 1 (obj:0) R1931 1 (obj:0) R1943 1 (obj:0) R1955 1 (obj:0) R1967 1 (obj:0) R1979 1 (obj:0) R23747 1 (obj:0) R1932 1 (obj:0) R1944 1 (obj:0) R1956 1 (obj:0) R1968 1 (obj:0) R1980 1 (obj:0) R25044 1 (obj:0) R2058 1 (obj:0) R2070 1 (obj:0) R2082 1 (obj:0) R2094 1 (obj:0) R2106 1 (obj:0) R2118 1 (obj:0) R2130 1 (obj:0) R2142 1 (obj:0) R2154 1 (obj:0) R25318 1 (obj:0) R2083 1 (obj:0) R2095 1 (obj:0) R2107 1 (obj:0) R2119 1 (obj:0) R2131 1 (obj:0) R2143 1 (obj:0) R2155 1 (obj:0) R24806 1 (obj:0) R2037 1 (obj:0) R2049 1 (obj:0) R2061 1 (obj:0) R2073 1 (obj:0) R2085 1 (obj:0) R2097 1 (obj:0) R2109 1 (obj:0) R2121 1 (obj:0) R2133 1 (obj:0) R2145 1 (obj:0) R2157 1 (obj:0) R2002 1 (obj:0) R2014 1 (obj:0) R2026 1 (obj:0) R2038 1 (obj:0) R2050 1 (obj:0) R2062 1 (obj:0) R2074 1 (obj:0) R2086 1 (obj:0) R2098 1 (obj:0) R2110 1 (obj:0) R2122 1 (obj:0) R2134 1 (obj:0) R2146 1 (obj:0) R2158 1 (obj:0) R2004 1 (obj:0) R2016 1 (obj:0) R2028 1 (obj:0) R2040 1 (obj:0) R2052 1 (obj:0) R2064 1 (obj:0) R2076 1 (obj:0) R2088 1 (obj:0) R2100 1 (obj:0) R2112 1 (obj:0) R2124 1 (obj:0) R2136 1 (obj:0) R2148 1 (obj:0) R2160 1 (obj:0) R2175 1 (obj:0) R2187 1 (obj:0) R2199 1 (obj:0) R2211 1 (obj:0) R2223 1 (obj:0) R2235 1 (obj:0) R2247 1 (obj:0) R2259 1 (obj:0) R2271 1 (obj:0) R2283 1 (obj:0) R2295 1 (obj:0) R2307 1 (obj:0) R2319 1 (obj:0) R2331 1 (obj:0) R27639 1 (obj:0) R2312 1 (obj:0) R2324 1 (obj:0) R2336 1 (obj:0) R29574 1 (obj:0) R2497 1 (obj:0) R2509 1 (obj:0) R28412 1 (obj:0) R2390 1 (obj:0) R2402 1 (obj:0) R2414 1 (obj:0) R2426 1 (obj:0) R2438 1 (obj:0) R2450 1 (obj:0) R2462 1 (obj:0) R2474 1 (obj:0) R2486 1 (obj:0) R2498 1 (obj:0) R2510 1 (obj:0) R28296 1 (obj:0) R2379 1 (obj:0) R2391 1 (obj:0) R2403 1 (obj:0) R2415 1 (obj:0) R2427 1 (obj:0) R2439 1 (obj:0) R2451 1 (obj:0) R2463 1 (obj:0) R2475 1 (obj:0) R2487 1 (obj:0) R2499 1 (obj:0) R2511 1 (obj:0) R28058 1 (obj:0) R2356 1 (obj:0) R2368 1 (obj:0) R2380 1 (obj:0) R2392 1 (obj:0) R2404 1 (obj:0) R2416 1 (obj:0) R2428 1 (obj:0) R2440 1 (obj:0) R2452 1 (obj:0) R2464 1 (obj:0) R2476 1 (obj:0) R2488 1 (obj:0) R2500 1 (obj:0) R2512 1 (obj:0) R2358 1 (obj:0) R2370 1 (obj:0) R2382 1 (obj:0) R2394 1 (obj:0) R2406 1 (obj:0) R2418 1 (obj:0) R2430 1 (obj:0) R2442 1 (obj:0) R2454 1 (obj:0) R2466 1 (obj:0) R2478 1 (obj:0) R2490 1 (obj:0) R2502 1 (obj:0) R2514 1 (obj:0) R2359 1 (obj:0) R2371 1 (obj:0) R2383 1 (obj:0) R2395 1 (obj:0) R2407 1 (obj:0) R2419 1 (obj:0) R2431 1 (obj:0) R2443 1 (obj:0) R2455 1 (obj:0) R2467 1 (obj:0) R2479 1 (obj:0) R2491 1 (obj:0) R2503 1 (obj:0) R2515 1 (obj:0) R29209 1 (obj:0) R2470 1 (obj:0) R2482 1 (obj:0) R2494 1 (obj:0) R2506 1 (obj:0) R2518 1 (obj:0) R2363 1 (obj:0) R2375 1 (obj:0) R2387 1 (obj:0) R2399 1 (obj:0) R2411 1 (obj:0) R2423 1 (obj:0) R2435 1 (obj:0) R2447 1 (obj:0) R2459 1 (obj:0) R2471 1 (obj:0) R2483 1 (obj:0) R2495 1 (obj:0) R2507 1 (obj:0) R2519 1 (obj:0) R2535 1 (obj:0) R2547 1 (obj:0) R2559 1 (obj:0) R2571 1 (obj:0) R2583 1 (obj:0) R2595 1 (obj:0) R2607 1 (obj:0) R2619 1 (obj:0) R2631 1 (obj:0) R2643 1 (obj:0) R2655 1 (obj:0) R2667 1 (obj:0) R2679 1 (obj:0) R2691 1 (obj:0) R30180 1 (obj:0) R2561 1 (obj:0) R2573 1 (obj:0) R2585 1 (obj:0) R2597 1 (obj:0) R2609 1 (obj:0) R2621 1 (obj:0) R2633 1 (obj:0) R2645 1 (obj:0) R2657 1 (obj:0) R2669 1 (obj:0) R2681 1 (obj:0) R2693 1 (obj:0) R31662 1 (obj:0) R2696 1 (obj:0) R2541 1 (obj:0) R2553 1 (obj:0) R2565 1 (obj:0) R2577 1 (obj:0) R2589 1 (obj:0) R2601 1 (obj:0) R2613 1 (obj:0) R2625 1 (obj:0) R2637 1 (obj:0) R2649 1 (obj:0) R2661 1 (obj:0) R2673 1 (obj:0) R2685 1 (obj:0) R2697 1 (obj:0) R2542 1 (obj:0) R2554 1 (obj:0) R2566 1 (obj:0) R2578 1 (obj:0) R2590 1 (obj:0) R2602 1 (obj:0) R2614 1 (obj:0) R2626 1 (obj:0) R2638 1 (obj:0) R2650 1 (obj:0) R2662 1 (obj:0) R2674 1 (obj:0) R2686 1 (obj:0) R2698 1 (obj:0) R32210 1 (obj:0) R2761 1 (obj:0) R2773 1 (obj:0) R2785 1 (obj:0) R2797 1 (obj:0) R2809 1 (obj:0) R2821 1 (obj:0) R2833 1 (obj:0) R2845 1 (obj:0) R2857 1 (obj:0) R2869 1 (obj:0) R2714 1 (obj:0) R2726 1 (obj:0) R2738 1 (obj:0) R2750 1 (obj:0) R2762 1 (obj:0) R2774 1 (obj:0) R2786 1 (obj:0) R2798 1 (obj:0) R2810 1 (obj:0) R2822 1 (obj:0) R2834 1 (obj:0) R2846 1 (obj:0) R2858 1 (obj:0) R2870 1 (obj:0) R32254 1 (obj:0) R2763 1 (obj:0) R2775 1 (obj:0) R2787 1 (obj:0) R2799 1 (obj:0) R2811 1 (obj:0) R2823 1 (obj:0) R2835 1 (obj:0) R2847 1 (obj:0) R2859 1 (obj:0) R2871 1 (obj:0) R32647 1 (obj:0) R2800 1 (obj:0) R2812 1 (obj:0) R2824 1 (obj:0) R2836 1 (obj:0) R2848 1 (obj:0) R2860 1 (obj:0) R2872 1 (obj:0) R2717 1 (obj:0) R2729 1 (obj:0) R2741 1 (obj:0) R2753 1 (obj:0) R2765 1 (obj:0) R2777 1 (obj:0) R2789 1 (obj:0) R2801 1 (obj:0) R2813 1 (obj:0) R2825 1 (obj:0) R2837 1 (obj:0) R2849 1 (obj:0) R2861 1 (obj:0) R2873 1 (obj:0) R33141 1 (obj:0) R2850 1 (obj:0) R2862 1 (obj:0) R2874 1 (obj:0) R33445 1 (obj:0) R2875 1 (obj:0) R32807 1 (obj:0) R2818 1 (obj:0) R2830 1 (obj:0) R2842 1 (obj:0) R2854 1 (obj:0) R2866 1 (obj:0) R2878 1 (obj:0) R33523 1 (obj:0) R2879 1 (obj:0) R34904 1 (obj:0) R3015 1 (obj:0) R3027 1 (obj:0) R3039 1 (obj:0) R3051 1 (obj:0) R34938 1 (obj:0) R3017 1 (obj:0) R3029 1 (obj:0) R3041 1 (obj:0) R3053 1 (obj:0) R2902 1 (obj:0) R2914 1 (obj:0) R2926 1 (obj:0) R2938 1 (obj:0) R2950 1 (obj:0) R2962 1 (obj:0) R2974 1 (obj:0) R2986 1 (obj:0) R2998 1 (obj:0) R3010 1 (obj:0) R3022 1 (obj:0) R3034 1 (obj:0) R3046 1 (obj:0) R3058 1 (obj:0) R33657 1 (obj:0) R2904 1 (obj:0) R2916 1 (obj:0) R2928 1 (obj:0) R2940 1 (obj:0) R2952 1 (obj:0) R2964 1 (obj:0) R2976 1 (obj:0) R2988 1 (obj:0) R3000 1 (obj:0) R3012 1 (obj:0) R3024 1 (obj:0) R3036 1 (obj:0) R3048 1 (obj:0) R3060 1 (obj:0) R35850 1 (obj:0) R3113 1 (obj:0) R3125 1 (obj:0) R3137 1 (obj:0) R3149 1 (obj:0) R3161 1 (obj:0) R3173 1 (obj:0) R3185 1 (obj:0) R3197 1 (obj:0) R3209 1 (obj:0) R3221 1 (obj:0) R3233 1 (obj:0) R3078 1 (obj:0) R3090 1 (obj:0) R3102 1 (obj:0) R3114 1 (obj:0) R3126 1 (obj:0) R3138 1 (obj:0) R3150 1 (obj:0) R3162 1 (obj:0) R3174 1 (obj:0) R3186 1 (obj:0) R3198 1 (obj:0) R3210 1 (obj:0) R3222 1 (obj:0) R3234 1 (obj:0) R36802 1 (obj:0) R3199 1 (obj:0) R3211 1 (obj:0) R3223 1 (obj:0) R3235 1 (obj:0) R3081 1 (obj:0) R3093 1 (obj:0) R3105 1 (obj:0) R3117 1 (obj:0) R3129 1 (obj:0) R3141 1 (obj:0) R3153 1 (obj:0) R3165 1 (obj:0) R3177 1 (obj:0) R3189 1 (obj:0) R3201 1 (obj:0) R3213 1 (obj:0) R3225 1 (obj:0) R3237 1 (obj:0) R36032 1 (obj:0) R3130 1 (obj:0) R3142 1 (obj:0) R3154 1 (obj:0) R3166 1 (obj:0) R3178 1 (obj:0) R3190 1 (obj:0) R3202 1 (obj:0) R3214 1 (obj:0) R3226 1 (obj:0) R3238 1 (obj:0) R3083 1 (obj:0) R3095 1 (obj:0) R3107 1 (obj:0) R3119 1 (obj:0) R3131 1 (obj:0) R3143 1 (obj:0) R3155 1 (obj:0) R3167 1 (obj:0) R3179 1 (obj:0) R3191 1 (obj:0) R3203 1 (obj:0) R3215 1 (obj:0) R3227 1 (obj:0) R3239 1 (obj:0) R3254 1 (obj:0) R3266 1 (obj:0) R3278 1 (obj:0) R3290 1 (obj:0) R3302 1 (obj:0) R3314 1 (obj:0) R3326 1 (obj:0) R3338 1 (obj:0) R3350 1 (obj:0) R3362 1 (obj:0) R3374 1 (obj:0) R3386 1 (obj:0) R3398 1 (obj:0) R3410 1 (obj:0) R37934 1 (obj:0) R3315 1 (obj:0) R3327 1 (obj:0) R3339 1 (obj:0) R3351 1 (obj:0) R3363 1 (obj:0) R3375 1 (obj:0) R3387 1 (obj:0) R3399 1 (obj:0) R3411 1 (obj:0) R37255 1 (obj:0) R3259 1 (obj:0) R3271 1 (obj:0) R3283 1 (obj:0) R3295 1 (obj:0) R3307 1 (obj:0) R3319 1 (obj:0) R3331 1 (obj:0) R3343 1 (obj:0) R3355 1 (obj:0) R3367 1 (obj:0) R3379 1 (obj:0) R3391 1 (obj:0) R3403 1 (obj:0) R3415 1 (obj:0) R38071 1 (obj:0) R3334 1 (obj:0) R3346 1 (obj:0) R3358 1 (obj:0) R3370 1 (obj:0) R3382 1 (obj:0) R3394 1 (obj:0) R3406 1 (obj:0) R3418 1 (obj:0) R38125 1 (obj:0) R3335 1 (obj:0) R3347 1 (obj:0) R3359 1 (obj:0) R3371 1 (obj:0) R3383 1 (obj:0) R3395 1 (obj:0) R3407 1 (obj:0) R3419 1 (obj:0) R37599 1 (obj:0) R3288 1 (obj:0) R3300 1 (obj:0) R3312 1 (obj:0) R3324 1 (obj:0) R3336 1 (obj:0) R3348 1 (obj:0) R3360 1 (obj:0) R3372 1 (obj:0) R3384 1 (obj:0) R3396 1 (obj:0) R3408 1 (obj:0) R3420 1 (obj:0) R3433 1 (obj:0) R3445 1 (obj:0) R3457 1 (obj:0) R3469 1 (obj:0) R3481 1 (obj:0) R3493 1 (obj:0) R3505 1 (obj:0) R3517 1 (obj:0) R3529 1 (obj:0) R3541 1 (obj:0) R3553 1 (obj:0) R3565 1 (obj:0) R3577 1 (obj:0) R3589 1 (obj:0) R39205 1 (obj:0) R3446 1 (obj:0) R3458 1 (obj:0) R3470 1 (obj:0) R3482 1 (obj:0) R3494 1 (obj:0) R3506 1 (obj:0) R3518 1 (obj:0) R3530 1 (obj:0) R3542 1 (obj:0) R3554 1 (obj:0) R3566 1 (obj:0) R3578 1 (obj:0) R3590 1 (obj:0) R40322 1 (obj:0) R3544 1 (obj:0) R3556 1 (obj:0) R3568 1 (obj:0) R3580 1 (obj:0) R3592 1 (obj:0) R40155 1 (obj:0) R3533 1 (obj:0) R3545 1 (obj:0) R3557 1 (obj:0) R3569 1 (obj:0) R3581 1 (obj:0) R3593 1 (obj:0) R40697 1 (obj:0) R3588 1 (obj:0) R3600 1 (obj:0) R42120 1 (obj:0) R3721 1 (obj:0) R3733 1 (obj:0) R3745 1 (obj:0) R3757 1 (obj:0) R3769 1 (obj:0) R42678 1 (obj:0) R3770 1 (obj:0) R3615 1 (obj:0) R3627 1 (obj:0) R3639 1 (obj:0) R3651 1 (obj:0) R3663 1 (obj:0) R3675 1 (obj:0) R3687 1 (obj:0) R3699 1 (obj:0) R3711 1 (obj:0) R3723 1 (obj:0) R3735 1 (obj:0) R3747 1 (obj:0) R3759 1 (obj:0) R3771 1 (obj:0) R42641 1 (obj:0) R3772 1 (obj:0) R41138 1 (obj:0) R3629 1 (obj:0) R3641 1 (obj:0) R3653 1 (obj:0) R3665 1 (obj:0) R3677 1 (obj:0) R3689 1 (obj:0) R3701 1 (obj:0) R3713 1 (obj:0) R3725 1 (obj:0) R3737 1 (obj:0) R3749 1 (obj:0) R3761 1 (obj:0) R3773 1 (obj:0) R3619 1 (obj:0) R3631 1 (obj:0) R3643 1 (obj:0) R3655 1 (obj:0) R3667 1 (obj:0) R3679 1 (obj:0) R3691 1 (obj:0) R3703 1 (obj:0) R3715 1 (obj:0) R3727 1 (obj:0) R3739 1 (obj:0) R3751 1 (obj:0) R3763 1 (obj:0) R3775 1 (obj:0) R3622 1 (obj:0) R3634 1 (obj:0) R3646 1 (obj:0) R3658 1 (obj:0) R3670 1 (obj:0) R3682 1 (obj:0) R3694 1 (obj:0) R3706 1 (obj:0) R3718 1 (obj:0) R3730 1 (obj:0) R3742 1 (obj:0) R3754 1 (obj:0) R3766 1 (obj:0) R3778 1 (obj:0) R42613 1 (obj:0) R3767 1 (obj:0) R3779 1 (obj:0) R41559 1 (obj:0) R3672 1 (obj:0) R3684 1 (obj:0) R3696 1 (obj:0) R3708 1 (obj:0) R3720 1 (obj:0) R3732 1 (obj:0) R3744 1 (obj:0) R3756 1 (obj:0) R3768 1 (obj:0) R3780 1 (obj:0) R43576 1 (obj:0) R3865 1 (obj:0) R3877 1 (obj:0) R3889 1 (obj:0) R3901 1 (obj:0) R3913 1 (obj:0) R3925 1 (obj:0) R3937 1 (obj:0) R3949 1 (obj:0) R3795 1 (obj:0) R3807 1 (obj:0) R3819 1 (obj:0) R3831 1 (obj:0) R3843 1 (obj:0) R3855 1 (obj:0) R3867 1 (obj:0) R3879 1 (obj:0) R3891 1 (obj:0) R3903 1 (obj:0) R3915 1 (obj:0) R3927 1 (obj:0) R3939 1 (obj:0) R3951 1 (obj:0) R3796 1 (obj:0) R3808 1 (obj:0) R3820 1 (obj:0) R3832 1 (obj:0) R3844 1 (obj:0) R3856 1 (obj:0) R3868 1 (obj:0) R3880 1 (obj:0) R3892 1 (obj:0) R3904 1 (obj:0) R3916 1 (obj:0) R3928 1 (obj:0) R3940 1 (obj:0) R3952 1 (obj:0) R43392 1 (obj:0) R3846 1 (obj:0) R3858 1 (obj:0) R3870 1 (obj:0) R3882 1 (obj:0) R3894 1 (obj:0) R3906 1 (obj:0) R3918 1 (obj:0) R3930 1 (obj:0) R3942 1 (obj:0) R3954 1 (obj:0) R44330 1 (obj:0) R3931 1 (obj:0) R3943 1 (obj:0) R3955 1 (obj:0) R3801 1 (obj:0) R3813 1 (obj:0) R3825 1 (obj:0) R3837 1 (obj:0) R3849 1 (obj:0) R3861 1 (obj:0) R3873 1 (obj:0) R3885 1 (obj:0) R3897 1 (obj:0) R3909 1 (obj:0) R3921 1 (obj:0) R3933 1 (obj:0) R3945 1 (obj:0) R3957 1 (obj:0) R43923 1 (obj:0) R3899 1 (obj:0) R3911 1 (obj:0) R3923 1 (obj:0) R3935 1 (obj:0) R3947 1 (obj:0) R3959 1 (obj:0) Statistics ========== SCIP Status : problem is solved [optimal solution found] Solving Time : 233.34 Original Problem : Problem name : ns897005.lp Variables : 44630 (44630 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 11612 initial, 11612 maximal Presolved Problem : Problem name : t_ns897005.lp Variables : 34235 (34235 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 9348 initial, 9348 maximal Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs trivial : 0.00 0 0 0 0 0 0 0 0 dualfix : 0.03 0 0 0 0 0 0 0 0 boundshift : 0.00 0 0 0 0 0 0 0 0 inttobinary : 0.00 0 0 0 0 0 0 0 0 implics : 0.01 0 0 0 0 0 0 0 0 probing : 11.43 2 0 0 0 0 0 0 0 setppc : 0.04 0 0 0 0 0 0 0 0 linear : 0.20 10327 66 0 10327 0 2264 0 0 logicor : 0.02 0 0 0 0 0 0 0 0 root node : - 12 - - 12 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 21 0 0 0 0 0 40 setppc : 6606 4 7928 1 0 1 7238 0 0 0 logicor : 2742 4 4068 1 0 0 41 0 0 0 countsols : 0 0 0 1 0 0 0 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 141.41 0.00 0.00 141.41 0.00 setppc : 2.00 0.00 1.99 0.01 0.00 logicor : 0.01 0.00 0.01 0.00 0.00 countsols : 0.00 0.00 0.00 0.00 0.00 Propagators : Time Calls Cutoffs DomReds rootredcost : 0.00 0 0 0 pseudoobj : 0.21 63 0 12 Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters propagation : 0.00 0 0 0 0.0 0 0.0 - infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 strong branching : 0.00 0 0 0 0.0 0 0.0 0 pseudo solution : 0.00 0 0 0 0.0 0 0.0 - applied globally : - - - 0 0.0 - - - applied locally : - - - 0 0.0 - - - Separators : Time Calls Cutoffs DomReds Cuts Conss cut pool : 0.00 3 - - 0 - (maximal pool size: 17) redcost : 0.08 24 0 0 0 0 impliedbounds : 0.01 4 0 0 0 0 intobj : 0.00 0 0 0 0 0 gomory : 0.68 4 0 0 0 0 strongcg : 0.68 4 0 0 0 0 cmir : 1.37 4 0 0 0 0 flowcover : 1.19 4 0 0 0 0 clique : 2.43 4 0 0 17 0 zerohalf : 0.00 0 0 0 0 0 mcf : 0.00 0 0 0 0 0 Pricers : Time Calls Vars problem variables: 0.00 0 0 Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children relpscost : 141.41 20 0 0 0 0 40 pscost : 0.00 0 0 0 0 0 0 inference : 0.00 0 0 0 0 0 0 mostinf : 0.00 0 0 0 0 0 0 leastinf : 0.00 0 0 0 0 0 0 fullstrong : 0.00 0 0 0 0 0 0 allfullstrong : 0.00 0 0 0 0 0 0 random : 0.00 0 0 0 0 0 0 Primal Heuristics : Time Calls Found LP solutions : 0.00 - 1 pseudo solutions : 0.00 - 0 oneopt : 0.00 0 0 coefdiving : 0.00 0 0 pscostdiving : 0.00 0 0 fracdiving : 0.00 0 0 veclendiving : 0.00 0 0 objpscostdiving : 0.00 0 0 rootsoldiving : 0.00 0 0 linesearchdiving : 0.00 0 0 guideddiving : 0.00 0 0 intshifting : 0.00 0 0 crossover : 0.00 0 0 simplerounding : 0.00 0 0 rounding : 0.10 24 0 shifting : 0.07 6 0 fixandinfer : 0.00 0 0 feaspump : 33.42 1 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 octane : 0.00 0 0 rens : 0.37 1 0 rins : 0.00 0 0 localbranching : 0.00 0 0 mutation : 0.00 0 0 dins : 0.00 0 0 LP : Time Calls Iterations Iter/call Iter/sec primal LP : 2.12 0 0 0.00 0.00 dual LP : 36.83 25 52191 2087.64 1417.08 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 33.28 8 38346 4793.25 1152.22 strong branching : 141.41 174 174000 1000.00 1230.46 (at root node) : - 18 18000 1000.00 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 1 nodes : 21 nodes (total) : 21 nodes left : 0 max depth : 20 max depth (total): 20 backtracks : 0 (0.0%) delayed cutoffs : 0 repropagations : 0 (0 domain reductions, 0 cutoffs) avg switch length: 2.00 switching time : 2.13 Solution : Solutions found : 1 (1 improvements) Primal Bound : +1.40000000000000e+01 (in run 1, after 21 nodes, 233.33 seconds, depth 20, found by ) Dual Bound : +1.40000000000000e+01 Gap : 0.00 % Root Dual Bound : +1.40000000000000e+01 234.30user 0.95system 3:55.52elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 21528inputs+232outputs (0major+335748minor)pagefaults 0swaps