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