(1,7) (2,26) (3,24) (4,9) (5,20) (6,30) (8,14) (10,13) (12,21) (15,28) (16,22) (17,29) (19,25) (23,27) 
nodes: 4295  conflicts: 63  modelTime: 966  solveTime: 15104  totalTime: 16082  modelSize: 72262  readTime: 12 size: 14