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