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