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