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