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