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