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