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