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