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