(1,29) (2,16) (3,18) (4,23) (5,21) (6,25) (7,20) (8,27) (9,22) (11,19) (12,28) (13,24) (14,26) (15,17) 
nodes: 44137  conflicts: 14  modelTime: 666  solveTime: 181031  totalTime: 181704  modelSize: 41293  readTime: 6 size: 14