(1,21) (2,20) (3,29) (4,25) (6,27) (7,16) (8,17) (9,24) (11,22) (12,30) (13,19) (14,28) (15,26) 
nodes: 1166  conflicts: 51  modelTime: 657  solveTime: 1642  totalTime: 2305  modelSize: 41293  readTime: 6 size: 13