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