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