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