(1,20) (2,27) (4,16) (5,24) (6,26) (7,30) (8,28) (9,22) (10,29) (11,18) (12,21) (13,19) (15,23) 
nodes: 2128  conflicts: 39  modelTime: 664  solveTime: 2361  totalTime: 3031  modelSize: 41293  readTime: 6 size: 13