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