(1,26) (2,24) (4,16) (5,20) (6,27) (7,29) (8,23) (9,22) (10,19) (11,21) (12,18) (13,28) (14,25) (15,30) 
nodes: 28516  conflicts: 40  modelTime: 666  solveTime: 87321  totalTime: 87993  modelSize: 41292  readTime: 6 size: 14