(2,14) (3,22) (4,8) (5,20) (6,28) (7,25) (9,19) (10,11) (12,30) (13,16) (15,21) (17,23) (18,24) (26,27) 
nodes: 160936  conflicts: 29  modelTime: 1726  solveTime: 790080  totalTime: 792010  modelSize: 72263  readTime: 204 size: 14