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