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