(1,17) (2,16) (3,22) (4,23) (5,26) (7,18) (8,30) (9,20) (10,25) (11,24) (12,28) (13,21) (14,27) (15,29) 
nodes: 5683  conflicts: 37  modelTime: 693  solveTime: 11732  totalTime: 12431  modelSize: 41293  readTime: 6 size: 14