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