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