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