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