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