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