(1,24) (2,14) (3,26) (4,11) (5,15) (6,17) (7,16) (8,18) (9,22) (12,20) (13,29) (21,28) (23,30) (25,27) 
nodes: 40052  conflicts: 46  modelTime: 1699  solveTime: 166491  totalTime: 168207  modelSize: 72262  readTime: 17 size: 14