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