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