(1,24) (2,26) (3,22) (4,27) (5,19) (6,29) (7,11) (8,30) (10,23) (12,25) (13,17) (15,21) (16,20) (18,28) 
nodes: 46254  conflicts: 94  modelTime: 939  solveTime: 114291  totalTime: 115241  modelSize: 72262  readTime: 11 size: 14