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