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