loading SCIP... n: 30 m: 57 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 2 22 3 14 26 4 5 21 7 19 25 8 12 23 9 18 27 11 16 24 15 20 29