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