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