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