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