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