(1,22) (2,3) (4,28) (5,25) (6,20) (7,8) (9,16) (10,14) (11,30) (12,17) (13,21) (15,19) (18,23) (24,26) (27,29) 
nodes: 970448  conflicts: 28  modelTime: 1488  solveTime: 4777266  totalTime: 4778800  modelSize: 72275  readTime: 46 size: 15