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