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