(2,16) (3,25) (4,18) (5,17) (8,20) (9,19) (10,24) (11,21) (12,30) (13,22) (14,26) (15,23) 
nodes: 1211  conflicts: 68  modelTime: 657  solveTime: 1775  totalTime: 2439  modelSize: 41293  readTime: 7 size: 12