(1,21) (2,7) (3,15) (4,23) (5,10) (6,9) (8,30) (11,29) (12,25) (13,28) (14,16) (17,26) (18,22) (19,27) (20,24) 
nodes: 11995  conflicts: 51  modelTime: 1722  solveTime: 56588  totalTime: 58329  modelSize: 72273  readTime: 19 size: 15