(1,28) (2,4) (3,27) (5,17) (6,25) (7,26) (8,23) (9,14) (10,13) (11,20) (12,21) (15,18) (16,19) (22,30) (24,29) 
nodes: 27966  conflicts: 5  modelTime: 1699  solveTime: 204097  totalTime: 205812  modelSize: 72338  readTime: 16 size: 15