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