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