(1,27) (2,30) (3,8) (4,16) (5,15) (6,19) (7,11) (10,25) (13,24) (14,29) (18,26) (20,22) (21,23) 
nodes: 42735  conflicts: 66  modelTime: 1701  solveTime: 160020  totalTime: 161741  modelSize: 72262  readTime: 20 size: 13