(1,5) (2,25) (3,11) (6,14) (7,30) (8,29) (9,28) (12,27) (13,19) (15,23) (16,18) (17,22) (20,21) (24,26) 
nodes: 999  conflicts: 57  modelTime: 963  solveTime: 3870  totalTime: 4844  modelSize: 72262  readTime: 11 size: 14