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