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