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