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