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