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