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