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