(1,22) (2,19) (3,30) (4,24) (5,23) (6,29) (8,16) (9,28) (10,27) (11,26) (12,21) (13,25) (14,18) (15,20) 
nodes: 1727  conflicts: 46  modelTime: 666  solveTime: 2685  totalTime: 3357  modelSize: 41293  readTime: 6 size: 14