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