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