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