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