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