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