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