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