(2,28) (3,26) (4,23) (5,24) (6,27) (8,16) (9,17) (10,20) (11,22) (12,29) (13,19) (14,30) (15,25) 
nodes: 1286  conflicts: 24  modelTime: 661  solveTime: 2099  totalTime: 2766  modelSize: 41293  readTime: 6 size: 13