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