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