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