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