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