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