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