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