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