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