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