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