(1,19) (2,23) (5,16) (7,30) (8,28) (9,25) (11,20) (12,17) (13,21) (14,24) (15,22) 
nodes: 1563  conflicts: 54  modelTime: 667  solveTime: 1627  totalTime: 2301  modelSize: 41293  readTime: 7 size: 11