(1,23) (2,18) (3,20) (4,21) (5,17) (6,19) (7,30) (8,16) (9,28) (10,22) (11,26) (13,24) (14,27) (15,29) 
nodes: 5380  conflicts: 21  modelTime: 662  solveTime: 9560  totalTime: 10227  modelSize: 41293  readTime: 5 size: 14