(1,8) (2,30) (3,16) (4,19) (5,29) (6,17) (7,15) (9,20) (10,13) (11,28) (12,23) (14,27) (18,24) (21,26) (22,25) 
nodes: 30531  conflicts: 37  modelTime: 941  solveTime: 131024  totalTime: 131977  modelSize: 72265  readTime: 12 size: 15