(1,9) (2,3) (4,16) (6,13) (7,27) (8,23) (10,25) (11,18) (14,24) (17,30) (19,26) (20,28) (21,22) 
nodes: 15215  conflicts: 60  modelTime: 1707  solveTime: 32148  totalTime: 33875  modelSize: 72264  readTime: 20 size: 13