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