(1,28) (2,19) (3,18) (4,27) (5,22) (6,23) (7,17) (8,29) (9,24) (10,16) (11,26) (13,20) (14,25) (15,21) 
nodes: 3917  conflicts: 13  modelTime: 1182  solveTime: 12748  totalTime: 13938  modelSize: 41292  readTime: 8 size: 14