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