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