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