(1,4) (2,23) (3,29) (5,26) (6,12) (8,9) (11,30) (13,15) (14,25) (16,17) (18,20) (19,21) (22,27) (24,28) 
nodes: 13591  conflicts: 12  modelTime: 1034  solveTime: 87281  totalTime: 88326  modelSize: 72275  readTime: 11 size: 14