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