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