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