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