(1,22) (2,16) (3,17) (4,25) (5,20) (6,21) (7,28) (9,18) (10,23) (11,30) (12,24) (13,19) (14,26) (15,29) 
nodes: 24233  conflicts: 30  modelTime: 660  solveTime: 38463  totalTime: 39129  modelSize: 41293  readTime: 6 size: 14