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