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