(1,19) (2,17) (3,23) (4,22) (6,26) (7,20) (8,27) (9,25) (10,24) (11,21) (12,29) (13,18) (14,16) (15,30) 
nodes: 820  conflicts: 33  modelTime: 658  solveTime: 1343  totalTime: 2008  modelSize: 41293  readTime: 7 size: 14