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