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