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