loading SCIP... n: 40 m: 17 packed: 8 density: 61 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 25 35 2 11 18 3 4 8 5 28 32 6 16 37 7 20 34 9 14 21 23 26 39