(1,13) (2,5) (3,18) (4,7) (6,30) (8,20) (9,15) (10,12) (11,26) (14,23) (16,22) (17,28) (19,27) (21,29) (24,25) 
nodes: 70211  conflicts: 63  modelTime: 1392  solveTime: 239011  totalTime: 240423  modelSize: 72262  readTime: 20 size: 15