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