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