(1,25) (2,9) (3,16) (4,7) (5,20) (6,21) (8,29) (10,27) (11,22) (12,14) (13,26) (15,23) (17,28) (18,30) (19,24) 
nodes: 377416  conflicts: 14  modelTime: 1018  solveTime: 2155774  totalTime: 2156828  modelSize: 72264  readTime: 36 size: 15