(1,30) (2,10) (3,19) (4,14) (5,27) (6,23) (8,26) (9,15) (11,25) (12,16) (13,28) (17,22) (18,24) (21,29) 
nodes: 7319  conflicts: 40  modelTime: 1185  solveTime: 33008  totalTime: 34213  modelSize: 72262  readTime: 20 size: 14