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