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