(1,22) (2,27) (3,29) (4,21) (5,28) (6,19) (7,16) (8,20) (9,24) (11,26) (12,23) (13,25) (14,17) (15,30) 
nodes: 9850  conflicts: 33  modelTime: 660  solveTime: 20435  totalTime: 21102  modelSize: 41293  readTime: 6 size: 14