loading SCIP... n: 30 m: 95 packed: 9 density: 90 nodes: 0 solverTime: 110 buildTime: 0 solved: false 0 15 16 1 9 13 2 3 8 4 25 27 5 17 29 6 18 28 7 11 22 14 19 21 23 24 26