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