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