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