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