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