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