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