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