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