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