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