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