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