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