(1,18) (2,27) (3,20) (4,29) (5,30) (6,17) (7,21) (8,25) (9,16) (10,22) (11,23) (13,26) (14,19) (15,24) 
nodes: 5311  conflicts: 17  modelTime: 662  solveTime: 9307  totalTime: 9975  modelSize: 41293  readTime: 6 size: 14