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