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