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