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