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