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