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