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