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