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