(1,29) (2,26) (4,27) (5,18) (6,28) (7,16) (8,30) (9,22) (10,25) (11,20) (12,24) (13,23) (14,19) (15,17) 
nodes: 1890  conflicts: 31  modelTime: 665  solveTime: 3960  totalTime: 4631  modelSize: 41293  readTime: 6 size: 14