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