(1,16) (2,19) (3,18) (5,26) (6,17) (8,23) (9,22) (10,28) (12,21) (13,29) (14,24) (15,25) 
nodes: 1105  conflicts: 39  modelTime: 661  solveTime: 1692  totalTime: 2360  modelSize: 41292  readTime: 7 size: 12