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