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