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