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