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