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