(2,26) (3,30) (4,22) (5,19) (6,29) (7,21) (8,28) (9,23) (10,20) (11,17) (12,25) (13,16) (14,27) (15,18) 
nodes: 732  conflicts: 32  modelTime: 662  solveTime: 1058  totalTime: 1726  modelSize: 41298  readTime: 6 size: 14