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