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