(2,18) (3,16) (4,21) (5,24) (6,29) (7,30) (8,23) (9,25) (10,22) (11,27) (12,19) (14,20) (15,28) 
nodes: 1201  conflicts: 42  modelTime: 657  solveTime: 1514  totalTime: 2178  modelSize: 41293  readTime: 6 size: 13