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