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