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