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