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