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