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