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