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