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