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