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