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