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