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