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