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