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