(1,27) (2,19) (3,28) (4,22) (5,6) (7,26) (8,13) (9,11) (12,17) (14,30) (16,21) (18,23) (20,25) (24,29) 
nodes: 450341  conflicts: 41  modelTime: 1689  solveTime: 1544177  totalTime: 1545885  modelSize: 72262  readTime: 19 size: 14