loading SCIP... n: 30 m: 149 packed: 10 density: 100 nodes: 0 solverTime: 63 buildTime: 0 solved: true 0 8 10 1 6 16 2 4 17 3 9 18 5 15 20 7 11 14 12 28 29 13 21 27 19 23 26 22 24 25