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