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