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