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