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