(1,12) (2,22) (3,24) (4,28) (5,21) (6,7) (8,26) (9,20) (10,25) (13,17) (14,23) (15,29) (18,27) (19,30) 
nodes: 22087  conflicts: 39  modelTime: 969  solveTime: 88792  totalTime: 89772  modelSize: 72265  readTime: 11 size: 14