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