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