(1,28) (2,21) (4,30) (5,20) (6,17) (7,16) (8,26) (10,27) (11,23) (12,25) (13,22) (14,18) (15,24) 
nodes: 2487  conflicts: 37  modelTime: 660  solveTime: 2642  totalTime: 3309  modelSize: 41298  readTime: 7 size: 13