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