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