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