(1,27) (2,29) (3,17) (4,19) (5,16) (7,22) (8,21) (9,18) (10,23) (11,26) (13,30) (14,24) (15,20) 
nodes: 7128  conflicts: 33  modelTime: 660  solveTime: 13056  totalTime: 13722  modelSize: 41293  readTime: 6 size: 13