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