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