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