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