(2,28) (3,30) (4,18) (5,22) (6,21) (7,24) (8,26) (9,19) (10,20) (11,17) (12,27) (13,25) (14,29) (15,16) 
nodes: 14952  conflicts: 35  modelTime: 661  solveTime: 27624  totalTime: 28291  modelSize: 41292  readTime: 6 size: 14