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