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