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