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