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