(1,29) (2,18) (3,19) (4,20) (5,24) (6,28) (8,27) (9,10) (11,16) (12,26) (14,25) (15,22) (17,30) (21,23) 
nodes: 8395  conflicts: 49  modelTime: 946  solveTime: 27426  totalTime: 28383  modelSize: 72262  readTime: 11 size: 14