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