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