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