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