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