loading SCIP... n: 30 m: 96 packed: 9 density: 90 nodes: 0 solverTime: 63 buildTime: 0 solved: false 0 8 12 1 14 19 2 5 27 3 4 11 6 9 26 7 10 25 13 18 22 16 20 21 23 28 29