(1,28) (2,18) (3,30) (4,22) (5,8) (6,14) (7,17) (9,25) (10,21) (11,23) (12,26) (13,19) (15,27) (16,24) (20,29) 
nodes: 52400  conflicts: 55  modelTime: 946  solveTime: 165106  totalTime: 166063  modelSize: 72271  readTime: 11 size: 15