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