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