(1,24) (2,16) (3,20) (4,21) (5,29) (6,30) (7,27) (8,22) (9,26) (11,25) (12,18) (13,19) (14,17) (15,28) 
nodes: 17078  conflicts: 22  modelTime: 693  solveTime: 52315  totalTime: 53014  modelSize: 41292  readTime: 5 size: 14