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