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