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