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