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