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