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