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