(1,5) (2,11) (3,7) (4,19) (6,22) (8,20) (9,28) (10,29) (12,14) (13,17) (15,24) (23,30) 
nodes: 17520  conflicts: 78  modelTime: 966  solveTime: 83764  totalTime: 84741  modelSize: 72264  readTime: 11 size: 12