(1,7) (2,13) (3,28) (4,25) (5,29) (6,17) (8,27) (9,15) (10,16) (11,30) (12,26) (14,24) (18,20) (19,23) (21,22) 
nodes: 112960  conflicts: 44  modelTime: 980  solveTime: 457352  totalTime: 458343  modelSize: 72271  readTime: 11 size: 15