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