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