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