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