(1,8) (2,30) (3,26) (4,5) (6,23) (7,22) (10,20) (11,28) (12,25) (13,17) (14,19) (15,18) (21,24) 
nodes: 3586  conflicts: 76  modelTime: 1746  solveTime: 15585  totalTime: 17352  modelSize: 72262  readTime: 21 size: 13