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