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