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