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