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