(1,23) (2,19) (3,18) (4,21) (5,25) (6,29) (7,17) (8,14) (9,16) (10,22) (11,13) (12,24) (15,26) (20,30) 
nodes: 777089  conflicts: 41  modelTime: 1712  solveTime: 3464903  totalTime: 3466635  modelSize: 72265  readTime: 19 size: 14