(1,21) (2,24) (3,27) (4,28) (5,17) (6,25) (7,22) (8,20) (9,30) (10,16) (11,18) (12,23) (14,29) (15,26) 
nodes: 14876  conflicts: 26  modelTime: 666  solveTime: 40853  totalTime: 41525  modelSize: 41292  readTime: 6 size: 14