(1,22) (2,16) (4,17) (5,26) (6,24) (7,20) (8,25) (9,28) (10,18) (11,27) (12,30) (14,23) (15,19) 
nodes: 1492  conflicts: 48  modelTime: 661  solveTime: 1558  totalTime: 2225  modelSize: 41293  readTime: 6 size: 13