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