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