(1,19) (2,18) (3,28) (4,17) (5,27) (6,25) (7,23) (8,24) (9,22) (11,26) (12,29) (13,20) (14,16) (15,30) 
nodes: 31623  conflicts: 14  modelTime: 652  solveTime: 68607  totalTime: 69264  modelSize: 41293  readTime: 5 size: 14