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