(1,23) (2,15) (3,10) (4,14) (5,7) (6,28) (8,24) (9,16) (11,25) (12,26) (13,21) (17,18) (19,20) (27,30) 
nodes: 621503  conflicts: 61  modelTime: 1556  solveTime: 2339007  totalTime: 2340582  modelSize: 72262  readTime: 19 size: 14