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