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