(2,16) (3,21) (4,29) (5,25) (6,19) (7,17) (9,23) (10,18) (11,28) (12,22) (13,20) (14,26) (15,24) 
nodes: 4972  conflicts: 36  modelTime: 686  solveTime: 8689  totalTime: 9382  modelSize: 41298  readTime: 7 size: 13