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