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