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