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