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