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