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