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