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