(1,23) (2,4) (3,11) (5,27) (6,18) (7,10) (8,29) (9,28) (12,21) (13,16) (14,30) (15,24) (17,20) (19,25) (22,26) 
nodes: 20128  conflicts: 58  modelTime: 1723  solveTime: 49985  totalTime: 51728  modelSize: 72262  readTime: 20 size: 15