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