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