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