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