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