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