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