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