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