(1,23) (2,8) (3,19) (4,30) (5,28) (6,15) (7,9) (10,20) (11,21) (12,26) (13,16) (14,24) (17,25) (18,29) (22,27) 
nodes: 80369  conflicts: 31  modelTime: 1725  solveTime: 313055  totalTime: 314798  modelSize: 72266  readTime: 18 size: 15