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