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