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