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