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