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