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