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