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