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