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