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