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