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