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