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