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