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