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