(2,20) (3,17) (4,18) (5,27) (6,24) (7,28) (8,30) (9,26) (10,16) (11,23) (13,19) (14,22) 
nodes: 3013  conflicts: 63  modelTime: 658  solveTime: 4053  totalTime: 4718  modelSize: 41293  readTime: 6 size: 12