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