(1,28) (2,23) (3,16) (4,30) (5,29) (7,20) (8,24) (9,18) (11,27) (12,21) (13,17) (14,25) (15,26) 
nodes: 1559  conflicts: 30  modelTime: 669  solveTime: 1685  totalTime: 2362  modelSize: 41292  readTime: 7 size: 13