(1,29) (2,8) (3,16) (4,27) (5,22) (6,24) (7,11) (9,20) (10,30) (12,17) (13,19) (14,25) (15,23) (18,28) (21,26) 
nodes: 21722  conflicts: 5  modelTime: 1673  solveTime: 97953  totalTime: 99641  modelSize: 72338  readTime: 15 size: 15