(1,29) (2,30) (3,21) (5,27) (6,19) (7,20) (8,24) (9,26) (10,23) (11,25) (12,28) (13,16) (14,18) (15,17) 
nodes: 4210  conflicts: 22  modelTime: 662  solveTime: 7562  totalTime: 8230  modelSize: 41293  readTime: 6 size: 14