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