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