(2,21) (3,16) (4,17) (5,19) (6,27) (7,18) (8,29) (9,20) (10,23) (11,22) (12,24) (13,26) (14,28) (15,25) 
nodes: 2854  conflicts: 23  modelTime: 666  solveTime: 4145  totalTime: 4817  modelSize: 41298  readTime: 6 size: 14