(1,20) (2,26) (3,23) (4,29) (5,19) (6,25) (7,22) (8,27) (9,28) (10,18) (12,21) (13,24) (14,30) (15,16) 
nodes: 1957  conflicts: 40  modelTime: 674  solveTime: 3501  totalTime: 4181  modelSize: 41299  readTime: 6 size: 14