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