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