(3,13) (4,25) (5,27) (6,11) (7,9) (8,30) (10,16) (12,24) (14,28) (15,20) (17,22) (18,29) (19,26) (21,23) 
nodes: 18424  conflicts: 66  modelTime: 1704  solveTime: 62220  totalTime: 63944  modelSize: 72263  readTime: 20 size: 14