(1,16) (2,25) (3,17) (4,18) (5,14) (6,22) (7,21) (8,27) (9,28) (10,23) (11,24) (12,13) (15,29) (19,30) (20,26) 
nodes: 6434  conflicts: 3  modelTime: 1701  solveTime: 42327  totalTime: 44042  modelSize: 72264  readTime: 14 size: 15