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