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