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