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