(1,17) (2,3) (4,30) (5,15) (6,13) (7,29) (8,28) (9,10) (11,21) (12,22) (14,27) (16,24) (18,23) (19,26) (20,25) 
nodes: 1527415  conflicts: 43  modelTime: 1730  solveTime: 4118628  totalTime: 4120378  modelSize: 72275  readTime: 19 size: 15