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