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