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