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