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