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