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