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