(1,19) (3,29) (4,24) (5,26) (6,25) (7,17) (8,21) (9,30) (10,22) (11,27) (13,18) (14,28) (15,20) 
nodes: 1719  conflicts: 46  modelTime: 656  solveTime: 2594  totalTime: 3258  modelSize: 41293  readTime: 7 size: 13