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