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