loading SCIP... n: 30 m: 72 packed: 9 density: 90 nodes: 0 solverTime: 62 buildTime: 0 solved: false 0 13 27 1 5 28 2 9 23 3 10 12 4 22 25 6 21 26 7 8 16 11 15 19 17 20 29