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