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