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