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