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