(1,22) (2,29) (3,20) (4,27) (5,24) (6,16) (7,25) (8,18) (11,17) (12,19) (13,21) (14,30) 
nodes: 2716  conflicts: 38  modelTime: 658  solveTime: 2792  totalTime: 3456  modelSize: 41293  readTime: 6 size: 12