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