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