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