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