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