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