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