(1,15) (2,10) (3,30) (4,6) (5,21) (7,20) (8,26) (9,22) (11,29) (12,28) (13,17) (14,23) (16,27) (18,24) (19,25) 
nodes: 593796  conflicts: 25  modelTime: 2018  solveTime: 3749715  totalTime: 3751751  modelSize: 72285  readTime: 18 size: 15