(1,23) (2,28) (3,22) (4,7) (6,14) (8,29) (10,16) (11,26) (12,20) (13,17) (15,24) (18,25) (19,27) (21,30) 
nodes: 8310  conflicts: 39  modelTime: 980  solveTime: 40832  totalTime: 41823  modelSize: 72266  readTime: 11 size: 14