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