(1,6) (2,25) (3,16) (4,24) (5,17) (8,27) (10,23) (11,18) (14,26) (15,30) (19,22) (20,21) 
nodes: 4827  conflicts: 86  modelTime: 936  solveTime: 16085  totalTime: 17032  modelSize: 72262  readTime: 11 size: 12