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