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