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