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