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