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