(1,20) (2,22) (3,8) (4,28) (6,15) (7,30) (9,12) (10,25) (11,16) (13,17) (14,27) (18,24) (21,26) 
nodes: 1387  conflicts: 96  modelTime: 986  solveTime: 6384  totalTime: 7382  modelSize: 72262  readTime: 12 size: 13