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