(1,21) (2,18) (3,23) (4,17) (5,24) (7,26) (8,25) (9,16) (11,28) (12,27) (13,22) (14,20) (15,30) 
nodes: 2012  conflicts: 39  modelTime: 659  solveTime: 3607  totalTime: 4272  modelSize: 41298  readTime: 6 size: 13