(1,20) (2,25) (3,22) (4,18) (5,29) (6,21) (7,19) (8,28) (10,23) (11,16) (12,17) (13,27) (14,30) (15,26) 
nodes: 5406  conflicts: 43  modelTime: 670  solveTime: 8167  totalTime: 8844  modelSize: 41298  readTime: 7 size: 14