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