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