(3,20) (4,28) (5,29) (6,25) (7,26) (8,18) (9,23) (10,30) (11,17) (12,27) (13,16) (14,21) (15,19) 
nodes: 3354  conflicts: 39  modelTime: 660  solveTime: 5727  totalTime: 6393  modelSize: 41293  readTime: 6 size: 13