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