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