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