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