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