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