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