(1,27) (3,28) (4,19) (5,17) (6,24) (7,26) (8,30) (9,18) (10,16) (11,23) (12,29) (13,25) (14,22) (15,20) 
nodes: 31577  conflicts: 17  modelTime: 665  solveTime: 91007  totalTime: 91677  modelSize: 41293  readTime: 5 size: 14