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