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