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