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