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