(1,30) (2,18) (3,16) (5,19) (6,21) (7,23) (8,22) (10,17) (11,26) (12,25) (13,20) (14,29) (15,27) 
nodes: 50759  conflicts: 37  modelTime: 654  solveTime: 106178  totalTime: 106837  modelSize: 41293  readTime: 5 size: 13